模板化operator+重载与枚举初始化在MSVC下的constexpr编译错误问题

示例代码 #

template<typename T>
T operator+(const T& lvh, const T& rvh)
{
    return lvh;
}

struct enum_container {
    enum {
        item1 = 1,
        item2 = 2,
        item3 = item1 + item2
    };
};

int main() {
    return 0;
}

MSVC 2022编译错误信息 #

error C2131: expression did not evaluate to a constant
message : failure was caused by call of undefined function or one not declared 'constexpr'
message : see usage of 'operator +'

问题背景 #

上述代码在GCC下可正常编译，但在MSVC的CL编译器中，会在枚举成员item3的表达式处触发错误。虽然给枚举显式指定底层类型（如enum : int）能解决问题，但由于枚举和运算符重载均来自第三方头文件无法修改，只能通过调整头文件包含顺序规避，需要明确问题根源。

成因解析 #

1. 旧式枚举的类型特性：C++标准规定，未显式指定底层类型的旧式枚举，其底层类型由编译器自行选择（需是能容纳所有枚举值的整数类型）。
2. MSVC的处理逻辑差异：
   • MSVC在处理旧式枚举的常量表达式时，会先尝试推导枚举的底层类型。在推导过程中，遇到item1 + item2时，会查找所有匹配的operator+。此时全局的模板operator+可见，编译器会尝试实例化该模板，但该模板并非constexpr函数，不符合常量表达式对函数的要求，因此触发错误。
3. GCC的处理逻辑差异：
   • GCC处理旧式枚举的常量表达式时，会直接将枚举成员视为整数常量，优先使用内置的整数加法运算符，不会去匹配全局的模板operator+，因此不会触发模板实例化问题，编译通过。
4. 显式指定枚举类型的作用：
   • 当给枚举指定底层类型（如enum : int）后，枚举成员的类型明确为int，编译器会直接使用内置的int加法运算符，不再考虑全局的模板operator+，因此MSVC不再触发错误。
5. 头文件包含顺序的影响：
   • 如果调整头文件顺序，让枚举的定义出现在模板operator+的声明之前，那么编译器处理枚举常量表达式时，模板operator+尚未被声明，只能使用内置加法运算符，从而避免错误。

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