为何仅前向声明的枚举类成员可被引用？是否符合C++标准？

示例代码 #

enum.h

// enum.h
enum class TestEnum: int {
    ONE,
    TWO,
    THREE
};

function.h

// function.h
enum class TestEnum: int;
int TestFunction(TestEnum te = TestEnum::THREE);

function.cpp

// function.cpp
#include "enum.h"
#include "function.h"

int TestFunction(TestEnum te) { 
    return 5;
}

问题 #

在function.h中仅前向声明了TestEnum，按常理编译器无法知晓TestEnum::THREE是该枚举的有效成员，但实际代码可编译通过。前向声明类时无法访问其成员，为何枚举类存在此差异？该行为是否符合C++标准，还是仅clang、gcc的实现特性？

这个行为完全符合C++标准，并非编译器私有特性。

枚举类与类前向声明的核心差异 #

类的前向声明仅告知编译器“该类存在”，但类的成员（包括静态成员、成员函数）的具体信息完全未知，编译器在声明点无法解析Class::Member这类引用——类的成员信息必须在类定义中才能暴露。

但带固定底层类型的枚举类（如enum class TestEnum: int;）的规则不同：C++标准允许在函数默认参数这类延迟解析的上下文中引用枚举值，只要程序的某个位置存在该枚举的完整定义，且枚举值确实存在。

标准规则的本质 #

函数声明中的默认参数，其有效性检查不会在声明点完成，而是推迟到函数定义点执行。在示例中，function.cpp包含了enum.h（枚举的完整定义），此时编译器能确认TestEnum::THREE是合法成员，因此不会报错。

为什么类无法实现类似逻辑？ #

类的静态成员哪怕是常量，在声明点引用Class::StaticMember时，编译器需要立刻确认该成员的存在和类型——类的静态成员绑定规则与枚举值不同，类成员的声明必须在类定义中明确，而枚举值属于枚举类型的固有组成，其有效性允许延迟到定义点检查。比如写class Foo; void func(Foo::Bar = Foo::Bar{})，即便Foo的定义在后方，编译器也会直接报错，因为它无法在声明点确认Foo::Bar的存在。

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