有没有一种方法可以static_assert在模板参数中给出的变量参考？

Question

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;
}

我想在编译时检查我的模板的配置是否正确。

因此，我试图将我的引用引用为恒定实例，以便在static_assert中使用它，但是我会发现错误：“非静态数据成员的使用无效...'

是否有一种方法可以检查值在这种情况下，在编译时间时的非型参数？还是您还有其他建议可以实现这一目标？

Answer 1

如果要在编译时使用 myConfig 的 value 初始化器。然后是静态存储持续时间变量，然后是次要的：

constexpr Config myConfig = { .version = 5 };
// alternatively before C++20 for example
// constexpr Config myConfig = { 5 };
/*...*/
Peripheral<myConfig> peripheral;

然后，模板应采用参数概述，而不是征用参数，并且您应该直接在 static_assert 中直接使用该模板参数

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

。在 config 中的其他内容上，或者如果您不使用C ++ 20或更高版本，则可能不允许使用该类型作为副价值模板参数。在这种情况下，您可以继续使用参考参数（尽管我不确定这是好设计），但是您需要将其制作 const config＆amp; 而不是匹配 const 由 constexpr 暗示。在这种情况下，重要的是 myConfig 具有静态存储持续时间（特别是可以在名称空间范围内声明为 static> static 数据成员，也可以自AS data成员>静态本地变量）。

如果要继续使用本地 config _ 要断言的副本，则该副本也应标记为 constexpr （ const 不足以进行因此，在编译时的变量）及其也必须标记为 static （因为非 - static> static 数据成员不能声明 constexpr ）。

模板参数的值和 static_assert 无法（可能）在运行时确定，因此 myconfig.version = 5; 永远无法使用。