c++ - 是否需要实现来诊断对同一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]'

而只有Clang可以将追踪程序诊断为格式错误，而GCC则接受:

// 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'

病态的NDR还是病态的？ (/两个编译器都正确，还是GCC错误？)

已针对 -std=c++17和 -std=c++2a在各种GCC和Clang版本上进行了测试，结果相同

Answer 1

Is an implementation required to diagnose ODR-violations due to duplicated definitions of the same explicit specialization of such a template entity?

是的。
尽管 [temp.spec]/5.2指定程序中显式特化的多个定义格式不正确(尽管未必需要诊断)，但NTU(不需要诊断)，但单个TU中的多个定义属于 [basic.def.odr]/1，例如类模板的显式专门化(对于某些设置模板参数)是类。

No translation unit shall contain more than one definition of any variable, function, class type, enumeration type, or template.

违反[basic.def.odr]/1的行为不是NDR，并且实现必须对其进行诊断，GCC和Clang都会对此进行诊断，以针对违反以下内容的ODR显式特化:

函数模板和

类模板和

变量模板和

类模板的

成员函数和

类模板的

静态数据成员和

类模板的成员类。

但是，只有Clang会针对TU-local ODR违规对其进行诊断，以明确显示类模板的成员枚举的特殊化，这正是该问题中使用的示例。
因此，这种无法诊断的成员枚举案例是一个GCC错误(作为此问题的一部分提交):

Bug 98120 - Multiple definitions (single TU) of an explicit specialization of a member enumeration of a class template