使用 C++20 using-enum-declaration 进行模糊名称查找

Question

考虑以下代码 sn-p 与 C++20 using-enum-declaration:

namespace A { enum A {}; };

using namespace A;
using enum A;

gcc-trunk rejects 它与：

<source>:4:12: error: reference to 'A' is ambiguous
    4 | using enum A;
      |            ^
<source>:1:20: note: candidates are: 'enum A::A'
    1 | namespace A { enum A {}; };
      |                    ^
<source>:1:11: note:                 'namespace A { }'
    1 | namespace A { enum A {}; };
      |           ^
<source>:4:12: error: 'A' has not been declared
    4 | using enum A;
      |            ^

但是，msvc 接受它。有趣的是，如果我为 enum A 添加命名空间限定符：

namespace A { enum A {}; };

using namespace A;
using enum A::A;

gcc 接受这一次，但 msvc rejects 它与：

<source>(4): error C2872: 'A': ambiguous symbol
<source>(1): note: could be 'A'
<source>(1): note: or       'A::A'

哪个编译器是正确的？

Answer 1

gcc 在这里出错（提交100'084）。

using enum A; 的语法来自[enum.udecl]：

使用枚举声明：

    using 详细枚举说明符 ;

在[basic.lookup.elab]中定义了查找这样的东西：

如果 elaborated-type-specifier 中的 class-key 或 enum 关键字后面跟着一个未跟随的 identifier通过​::​，标识符的查找是仅类型（[basic.lookup.general]）。

elaborated-enum-specifier 是 elaborated-type-specifier 的一种，所以我们只进行类型查找。在[basic.lookup.general]/4中定义为：

但是，如果查找是type-only，则只考虑类型和特化为类型的模板的声明；此外，如果找到 typedef-name 及其引用的类型的声明，则丢弃 typedef-name 的声明而不是类型声明。

这意味着当我们查找A 时，我们同时找到enum A 和namespace A，因为我们的查找是仅类型的，我们只考虑前者而不考虑后者。结果，我们只有一个候选人，这就是我们的查找找到的候选人。没有歧义。

Answer 2

MSVC 在这里是正确的。第一种情况是仅类型查找（因为它被认为是详细的类型说明符），因此它忽略命名空间并通过 using-directive 查找枚举。在第二种情况下，下面的:: 允许找到命名空间，所以它是模棱两可的。