constexpr函数需满足：参数与返回值为字面类型、函数体受限（C++11仅单return，C++14放宽）、无静态局部变量/异常/汇编/goto，且调用时实参必须为常量表达式；否则退化为运行时调用。
constexpr 函数必须满足哪些条件才能真正编译期求值
不是标了 constexpr 就能在编译期算——它得“纯”、得“确定”、得“够简单”。编译器只对满足严格约束的调用做常量折叠，否则退化为运行时函数。
- 函数体只能包含一条
return语句（C++11），或有限的声明+控制流（C++14 起放宽） - 所有参数和返回类型必须是字面类型（
int、std::array、constexpr构造的类等），不能含std::string、std::vector - 函数内不能有静态局部变量、
try/catch、asm、goto - 调用时传入的实参本身必须是常量表达式（比如字面量、
constexpr变量），否则不触发编译期计算
常见错误现象：error: call to non-constexpr function 或结果没进 .rodata 段——多半是参数来源不“干净”，比如用了普通 const int x = 5; 而非 constexpr int x = 5;。
constexpr 类对象怎么安全构造和使用
类想支持编译期实例化，光加 constexpr 构造函数不够，成员变量初始化、析构、拷贝都得“可常量化”。
- 构造函数必须是
constexpr，且所有成员初始化必须在成员初始化列表中完成（C++11 起不允许在函数体内赋值） - 所有非静态数据成员和基类必须是字面类型；若有指针成员，不能指向动态内存（但可以是
nullptr或指向静态对象） - 类中若定义了
constexpr成员函数，它们隐式是const的，且不能修改任何成员（除非标记为mutable，但mutable成员不能用于常量表达式） - 使用场景：预计算查找表、类型特征元编程、模板参数推导依据（比如
std::array<int n></int>中的N必须是常量表达式）
示例：constexpr std::array<int> arr = {1, 2, 3};</int> 合法；但 constexpr std::vector<int> v{1,2,3};</int> 编译失败——std::vector 不是字面类型。
立即学习“C++免费学习笔记（深入）”；
constexpr 和 consteval 的关键区别在哪
consteval 是 C++20 引入的“硬性要求”：它声明的函数**必须**在编译期求值，一次运行时调用都不允许。而 constexpr 是“可选优化”——能算就编译期算，不能就算运行时。
- 误用
constexpr当consteval：比如想强制校验某个配置值是否合法，却只用constexpr，结果用户传了运行时变量，函数默默退化成普通函数，失去检查意义 -
consteval函数不能取地址、不能作为虚函数、不能出现在非模板实参位置（如普通函数参数） - 性能影响：两者生成的代码无差异，但
consteval多一层编译期强制，错误提示更早、更明确（error: call to consteval function ... is not a constant expression） - 兼容性：C++20 起才支持
consteval，老项目需保持constexpr兼容性时慎用
典型场景：consteval int validate_port(int p) { return (p > 0 && p —— 确保端口号在编译期就被验证。
模板 + constexpr 组合时容易忽略的求值时机问题
模板参数本身必须是常量表达式，但模板内部的 constexpr 计算不一定在实例化时就完成——它取决于该计算是否被“ODR-used”或是否出现在需要常量上下文中。
- 写
template<int n> struct X { static constexpr int value = N * N; };</int>，X::value是常量表达式；但若只是声明未引用，某些编译器可能延迟到首次 ODR-use 才计算 - 在
if constexpr分支里用constexpr函数，该分支必须能完全编译通过（即使不执行），所以函数内部不能依赖运行时状态 - 跨翻译单元时，
constexpr变量默认有内部链接，若在头文件中定义又没加inline（C++17 起），可能引发 ODR 违规 - 调试陷阱：GDB 等调试器看不到编译期计算过程，只看到最终值；想确认是否真在编译期算，得看汇编输出或用
static_assert强制触发
最容易被忽略的一点：constexpr 计算深度受编译器限制（如 GCC 默认 -fconstexpr-depth=512），递归模板 + constexpr 函数嵌套过深会直接报错，而不是降级——这时候得手动展开或改用 consteval 配合更严格的控制。
