我的问题没有必要,决定在实例化过程中使用什么专业化.请不要评论.问题在于将专业化相互比较,以决定是否已经定义了特定的专业化.
考虑这个示例代码：
template <class x1,class x2>
struct CoreTemplate { };
template <class x1,class x2>
struct CoreTemplate<x1*,x2*> { int spec; CoreTemplate() { spec = 1; } };
template <class x1,class x2>
struct CoreTemplate<x2*,x1*> { int spec; CoreTemplate() { spec = 2; } };
int main(int argc,char* argv[])
{
CoreTemplate<int*,int*> qq;
printf("var=%d.\r\n",qq.spec);
}
当我尝试使用MSVC编译此代码时,我会在主函数中获取实例化尝试的错误：
cpptest1.cxx(15) : error C2752: ‘
CoreTemplate<x1,x2>‘ : more than one partial specialization matches the template argument list
对于我来说,发布一个错误,尝试声明相同的模板专业化是更合乎逻辑的.我上面的专业化没有任何区别.
解决方法
When a class template is used in a context that requires an instantiation of the class,it is necessary to determine whether the instantiation is to be generated using the primary template or one of the partial specializations. [emphasis added]
不幸的是,您的问题的其余部分无法回答,无需讨论如何决定在实例化过程中使用哪个专业化.这是标准的文本(继续上面的摘录)：
This is done by matching the template arguments of the class template specialization with the template argument lists of the partial specializations.
- If exactly one matching specialization is found,the instantiation is generated from that specialization.
- If more than one matching specialization is found,the partial order rules (14.5.4.2) are used to determine whether one of the specializations is more specialized than the others. If none of the specializations is more specialized than all of the other matching specializations,then the use of the class template is ambiguous and the program is ill-formed.
所以,甚至从来没有尝试直接比较模板.相反,它试图找到一个匹配给定的参数的专业化.如果多于一个匹配,它将尝试根据部分排序规则选择最专业的.如果两者都不比另一个更专业,则实例化是不明确的,并且编译失败.
现在,这些专业都不可能被使用,因为总会存在歧义 – 如果匹配,另外显然也是一样的.编译器根本就不需要检测或诊断.在这个确切的情况(基本相同的专业化)中,这可能很容易,但是几乎肯定会有其他情况会更加困难,所以(显然)委员会决定编译器甚至没有必要尝试.
