如何对模板参数传入的变量引用执行static_assert编译期检查？

问题复现 #

目标是在编译阶段检查传入模板的配置是否合法，原实现代码触发invalid use of non-static data member报错，复现代码如下：

struct Config 
{
    int version = 1; 
};

template<Config& config /* , ... */>
struct Peripheral
{
    const Config config_ = config;
    static_assert(config_.version > 1, "Config version must be greater than 1");
    /* ... */
};

Config myConfig;

int main()
{
    myConfig.version = 5;
    Peripheral<myConfig> peripheral;
}

错误原因 #

• config_是类的非静态实例成员，属于对象运行时的内存数据，而static_assert是纯编译期执行的检查逻辑，根本无法访问实例层面的非静态成员。
• 原代码里的myConfig是普通全局变量，main函数里对它的赋值是运行时行为，编译阶段根本拿不到它的version最终值，不可能完成编译期校验。
• C++20之前，引用类型的非类型模板参数无法直接在常量表达式中读取其指向对象的成员值，不支持直接做编译期检查。

可行解决方案 #

方案1：C++20及以上版本（推荐） #

C++20放宽了常量表达式的限制，只要把全局配置声明为constexpr保证编译期可见，就可以直接读取模板引用参数的成员做静态检查，不需要额外定义非静态成员存储配置：

struct Config 
{
    int version = 1; 
};

// 配置必须声明为constexpr，保证编译期可读取
constexpr Config myConfig{.version = 5};

template<const Config& config>
struct Peripheral
{
    // 直接读取模板参数做编译期检查
    static_assert(config.version > 1, "Config version must be greater than 1");
    // 需要存储配置的话用静态constexpr成员，不要用非静态成员
    static constexpr Config config_ = config;
};

int main()
{
    Peripheral<myConfig> peripheral;
}

方案2：兼容C++11/17版本 #

如果需要兼容旧C标准，直接把非类型模板参数从引用传参改为值传参即可，值类型的字面量类作为非类型模板参数，从C11开始就支持编译期成员访问：

struct Config 
{
    int version = 1; 
    // 加constexpr构造保证Config是字面量类型
    constexpr Config(int v = 1) : version(v) {}
};

constexpr Config myConfig{5};

// 直接传值，不传引用
template<Config config>
struct Peripheral
{
    static_assert(config.version > 1, "Config version must be greater than 1");
    static constexpr Config config_ = config;
};

int main()
{
    Peripheral<myConfig> peripheral;
}

注意事项 #

如果你确实需要在运行时修改myConfig的字段值，那编译期检查是不可能实现的：编译期检查的前提是被检查的值必须在编译阶段就确定，这种场景下你只能把检查逻辑移到运行时，比如在Peripheral的构造函数里加assert或者参数校验逻辑。

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