为什么具有默认模板参数的模板不能用作模板模板参数中具有较少模板参数的模板

Question

myTemplateTemplate 期望第二个模板参数是具有一个参数的模板。 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;
}

Answer 1

来自标准（参见 14.3.3 第 1 段 - [temp.arg.template）：

模板模板参数的模板参数应为 类模板的名称，表示为 id-expression。只有初级 匹配模板模板时考虑类模板 带有相应参数的参数；部分专业是 即使它们的参数列表与 模板模板参数。

这意味着模板 myDefaultTemplate 将仅被视为 2 个参数模板。将不考虑默认参数。