关于模板类中模板成员函数在类定义外部特化报错，错为声明与定义不匹配

今天写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;
}

上述代码中，在编译时将报错，错误处在特化模板函数时，报错为无法将函数定义与现有声明匹配。若将特化模板函数的部分