C++20 using-enum声明的歧义名称查找：GCC与MSVC合规性疑问

场景复现 #

两段同源代码仅在枚举引用的写法上有差异，在主流编译器上的编译结果完全相反：

• 无修饰枚举引用版本：

namespace A { enum A {}; };

using namespace A;
using enum A;

编译结果：GCC-trunk 抛出A名字歧义的报错，MSVC 无错误正常通过。

• 带嵌套作用域限定的枚举引用版本：

namespace A { enum A {}; };

using namespace A;
using enum A::A;

编译结果：GCC 无错误正常通过，MSVC 抛出A名字歧义的报错。

标准规则拆解 #

结合C++20对名字查找、using指令、using-enum声明的语义定义，这两个场景的合规判定逻辑非常明确：

1. using 指令的名字注入规则
   执行using namespace A;后，命名空间A内定义的所有实体，会在“全局命名空间与命名空间A的最近公共作用域（即全局作用域）”中以与直接声明在全局作用域等价的方式变得可见。
   本示例中，全局作用域查找非限定名A时，会得到两个完全平等的候选：
   • 全局定义的命名空间实体::A
   • 从命名空间A注入的枚举实体::A::A
     二者没有查找优先级差异，因此单独查找A这个名字本身就已经构成标准定义的歧义场景，不管后续用这个名字做什么操作，只要触发查找就必须抛出歧义错误。
2. 带作用域解析符的查找规则
   当查找标识符作为::的左侧作用域前缀时，所有属于命名空间、类、枚举的实体都会被保留为合法候选。本示例中两个A候选都属于带独立作用域的实体，都可以作为::的合法前缀，因此A::A写法的第一步（查找左侧的A）同样会触发歧义，与后续右侧的查找结果无关。
   也就是说，按照标准要求，上面两段代码无论写法如何，都应该在查找A名字的环节触发歧义报错。

编译器实现偏差总结 #

两个编译器的行为都存在前后不一致的实现缺陷，没有一方完全符合标准要求：

• 针对无修饰引用using enum A;的场景：GCC的歧义报错符合标准预期，MSVC的无错通过属于实现偏差——MSVC在处理using enum的名字查找时，错误地对同作用域的实体做了类型过滤，只优先匹配枚举类型，刻意忽略了同层级的命名空间候选，没有触发应有的歧义检测。
• 针对带限定引用using enum A::A;的场景：MSVC的歧义报错符合标准预期，GCC的无错通过属于实现偏差——GCC在处理using enum的嵌套名查找时，过度特化了查找路径，默认认为前缀A一定是命名空间实体，跳过了同层级枚举类型作为合法作用域前缀的歧义可能性。

内容的提问来源于stack exchange，提问作者康桓瑋