myTemplateTemplate期望第二个模板参数是一个带有一个参数的模板.
myDefaultTemplate是一个带有两个参数的模板,第二个参数的默认值为int.
myDefaultTemplate是一个带有两个参数的模板,第二个参数的默认值为int.
在VS2008中,我得到编译错误：类模板’myDefaultTemplate’的模板参数列表与模板参数’TT’的模板参数列表不匹配
那么为什么myDefaultTemplate不能用作一个参数的模板呢？
如果C编译器支持它会有任何负面影响吗？
template
<typename T1,typename T2 = int>
class
myDefaultTemplate{
T1 a;
T2 b;
};
template
<typename T1,template<typename T2> class TT>
class
myTemplateTemplate{
T1 a;
TT<T1> b;
};
int main(int argc,char* argv[]){
myTemplateTemplate<int,myDefaultTemplate> bar; //error here:
return 0;
}
解决方法
从标准(见14.3.3第1段 – [temp.arg.template])：
A template-argument for a template template-parameter shall be the
name of a class template,expressed as id-expression. Only primary
class templates are considered when matching the template template
argument with the corresponding parameter; partial specializations are
not considered even if their parameter lists match that of the
template template parameter.
这意味着模板myDefaultTemplate将只被视为2参数模板.默认参数不会被考虑.
