部分模板专门化歧义

Partial template specialization ambiguity

本文关键字：专门化 歧义      更新时间：2023-10-16

我不明白为什么main中的语句有歧义。

template<class T, class U, int I> struct X
{ void f() { cout << "Primary template" << endl; } };

template<class T, int I> struct X<T, T*, I>
{void f() { cout << "Partial specialization 1" << endl;}};
template<class T, class U, int I> struct X<T*, U, I>
{void f() { cout << "Partial specialization 2" << endl;}};
template<class T> struct X<int, T*, 10>
{void f() { cout << "Partial specialization 3" << endl;}};
template<class T, class U, int I> struct X<T, U*, I>
{void f() { cout << "Partial specialization 4" << endl;}};
 int main()
 {
   X<int, int*, 10> f;
 }

难道X<int, T*, 10>不是最专业的模板吗?这个例子来自http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Fpartial_specialization.htm

如果与第一个匹配的参数列表也与第二个匹配，则模板专门化比另一个更专门化，但反之则不然。

当观察X<int, T*, 10>和X<T, T*, I>时:

  • X<int, float*, 10>匹配第一个但不匹配第二个。
  • X<float, float*, 10>匹配第二个但不匹配第一个。

因此没有一个比另一个更专门化，匹配两个专门化的模板实例化将无法编译。

相关文章：