C++17 中的 constexpr 已经彻底改变了我们编写编译期计算的方式。过去，constexpr 只能用来描述单行常量表达式，受限于函数返回值只能是字面量、构造函数和条件运算符。然而在 C++17 之后，constexpr 函数可以包含多条语句、循环、条件分支、甚至异常处理。通过这些改进，编译器在编译期可以执行更复杂的计算，从而极大提升程序运行时性能。
1. constexpr 的核心扩展
- 多行语句：constexpr 函数现在可以包含
{}块和多条语句。 - 循环与条件：
for,while,if等语句被允许在 constexpr 函数内部。 - 异常：编译期可以抛出异常，但必须在运行时被捕获。
- 类成员：支持 constexpr 构造函数、成员函数以及静态数据成员。
这些改动意味着我们可以把之前只能在运行时执行的算法搬到编译期，例如快速排序、斐波那契数列、字符串解析等。
2. 常见使用场景
2.1 编译期字符串处理
constexpr std::size_t strlen_c(const char* str) {
std::size_t len = 0;
while (str[len] != '\0') ++len;
return len;
}使用 strlen_c 可以在编译期得到字符串长度，从而为模板参数提供常量。
2.2 生成编译期查找表
template<std::size_t N>
constexpr std::array<int, N> make_lookup_table() {
std::array<int, N> table{};
for (std::size_t i = 0; i < N; ++i)
table[i] = static_cast <int>(i * i);
return table;
}该函数在编译期生成平方表，避免运行时循环。
2.3 运行时性能提升
假设有一个函数需要根据输入返回固定值列表中的第 n 个值。若使用 constexpr 编译期生成该列表，程序在运行时直接索引，避免多次计算。
3. 编译器支持与限制
- GCC 7+ / Clang 5+ / MSVC 2017+ 支持 C++17
constexpr扩展。 - 递归深度：编译器对 constexpr 递归的深度有限制，典型值为 1024。
- 异常：在编译期抛出的异常会导致编译错误，除非被捕获。
4. 与 consteval 的区别
C++20 引入了 consteval，它强制函数在编译期执行，任何未能在编译期完成的调用都会导致编译错误。相比之下，constexpr 仍可在运行时执行。利用 consteval 可以进一步保证编译期计算的完整性。
5. 小结
C++17 对 constexpr 的扩展使得编译期计算不再局限于简单表达式，而是可以处理复杂算法和数据结构。合理运用这些特性，可以显著降低运行时负担，提高程序整体效率。建议在项目初期就评估哪些部分可以迁移至编译期，并借助现代编译器持续优化。
实战建议：先在项目中挑选可量化性能的热点代码，将其重构为
constexpr，然后使用static_assert验证编译期结果。通过编译日志查看是否真正被编译期执行，确保得到期望的性能提升。