为什么 clang 不允许通过实例访问嵌套的枚举类？

Question

考虑以下代码：

struct S {
    enum class EnumClass {
        one
    } ;

    enum Enum {
        one
    };
};

int main()
{
    S s;
    S::EnumClass e = s.EnumClass::one; // <- Doesn't compile with clang
    S::Enum e11 = s.Enum::one;
    S::Enum e12 = s.one;
}

一切都适用于 GCC，但 clang（3.8 和 3.9 都不是）无法编译 s.EnumClass::one，出现错误：'S::EnumClass::one' is not a member of class 'S'。

鉴于无作用域枚举工作正常，这似乎是一个错误。

Answer 1

这是 gcc¹ 中的一个错误。相关措辞在[expr.ref]p2：

在任何一种情况下，id-expression [这里：EnumClass::one] 都应命名该类或其基类之一的成员。

EnumClass::one 不是指类的成员，它是枚举的成员。该枚举是否属于该类并不重要，只是成员one 本身不是该类的一部分。

但是Enum::one 是班级的一部分吗？是的，根据[class.member]p1：

类的成员是数据成员、成员函数、嵌套类型、枚举器以及成员模板及其特化。

并在[class.member]p3 中更明确：

类中定义的无作用域枚举的枚举数是该类的成员。

---

¹：我什至会称其为标准中的错误，因为似乎没有任何（技术）原因应该禁止这样做，我认为允许它是个好主意。不过有关于允许它的讨论，所以让我们看看委员会的决定。