关于模板等价/重新定义的C++规则？

Question

template <int x, int y> struct S {}; // [1]
template <int w, int z> struct S {}; // [2] <-- ill-formed
template <int x> struct S<x,5+2> {}; // [3]
template <int w> struct S<w,3+4> {}; // [4] <-- ill-formed
template <> struct S<6+1,4+3> {}; // [5] 
template <> struct S<2+5,8-1> {}; // [6] <-- ill-formed

C++标准中的哪种特定语言是造成这种格式不佳的原因？

当两个模板定义定义一个模板的相同专门化时（当它们是一个模板的两个不同专门化时），它在哪里说明？

它在哪里说这是不允许的（重新定义相同的专门化）？

Answer 1

我要在这里说“一个定义规则”适用于这里（强调他们和我的）：

任何翻译单元不得包含任何变量、函数、类类型、枚举类型或模板的一个以上定义。

请注意，模板也属于这一规则，而不仅仅是变量。

至于编译器为什么允许这样做，您不是重新定义模板，而是专门化它。这与大多数专业并没有太大的不同。这里奇怪的区别是你的专业是模板化的。

这可以通过在1之前先执行3来看出：

template <int x> struct S {}; // [3] <-- S takes one parameter now
template <int x, int y> struct S {}; // [1] <-- this is a redefinition, because S only takes one parameter.

template <typename... T>
struct Foo;

template <typename T1>
struct Foo<T1> {};

template <typename T1, typename T2>
struct Foo<T1,T2> {};