constexpr用于声明编译期可求值的常量或函数，提升性能并支持模板编程；2. constexpr变量必须在编译期确定值，可用于数组大小等需编译期常量的场景；3. constexpr函数在参数为编译期已知时于编译期执行，否则在运行时执行，实现统一接口。
constexpr 是 C++11 引入的关键字，用于声明可以在编译期求值的常量表达式或函数。它的核心作用是让程序员明确告诉编译器：“这个值或函数在满足条件时应该在编译期计算”，从而提升性能、支持模板编程，并实现更高效的元编程。
编译期常量表达式：提升性能与类型安全
使用 constexpr 声明的变量必须在编译期就能确定其值。这与 const 不同，const 只表示不可修改，但初始化可以发生在运行时。
例如：
constexpr int square(int x) {
return x * x;
}
constexpr int val = square(5); // 编译期计算，val = 25
int arr[val]; // 合法：val 是编译期常量
这段代码中，square(5) 在编译期就被计算为 25，因此可以用作数组大小。如果用普通函数或非 constexpr 函数，就无法用于此类需要编译期常量的场景。
立即学习“C++免费学习笔记（深入）”；
constexpr 函数：运行时与编译期的统一接口
constexpr 函数在传入编译期已知参数时，会在编译期执行；否则退化为普通运行时函数。这种“两相兼容”的特性非常实用。
例如：
constexpr int factorial(int n) {
return (n <= 1) ? 1 : n * factorial(n - 1);
}
constexpr int f5 = factorial(5); // 编译期计算 120
int x = 4;
int f4 = factorial(x); // 运行时计算
同一个函数既能用于模板参数、数组大小等编译期上下文，也能用于普通变量计算，无需重写逻辑。
支持模板元编程与类型系统增强
C++ 模板要求非类型模板参数必须是编译期常量。有了 constexpr，我们能用函数生成这些值。
例如：
templatestruct LookupTable { static constexpr int value = N * N + 1; }; constexpr int config_value = square(3) + 1; LookupTable
tbl; // 合法：config_value 是编译期常量
此外，在 C++14 及以后，constexpr 函数限制大幅放宽，允许循环、局部变量、条件分支等，使得复杂逻辑也可在编译期执行。
constexpr 与元编程：编译期计算的实际应用
现代 C++ 元编程大量依赖 constexpr 实现编译期数据结构和算法。比如编译期字符串哈希：
constexpr unsigned hash(const char* str) {
unsigned h = 0;
while (*str) {
h = h * 31 + *str++;
}
return h;
}
switch(hash("create")) {
case hash("create"): / ... / break;
case hash("destroy"): / ... / break;
}
虽然不能直接用字符串做 switch，但通过 constexpr 哈希，可在编译期将字符串映射为整数，实现高效分发。
基本上就这些。constexpr 让 C++ 在保持运行时灵活性的同时，充分发挥编译期计算的优势，是现代 C++ 高性能编程和元编程的重要基石。不复杂但容易忽略。
