今天写STL中 rb_tree 的时候意外的发现一个问题:模板类的模板成员函数不能在类定义外部进行特化,特化必须放在类定义内,否则将报错:error C2244: “X<Val>::test”: 无法将函数定义与现有的声明匹配
经过写如下的简单代码可以看出问题所在:(错误版本)
//定义模板类X。其中拥有模板成员 test
template<class Val>
class X
{
public:
X(){}
template<class Type>
void test(Type);
};
//定义模板函数
template<class Val>
template<class Type>
void X<Val>::test(Type x)
{
cout << "in common " << endl;
}
//特化模板函数
template<class Val>
template<>
void X<Val>::test(int x)
{
cout << "in int " << endl;
}
上述代码中,在编译时将报错,错误处在特化模板函数时,报错为无法将函数定义与现有声明匹配。若将特化模板函数的部分