命名空间内声明外部定义的枚举，其枚举值可见性的标准规定

问题情况 #

我觉得限定作用域枚举（scoped enum）太严格，一直用「命名空间内前置声明枚举+using导入枚举名」的写法，今天发现Clang里枚举值Error能直接用，而GCC和MSVC却报错，想搞清楚C++标准到底怎么规定这种情况的枚举值可见性。

代码示例 #

namespace E1_space {
    enum E1: int;
}
using E1 = E1_space::E1;  // 或者 using E1_space::E1;
enum E1_space::E1: int {
    Error
};

void foo() {
    Error; 
    // x86-64 GCC 14.2 error: 'Error' was not declared in this scope; did you mean 'P3::E1_space::Error'?
    // x64 MSVC v19.latest error C2065: 'Error': undeclared identifier
    // x86-64 CLANG 19.1.0 warning: expression result unused
}

标准规定说明 #

首先得明确：这里的E1是非限定作用域枚举，不是enum class那种限定作用域枚举。

按照C++标准：

• 非限定枚举的枚举值，作用域是它所在的命名空间（或者块作用域），不是枚举类型本身。
• 你用using导入的只是枚举类型的名字，比如E1，但枚举值Error仍然只在E1_space这个命名空间里可见，全局作用域不会自动把枚举值带进来。

所以标准里，foo()里直接写Error是不合法的，必须写成E1_space::Error，或者额外加using E1_space::Error;把枚举值导入当前作用域才行。

编译器差异原因 #

Clang这里的行为是非标准扩展——它在导入枚举类型名字的时候，顺带把枚举值也弄到当前作用域了。这是Clang自己加的便利功能，但不符合C++标准的要求。

而GCC和MSVC是严格按标准来的：枚举值只在它所属的命名空间里，全局没这个名字，所以直接报错，这才是符合标准的正确行为。

正确写法 #

如果想在全局直接用枚举值，得显式导入枚举值：

namespace E1_space {
    enum E1: int;
}
using E1_space::E1;
using E1_space::Error; // 显式导入枚举值
enum E1_space::E1: int {
    Error
};

void foo() {
    Error; // 这下所有编译器都能正常通过
}

要是能接受限定作用域枚举的严格性，也可以这么写：

namespace E1_space {
    enum class E1: int;
}
using E1 = E1_space::E1;
enum class E1_space::E1: int {
    Error
};

void foo() {
    E1::Error; // 必须通过枚举类型限定访问，所有编译器都符合标准
}

内容的提问来源于stack exchange，提问作者余国良