constexpr函数需满足纯右值、无副作用等约束，c++20起标准库数学函数才支持constexpr，自定义时须避免运行时操作，浮点字面量精度受限，推荐模板参数或级数展开，constexpr if可简化编译期分支，但需注意模板膨胀与编译开销。
constexpr 函数必须满足纯右值 + 无副作用的约束
不是所有数学函数都能直接标 constexpr —— 编译器只允许在常量表达式中调用“可完全在编译期求值”的函数。比如 std::sqrt 在 C++20 前不是 constexpr，强行写 constexpr double x = std::sqrt(4.0); 会报错：error: call to non-constexpr function。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 优先使用 C++20 引入的
std::sqrt、std::sin、std::exp等标准库constexpr版本（需开启-std=c++20） - 若用 C++17 或需自定义函数（如
factorial），必须确保：所有分支都返回字面类型；不调用非constexpr函数；不修改全局/静态变量；不使用new、throw、try等运行时构造 - 递归深度受编译器限制（GCC 默认约 512 层），阶乘类函数容易触发
error: constexpr evaluation exceeded maximum depth
模板参数推导 + constexpr 可以绕过浮点字面量限制
C++ 中 3.1415926 是 double 字面量，但编译期常量常需更高精度或特定类型（如 long double）。直接写 constexpr long double pi = 3.14159265358979323846L; 看似可行，但实际可能被截断——因为字面量解析精度依赖编译器实现，且无法跨平台保证。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用整数模板参数模拟高精度：例如
template<int num int denom> constexpr long double ratio_v = static_cast<long double>(Num) / Denom;</long></int>，调用ratio_v比硬编码更可控 - 对圆周率等常用常量，用
constexpr函数 + 泰勒展开（如atan级数）计算，虽然编译慢，但结果是真正编译期生成的精确值 - 注意：浮点运算在编译期仍遵循 IEEE 754 规则，
constexpr float x = 0.1f + 0.2f;不等于0.3f—— 这和运行时一致，不是 bug
constexpr if + auto return 能让编译期分支更干净
想根据输入类型决定用 int 阶乘还是 double 幂级数？光靠函数重载不够，因为重载决议发生在编译期早期，而模板实例化可能还没完成。这时候 if constexpr 就比传统 std::enable_if 更直观可靠。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 把类型判断逻辑放进
constexpr if分支，而非模板特化：例如if constexpr (std::is_integral_v<t>) { return factorial(n); } else { return taylor_sin(x); }</t> - 返回类型用
auto，避免手动写冗长的std::common_type_t；但注意：每个分支的返回类型必须能隐式转换为同一类型，否则编译失败 - 别在
constexpr if里放未定义行为（如除零、越界访问），即使该分支在当前实例中不会执行——编译器仍会检查所有分支的语法和语义合法性
编译期计算的代价藏在模板膨胀和编译时间里
一个看似简单的 constexpr 函数，如果被多个不同模板参数实例化（比如 pow, pow, ..., pow），会生成 99 个独立函数体。这不是运行时开销，而是编译器内存占用和生成目标码体积的隐形增长。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 对小范围整数幂（如 0–10），用查表法：
constexpr std::array<double> pow2_table = []{ /* 初始化 */ }();</double>，避免重复展开 - 禁用不必要的实例化：用
static_assert限制输入范围，比如static_assert(N >= 0 && N - 调试时加
-ftime-report（GCC）或/d1reportAllClassLayout（MSVC）看哪些constexpr表达式拖慢了编译 —— 它们往往比你想象中更“重”
最麻烦的不是写不出 constexpr，而是它悄悄把编译时间从 2 秒拉到 20 秒，而你得翻半天编译日志才定位到那个被调用了 200 次的 constexpr std::sqrt 实例。
