一种C++程序类模板偏特化匹配算法

摘要

在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.