C++无枚举项未命名枚举跨翻译单元的同一性判定疑问

问题1：GCC的空未命名枚举警告是否符合标准 #

该警告是针对C11之前的标准规范给出的：C03及更早版本的标准不允许定义无枚举项的枚举类型，C++11才正式放开了空枚举的语法限制。如果你指定-std=c++11或更高版本的标准参数编译，该警告会自动消失，不属于标准误判。

问题2：为什么两个编译器运行结果均为1 #

你对标准条款的理解完全正确：

[dcl.enum]/11 明确规定，无枚举项的未命名枚举没有用于链接的唯一名称，每个这类枚举都是独立的不同类型。
结合[basic.link]/8的规则，不同翻译单元中定义的无枚举项未命名枚举不属于同一实体，对应的类型也不相同。

当前GCC和Clang都存在该场景下的实现缺陷：二者都没有对跨翻译单元的空未命名枚举做类型唯一性区分，会错误地将结构一致的空未命名枚举合并为同一类型，因此typeid比较返回真。

问题3：是否违反单一定义规则（ODR） #

该程序确实属于无诊断的非良构（IFNDR），违反了ODR规则。
跨翻译单元多次定义同一个类类型时，标准要求所有定义的对应成员类型必须完全一致。你的两个翻译单元中struct S的成员x的类型按照标准规定属于不同类型，直接触发ODR违规，程序行为未定义。编译器输出1属于未定义行为的表现形式之一，不代表标准认可该结果。

内容的提问来源于stack exchange，提问作者Brian Bi