C++20 中的 constexpr 函数：从常量表达式到运行时执行

C++20 里，constexpr 的边界被大幅拓宽，允许在更复杂的语境下使用常量表达式。过去，constexpr 函数只能返回字面量值、指针或引用，并且在编译期求值；但从 C++20 开始，它可以包含循环、条件语句、甚至递归调用，且仍能在运行时执行。本文将逐步拆解这一演进，展示新的用例、优势与注意事项。

1. 传统 `constexpr` 的局限

在 C++11/14/17，constexpr 函数必须满足以下约束：

函数体只有一条 return 语句；
不允许递归调用（除非通过 if 终止）；
只能包含字面量、数组、指针或引用操作；
运行时求值仅在编译期被强制。

这些限制导致许多看似简单的算法（如快速排序、斐波那契数列）无法以 constexpr 形式实现。

2. C++20 的突破

C++20 引入了 consteval 与 constexpr 的真正分离，并对 constexpr 函数体进行了放宽：

特性	说明	示例
循环	允许 `for`、`while` 等循环	`constexpr int sum(int n){int r=0; for(int i=1;i<=n;++i) r+=i; return r;}`
递归	直接递归调用，且可在编译期展开	`constexpr int fib(int n){ return n<2? n : fib(n-1)+fib(n-2); }`
`if constexpr`	在编译期分支	`constexpr int max(int a, int b){ return a>b?a:b; }`
运行时执行	同时兼容编译期与运行时	`int main(){ constexpr int v = sum(10); int w = sum(20); }`

3. 运行时与编译期的双重性

在 C++20，constexpr 函数可以在编译期求值，也可以在运行时执行，取决于调用上下文。若参数在编译期已知，编译器会在编译期展开；否则，函数以普通运行时函数的方式执行。

constexpr int factorial(int n){
    return n <= 1 ? 1 : n * factorial(n-1);
}

int main(){
    constexpr int fact5 = factorial(5); // 120，编译期求值
    int n = 7;
    int factN = factorial(n); // 运行时求值
}

4. 性能与实用性

编译时间成本：递归深度大或循环复杂的 constexpr 可能导致编译时间显著增加。建议将其限制在常量配置或编译期计算值的场景。
内存占用：编译期展开的递归会在符号表中存储大量信息，导致可执行文件膨胀。
调试：编译期求值的错误信息会在编译时抛出，提示更准确的上下文。

5. 常见使用案例

类型安全的数学常量

constexpr double pi() { return 3.14159265358979323846; }
template<typename T> struct Circle{ T radius; constexpr T area(){ return pi()*radius*radius; } };

编译期配置表

constexpr std::array<int,4> get_ids(){ return {10,20,30,40}; }
constexpr auto ids = get_ids();

编译期字符串拼接

constexpr const char* join(const char* a, const char* b){
    std::string s{a};
    s += b;
    return s.c_str(); // 注意生命周期
}

6. 注意事项与陷阱

副作用：constexpr 函数不允许产生副作用（如 I/O、修改全局状态），否则会被视为非法。
对象生命周期：返回的字符串字面量必须在函数外持续有效，避免返回临时对象。
编译器支持：虽然标准允许，但部分旧版编译器可能未完全实现 C++20 constexpr 的新特性，需使用 -std=c++20 并确认编译器版本。

7. 小结

C++20 的 constexpr 大幅提升了语言的表达力，使得常量计算与运行时逻辑可以无缝共存。通过合理利用循环、递归与 if constexpr，开发者可以在编译期完成复杂计算，减轻运行时负担，同时保持代码的可读性和可维护性。随着编译器优化的不断进步，未来 constexpr 可能成为实现高性能、类型安全算法的首选手段。

1. 传统 constexpr 的局限