C++11访问具有限定名称的未作用域枚举数

Question

enum SomeEnum
{
  EnumA,
  ...
};

void foo()
{
  SomeEnum x = SomeEnum::EnumA;
}

我确信这不起作用，并且SomeNum必须是一个枚举类才能实现这种行为，但它确实编译得很干净。

偷看C++11标准，我一开始以为标准和我一致：

§7.2枚举声明：每个枚举名称和每个未作用域枚举数都在直接包含枚举说明符的作用域中声明。每个作用域枚举数都在枚举的作用域中声明。

Answer 1

您要从C++11标准草案中找到的引语来自5.1Primary expressions一节，该节在第10段中说：

表示枚举（7.2）的nested-name-specifier，后跟该枚举的枚举数的名称，是引用该枚举数的限定ID。结果就是枚举数。结果的类型就是枚举的类型。结果是一个PRVALUE。

它并不限制对范围内枚举的使用，因此7.2节中的枚举声明：

enum direction { left='l', right='r' };

void g() {
   direction d; // OK
   d = left; // OK
   d = direction::right; // OK
}

是完全一致的。这也与3.4.3节限定名称查找一致，该节表示：

类或命名空间成员或枚举数的名称可以在应用于表示其类、命名空间或枚举的nested-name-specifier的：：scope解析运算符（5.1）之后引用。[...]

和：