在C++20之前，constexpr 函数通常被限制在极其简洁的形式，主要用于在编译期间进行常量表达式求值。随着 C++20 的推出，constexpr 的能力被大幅扩展，几乎可以包含任何普通函数可执行的语句。本文将从理论与实践两方面探讨如何利用现代 constexpr 既实现编译时计算，又保持运行时灵活性。
1. 何谓现代 constexpr
- 函数体可以包含：
if、switch、循环、try/catch（但不支持 throw）、递归、静态/全局变量初始化等。
- 返回值：必须为常量表达式的类型，或可在编译期推导的值。
- 对象生命周期：在编译期间，返回值会在目标函数外部被立即销毁。若返回引用，则必须指向静态或全局对象。
2. 编译时计算的典型应用
2.1 数学函数
constexpr double factorial(unsigned n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
constexpr double pi = []{
double sum = 0;
for (int i = 0; i < 1000; ++i)
sum += 1.0 / (2 * i + 1);
return 4 * sum;
}();
编译器在编译阶段就能求得 factorial(5) 与 pi 的值，随后在运行时直接使用常量。
2.2 类型映射
template <typename T>
constexpr const char* type_name() {
if constexpr (std::is_same_v<T, int>) return "int";
else if constexpr (std::is_same_v<T, double>) return "double";
else if constexpr (std::is_same_v<T, std::string>) return "std::string";
else return "unknown";
}
此映射可在编译期间决定对应字符串，避免运行时 typeid 或 RTTI。
3. 运行时灵活性
尽管 constexpr 允许在编译期执行，但若传递给它的是不可在编译期确定的变量，则会退回到运行时计算。
constexpr int square(int x) { return x * x; }
int main() {
const int a = 5; // 编译期已知
int b = 7; // 运行时才能确定
constexpr int sa = square(a); // 结果在编译期确定
int sb = square(b); // 运行时计算
}
编译器会在可行时使用常量表达式，否则执行常规函数调用。
4. 结合 if constexpr 的条件编译
if constexpr 让 constexpr 函数能够在编译期间根据模板参数做分支选择，而无需在运行时产生分支。
template <typename T>
constexpr void debug_print(const T& value) {
if constexpr (std::is_same_v<T, std::string>) {
std::cout << "String: " << value << '\n';
} else if constexpr (std::is_arithmetic_v <T>) {
std::cout << "Number: " << value << '\n';
} else {
std::cout << "Other type\n";
}
}
若 T 在编译时已确定，未匹配的分支在编译期被剔除。
5. 需要注意的陷阱
- 递归深度：递归
constexpr 计算在编译期间会消耗编译器栈深度，过深会导致编译错误。可使用尾递归或循环替代。
- 异常：
constexpr 函数不能包含 throw，但可以使用 try/catch。若捕获不到异常，编译期会失败。
- 全局状态：
constexpr 不能修改全局或静态状态，除非该状态是 const 或在内部使用 static 变量初始化。
6. 实战案例：编译期构造 JSON Schema
#include <string_view>
#include <unordered_map>
constexpr std::unordered_map<std::string_view, std::string_view> json_schema() {
std::unordered_map<std::string_view, std::string_view> m;
m.emplace("name", "string");
m.emplace("age", "integer");
return m;
}
int main() {
constexpr auto schema = json_schema(); // 编译期生成
// 运行时可直接访问
}
通过 constexpr 生成的映射在运行时无需构造，节省启动时间。
7. 小结
constexpr 已从“仅限编译时”变为“编译时可选”。- 通过结合
if constexpr、递归与循环，可在编译期间实现复杂逻辑。
- 运行时仍可按需调用，保证程序灵活性与性能。
掌握现代 constexpr 的使用，能够让 C++ 程序在保持高性能的同时，实现更安全、更易维护的代码结构。
