如何在独立命名空间中声明非字面类型的C++编译期类实例常量

报错原因 #

你遇到的编译报错核心是自定义的Test类不属于C++字面类型，本质是你写的构造函数没有加constexpr修饰，无法在编译期完成构造，自然不能声明为constexpr变量。以下是几种可行的替代方案：

方案1：改造Test结构体支持constexpr（最推荐） #

直接给构造函数添加constexpr修饰符，就能让Test成为字面类型，完美满足命名空间下常量声明的需求，完全替代宏定义，还能享受类型安全检查：

struct Test
{
    int a;

    // C++11及以上版本支持constexpr构造函数
    constexpr Test(int b, int c)
    {
        a = b * c;
    }
};

// 放到自定义命名空间中
namespace MyNS {
    constexpr Test testDefault = Test(1, 2);
}

方案2：使用命名空间作用域下的const变量（无需修改原结构体） #

如果Test是第三方提供的结构体、无法修改源码，直接用const修饰变量即可，除了不能用于编译期常量表达式场景外，其他使用效果和宏完全一致：

namespace MyNS {
    // C++17及以上添加inline避免多编译单元重复定义
    inline const Test testDefault = Test(1, 2);
}

如果是C++17以下版本，可在头文件声明extern const Test testDefault;，再在单独的cpp文件中完成变量定义。

方案3：使用constinit（C++20及以上） #

如果不需要变量参与编译期计算，只是想避免静态初始化顺序问题，可使用constinit修饰，保证变量在编译阶段完成初始化：

namespace MyNS {
    constinit Test testDefault = Test(1, 2);
}

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