类中constexpr成员为何需加static？与main函数定义的区别

代码示例对比 #

1. 主函数中正常定义constexpr变量 #

int main () 
{
    constexpr unsigned int VariableName = 10;
}

2. 类内非static constexpr变量（编译错误） #

class myClass
{
public:
    constexpr unsigned int VariableName = 10; // 编译不通过
};

3. 类内static constexpr变量（编译正常） #

class myClass
{
public:
    static constexpr unsigned int VariableName = 10; // 合法
};

核心原因解析 #

1. constexpr的语义要求：constexpr变量必须在编译阶段就能确定其值，它的值固定且不可变，不能依赖运行时的计算或对象状态。
2. 类非static成员的特性：类的非static成员属于每个对象实例，而非类本身。哪怕是const的非static成员，也能在对象构造时通过初始化列表赋予不同值，意味着它的值无法在编译期完全确定，不符合constexpr的要求。
3. static成员的特性：static成员属于类本身，所有对象实例共享同一存储，生命周期贯穿程序始终。static constexpr成员的值在编译期就被确定为唯一固定值，完全匹配constexpr的编译期求值语义，因此是合法的。

针对你的需求的建议 #

你想用类封装信号模型参数并跟踪修改影响，可分情况处理：

• 如果参数是所有信号模型实例共享的固定值，static constexpr完全适用，它能保证编译期确定值，且全局唯一。
• 如果每个信号模型实例需要各自独立的固定参数（运行时构造时确定，之后不可修改），应该使用const非static成员，在构造函数初始化列表中赋值：

class SignalModel
{
public:
    const unsigned int param;
    SignalModel(unsigned int p) : param(p) {} // 构造时确定参数值，之后不可修改
};

这样既实现了封装，又能保证每个实例的参数独立且不可修改，方便跟踪参数对模型的影响。

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