c++ - 在 C++11 标准中，它在哪里禁止 'template class A {...}; template class A {...};'(如果有的话)？

Question

我试图通过想象神秘的构造来更全面地掌握模板语法和语义。我认为 C++11 标准不允许使用以下语法:

template <typename T>
class A
{...};

// phony "specialization"
template <typename T>
class A<int>
{...};

但是，我找不到在 C++11 标准中不允许使用此语法的地方。

C++11 标准不允许显示的语法是否正确？如果有，从哪里可以查到语法是不允许的？

Answer 1

令我感到非常惊讶的是，14.5.5 [temp.class.spec] 中没有明确声明必须在模板参数列表中使用类模板偏特化的所有模板参数。那将使template<class T> class A<int>无效，因为 T未在模板参数列表中使用 <int> .

我认为你的虚假特化只是隐式无效，因为你永远无法匹配它，所以它永远无法使用。如果实例化 A<int>然后匹配主模板。它无法匹配您的专业，因为它有一个额外的模板参数，T ，无法推断(您建议可以通过说 A<int><double> 来提供，但这不是有效的 C++ 语法，因此无济于事)。

我已经要求标准委员会澄清为什么你的虚假特化无效(显然是无效的，但我看不到它在哪里说的)。