c – 模板部分专业化

有人可以解释为什么这两个专业与编译器无关( gcc 4.5.1 @ ideone)

http://ideone.com/9tNux

template <typename... T> struct S;

template<typename A,typename B,typename... C>
struct S<A,B,C...> {
   int f() {return 1;}
};

template<typename... A,typename... C>
struct S< S<A...>,C...> {
   int f() {return 2;}
};

当我尝试实例化S

prog.cpp:20:21: error: ambiguous class template instantiation for 'struct S<S<a,b>,b>' prog.cpp:6:22: error: candidates are: struct S<A,C ...> prog.cpp:11:33: error: struct S<S<A ...>,C ...> prog.cpp:20:21: error: aggregate 'S<S<a,b> o2' has incomplete type and cannot be defined

当最后一个专业化改为:

template<typename... A,C...> {
   int f() {return 2;}
}

一切都很好

解决方法

我对这个问题的理解:
typedef S<S<a,c,d> S2;

这里S< a,b>匹配第二专业更好.然而,d是第一个专业化(单个参数列表vs列表)的剩余参数的更好的匹配.因此是1:1.

如果您在第二个专业中对B进行评论,那么第二个专业化比较好,因为它对于第一个参数(S …)更为专业,其余的都是同样好的.

相关文章

/** C+⬑ * 默认成员函数 原来C++类中,有6个默认成员函数: 构造函数 析构函数 拷贝...
#pragma once // 1. 设计一个不能被拷贝的类/* 解析:拷贝只会放生在两个场景中:拷贝构造函数以及赋值运...
C类型转换 C语言:显式和隐式类型转换 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译...
//异常的概念/*抛出异常后必须要捕获,否则终止程序(到最外层后会交给main管理,main的行为就是终止) try...
#pragma once /*Smart pointer 智能指针;灵巧指针 智能指针三大件//1.RAII//2.像指针一样使用//3.拷贝问...
目录&lt;future&gt;future模板类成员函数:promise类promise的使用例程:packaged_task模板类例程...