17370845950

constexpr要求编译期计算，const仅保证不可修改；例如constexpr可用于数组大小而const变量若非编译期初始化则不能；两者可结合使用，优先选用constexpr确保编译期求值。

constexpr 和 const 都用于定义常量，但它们在语义和使用场景上有本质区别。理解这些差异对编写高效、安全的 C++ 代码非常重要。

const 是运行期常量限定符

const 表示“不可修改”，但它并不保证值在编译期就已知。

说明： - const 变量可以在运行时初始化。 - 它的作用是防止程序修改该变量的值。 - 编译器不一定能在编译期知道它的值。

例如：

const int a = 5;                    // 编译期可知
const int b = std::rand();          // 运行期才能确定值

这里 a 的值在编译期可以确定，b 却不行。因此 b 不能用作数组大小或模板参数等需要编译期常量的场合。

constexpr 要求编译期常量

constexpr 明确要求变量或函数的结果必须在编译期计算出来。

说明： - constexpr 变量必须用常量表达式初始化。 - constexpr 函数在传入的是常量表达式时，必须在编译期求值。 - 可用于数组长度、模板非类型参数、case 标签等需要编译期常量的地方。

例如：

constexpr int square(int x) {
    return x * x;
}
constexpr int val = square(5);      // 编译期计算，val = 25
int arr[val];                       // 合法：val 是编译期常量

如果写成：

int n = 5;
constexpr int bad = square(n);      // 错误！n 不是常量表达式

这会编译失败，因为 n 是运行时变量，无法在编译期求值。

函数中的 constexpr 与 const 区别

对于函数，关键字位置不同，含义也不同。

成员函数后加 const 表示该函数不会修改对象状态：

class MyClass {
    int data;
public:
    int getValue() const { return data; }  // 不修改成员
};

而 constexpr 函数表示它有可能在编译期执行：

constexpr int add(int a, int b) {
    return a + b;
}

一个函数也可以同时是 const 和 constexpr（C++11 起）：

constexpr int getValue() const { return data; }

这意味着该成员函数既不修改对象，又可在编译期调用（当对象是常量表达式时）。

编译期常量 vs 运行期常量的实际影响

是否为编译期常量直接影响以下场景：

• 数组声明：int arr[constexpr_val]; — 必须是编译期常量
• 模板参数：template class Array; — N 必须是编译期可知
• case 标签：switch 中 case 后必须是整型常量表达式
• 元编程：SFINAE、类型萃取等依赖编译期计算

const 变量只有在初始化表达式是常量表达式时，才具备编译期常量属性（如 const int x = 10;）。但在某些上下文中仍不能替代 constexpr（尤其在 C++11 中）。

从 C++14 开始，constexpr 函数限制逐渐放宽，允许更多复杂的逻辑（如循环、局部变量等），进一步提升了编译期计算能力。

基本上就这些。简单说：const 防修改，constexpr 保编译期计算。能用 constexpr 就不用 const（当确实需要编译期常量时）。两者不是互斥的，合理结合使用效果更好。