constexpr函数需满足：函数体合规、参数为字面量类型且传入常量表达式、调用在常量表达式上下文中；consteval则强制编译期求值，否则编译失败。
constexpr 函数必须满足哪些条件才能真正编译期求值
不是标了 constexpr 就一定在编译期算——它只是“允许”编译器在常量上下文中求值。真正触发编译期计算，得同时满足：函数体是简单返回表达式（C++11）或支持更宽松的语句（C++14+），所有参数都是字面量类型且传入的是常量表达式，调用发生在需要常量表达式的地方（比如数组长度、static_assert 条件、模板非类型参数）。
常见错误现象：constexpr int f(int x) { return x * 2; } 写了但 f(5) 在运行时变量上调用，结果仍是运行时执行；或者传入非常量变量（哪怕值是 5），编译器直接拒绝。
- 确保参数类型是字面量类型（
int、long long、std::array等，不能是普通std::string或带非 trivial 构造函数的类） - C++14 起允许
if、for、局部变量，但循环必须能被编译器静态判定可终止（比如迭代次数由模板参数决定） - 避免调用非
constexpr函数，哪怕只有一行——整个链路必须全constexpr
constexpr 和 consteval 的关键区别在哪
consteval 是 C++20 加的，意思是“必须编译期求值”，不满足就直接编译失败；而 constexpr 是“可以编译期求值，也可以运行时”。这是根本差异，不是语法糖。
使用场景：当你写一个纯数学工具函数（比如 factorial、pow2），且明确不希望它出现在运行时代码里（避免意外性能开销或二进制膨胀），就该用 consteval。但别滥用——它无法用于模板推导中依赖运行时值的分支逻辑。
立即学习“C++免费学习笔记（深入）”；
-
constexpr int square(int x) { return x * x; }可以用于int a = square(5);（运行时）或int arr[square(3)];（编译期） -
consteval int square(int x) { return x * x; }写成int a = square(5);会报错：call to consteval function 'square' is not a constant expression - 模板参数必须是常量表达式，所以
template<int n> struct X {};</int>中只能传consteval或满足条件的constexpr结果
constexpr 构造函数和类怎么配合做编译期对象构建
类要支持编译期实例化，必须满足：所有成员变量可字面量初始化，构造函数标 constexpr，且函数体内只做允许的操作（C++11 要求为空或单个 return；C++14+ 放宽）。重点在于——对象本身得是字面量类型（literal type）。
容易踩的坑：忘了把成员变量也声明为 constexpr 友好类型；或者用了 std::vector 这类非字面量成员，导致整个类失去编译期构造能力。
- 基础示例：
struct Point { constexpr Point(int x, int y) : x_(x), y_(y) {} int x_, y_; };可用于constexpr Point p{1, 2}; - 禁止操作：在 constexpr 构造函数里调用
new、抛异常、访问 this-> 成员前未初始化（C++20 前）、调用非 constexpr 成员函数 - 注意：即使类支持 constexpr 构造，其成员函数也要单独标
constexpr才能在编译期调用（比如p.x()）
模板 + constexpr 组合时最常漏掉的约束点
模板参数本身可以是常量表达式，但模板实参推导不会自动把运行时值转成编译时常量。你写 template<int n> void f();</int>，调用 f() 没问题，但 f<x>()</x>（x 是变量）直接报错——这不是 constexpr 能绕过的。
性能影响明显：过度依赖模板非类型参数 + constexpr 计算，可能让编译时间飙升，尤其嵌套深或递归展开多时（比如编译期字符串处理）。
- 想从运行时输入生成编译期值？不行——得靠用户显式提供字面量或
constexpr变量（如constexpr int len = std::strlen("abc");） - C++20
consteval函数可用于模板参数计算，但依然要求输入是常量表达式 - 调试困难：编译期错误信息往往冗长，建议先用
static_assert把中间值打出来，比如static_assert(N > 0, "N must be positive");
编译期计算不是万能开关，它依赖整个调用链每个环节都“守规矩”。最容易忽略的是：你以为传进去的是常量，其实变量名只是看着像；或者函数标了 constexpr，但内部悄悄调用了标准库里没标 constexpr 的函数（比如老版本 std::sqrt）。检查每个调用点，比写代码花的时间还多。
