是否需要一个实现来诊断同一TU中同一显式专门化的重复定义的ODR冲突？

Question

考虑一个模板化实体，例如(a)一个函数模板，(B)一个类模板的成员枚举。

// (A)
template<auto>
int f();

// (B)
template <auto>
struct T { enum class E; };

是否需要一个实现来诊断由于模板实体的相同显式专门化的重复定义而导致的ODR冲突？或者，换句话说，[basic.def.odr]/1是否适用于显式专门化？

例如，GCC和Clang都将以下程序诊断为格式不正确：

// Single translation unit;
// primary template of 'f' declared as in (A) above.
template<>
int f<0>() { return 0; }

template<>
int f<0>() { return 1; }  
  // GCC & Clang - error: redefinition of 'int f() [with auto <anonymous> = 0]'

// Single translation unit;
// primary template of 'T' defined as in (B) above.
template<>
enum class T<0>::E { ex };

template<>
enum class T<0>::E { ey };
  // Clang only - error: redefinition of 'E'

Answer 1

是否需要一个实现来诊断由于模板实体的相同显式专门化的重复定义而导致的ODR冲突？

是的。

尽管[temp.spec]/5.2指定程序中显式专门化的多个定义格式不正确（同时引用[basic.def.odr])NDR（不需要诊断），但单个TU中的多个定义属于[basic.def.odr]/1，例如类模板的显式专门化（对于某些集模板参数）是类。

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

违反[basic.def.odr]/1不是NDR，实现将对其进行诊断，GCC和Clang都会对违反ODR的显式专门化（在同一TU内）进行诊断：

• 函数模板和
• 类模板和
• 变量模板和
• 类模板的成员函数，以及
• 类模板的静态数据成员，和
• 类模板的成员类。

null