为何Clang报‘MyEnum::’嵌套名字说明符错误而GCC无报错？

问题现象 #

一段C++代码在GCC编译器下可正常编译，但在Clang编译器下会抛出如下错误：

error: nested name specifier 'MyEnum::' for declaration does not refer into a class, class template or class template partial specialization

实际场景是使用Google Test的EXCEPT_NO_THROW宏验证类构造函数无异常时触发该差异。

代码示例 #

#include <stdexcept>

enum class MyEnum : int {
        MIN                  = 0,
        MAX                  = 1
};

class TestClass {
    public:
        explicit TestClass(const MyEnum type) { 
            throw std::runtime_error("Runtime Error");
        }
};

int main() {
    try {
        TestClass(MyEnum::MIN);
    } catch(...) { }
    
    // 实际使用场景：用Google Test验证构造函数无异常
    // EXCEPT_NO_THROW(TestClass(MyEnum::MIN));

    // 兼容GCC和Clang的解决方案：
    // EXCEPT_NO_THROW(auto variable = TestClass(MyEnum::MIN));
    // EXCEPT_NO_THROW(TestClass((MyEnum)MyEnum::MIN));
}

差异原因 #

这是GCC与Clang对C++标准的解析严格程度不同导致的：

• EXCEPT_NO_THROW宏展开后，内部的表达式可能被Clang解析为声明语句而非表达式语句。此时Clang严格遵循标准，认为枚举类的嵌套名限定符MyEnum::不能用于非类/类模板类型的声明上下文。
• GCC则做了宽松处理，允许在该场景下直接使用枚举类成员的嵌套名写法，因此不会报错。

兼容解决方案 #

以下两种写法可同时兼容GCC和Clang：

• 显式定义变量，引导编译器将其解析为表达式语句：

  EXCEPT_NO_THROW(auto variable = TestClass(MyEnum::MIN));
  

• 通过强制类型转换改变表达式解析逻辑，避免被误判为声明：

  EXCEPT_NO_THROW(TestClass((MyEnum)MyEnum::MIN));
  

内容的提问来源于stack exchange，提问作者Moe Bataineh