constexpr函数需满足：参数为常量表达式；函数体不含非constexpr操作；c++14起允许多语句但递归深度受限；仅当用于数组大小、模板参数等常量表达式上下文时才编译期求值。
constexpr函数必须满足哪些条件才能被编译期求值
不是所有标了 constexpr 的函数都能在编译期运行——它只是“允许”编译器在常量表达式上下文中求值，而非“强制”。关键看调用场景是否构成常量表达式。
- 所有参数必须是常量表达式（比如字面量、
constexpr变量、或其它编译期可得的值） - 函数体不能含非 constexpr 操作：如
new、static_cast（某些情况除外）、抛异常、未初始化变量、I/O、虚函数调用 - C++14 起放宽限制：允许局部变量、循环（
for/while）、if分支；但 C++11 中只允许单个 return 表达式 - 递归深度受编译器限制（Clang/GCC 通常默认几百层），过深会退化为运行时调用甚至报错
error: constexpr function never produces a constant expression
怎么判断一个constexpr调用实际发生在编译期
最可靠的方式是把它用在需要常量表达式的地方：数组长度、模板非类型参数、static_assert 条件、枚举值。只要能通过编译，就说明求值成功了。
- 例如：
int arr[my_pow(2, 10)];—— 若my_pow是合法constexpr且参数为字面量，则数组大小确定，编译通过 - 若写成
int x = 5; int arr[my_pow(x, 2)];，x不是常量表达式，编译失败（C++17 前）或退化为运行时（C++20 起部分支持consteval强制编译期） - 用
static_assert(my_sqrt(16) == 4);是极佳验证方式：失败直接报错，且不生成运行时代码
constexpr vs consteval：什么时候必须用consteval
consteval（C++20 引入）表示“只能在编译期求值”，比 constexpr 更严格。当你需要彻底杜绝运行时调用，避免意外降级，就该用它。
-
constexpr函数可同时用于编译期和运行时；consteval函数一旦被运行时值调用，直接编译错误 - 典型场景：元编程工具函数（如类型名字符串化、编译期哈希）、安全敏感的校验逻辑（如密钥长度检查）
- 注意：不能对
consteval函数取地址，也不能作为虚函数或模板参数（因无运行时地址） - 示例：
consteval int square(int x) { return x * x; }，square(5)OK，int y = 5; square(y)编译失败
常见陷阱：为什么我的constexpr函数没被编译期计算
最常踩的坑不是语法错，而是“看起来像常量，实则不是”。编译器不会主动优化，只响应常量表达式需求。
- 变量声明用了
const但没用constexpr：如const int x = 42;→x在 C++11 中不是常量表达式（除非是字面量类型且初始化为常量表达式） - 从
std::vector或std::string读取数据：它们无法参与编译期计算，哪怕内容固定 - 调用标准库函数：绝大多数
std::函数（包括std::sqrt、std::string::size）直到 C++20 才逐步加入constexpr支持，且实现依赖编译器 - 忘记返回值类型也要满足字面量类型（literal type）：比如含虚函数、非 public 构造/析构、或成员含 non-constexpr 类型的类，不能作为
constexpr函数返回值
真正难的不是写 constexpr，而是让整个调用链都保持“常量性”——从输入源头到最终使用点，每一步都不能引入运行时不确定性。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
