编译期计算革命：constexpr 与 consteval
在 C++98 时代，编译期计算几乎等同于模板元编程（TMP）——用递归模板 + 特化在类型系统里模拟图灵完备的计算。代码晦涩，编译慢，出错信息堪称灾难。C++11 引入了 constexpr，承诺让"正常 C++ 代码"在编译期运行。此后每一个标准版本都在放宽它的能力边界，到 C++20/23，你几乎可以在编译期做任何事。
本文梳理 constexpr 从 C++11 到 C++23 的演进历程，重点解释 if constexpr、consteval、constinit 三个极易混淆的概念，以及编译期容器的内存模型。
1. C++11 constexpr：第一块多米诺
C++11 的 constexpr 函数受到极大限制——只能包含一个 return 语句：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
static_assert(factorial(5) == 120); // 编译期求值
int x = factorial(runtime_input); // 也可以运行时调用constexpr 变量必须用编译期常量初始化：
constexpr int N = 42; // 字面量
constexpr int M = factorial(5); // constexpr 函数结果
constexpr int K = std::rand(); // 编译错误！rand() 不是 constexpr这个阶段的关键突破不是"能做到什么"，而是把编译期计算的语法从模板递归拽回了正常 C++ 循环/分支写法。
2. C++14：放松函数体限制
C++14 去掉了单 return 语句的限制，允许局部变量和循环：
constexpr int factorial(int n) {
int result = 1;
for (int i = 2; i <= n; ++i)
result *= i;
return result;
}这看似只是语法糖，实则是质变：编译期计算和运行期计算共用了同一套代码，不再需要两套实现。
3. C++17：if constexpr 的分支消除
if constexpr 解决的问题是：模板中有一些分支对特定的模板参数根本就不合法，但编译器在语法分析阶段照样会检查它们：
template<typename T>
auto serialize(T const& val) {
if constexpr (std::is_arithmetic_v<T>) {
return std::to_string(val); // 仅对数字类型合法
} else if constexpr (std::is_same_v<T, std::string>) {
return val; // to_string 对 string 不合法
} else {
static_assert(sizeof(T) == 0, "Unsupported type");
}
}如果是普通的 if，所有分支都必须对每种 T 语法合法——编译器会去"尝试编译"std::to_string(std::string)，然后报错。if constexpr 让未被选择的分支被完全丢弃（discarded statement），只要求它语法上是个有效的声明序列（不需要语义合法）。
if constexpr 的作用域只在函数模板和普通模板的成员函数中。对于普通函数，没有模板参数可依赖，它就退化为一个普通的编译期 if（和 if 没本质区别）。
if constexpr vs #ifdef
#ifdef 在预处理阶段过滤，可以制造完全不同的 token 序列；if constexpr 在模板实例化阶段工作，所有分支必须符合基本语法规则。前者可用于跨平台差异（甚至不同操作系统），后者适合同一平台下的类型级分支。
4. C++20 四大突破
4.1 constexpr 动态分配与释放
constexpr auto make_vector() {
std::vector<int> v;
v.push_back(1);
v.push_back(2);
return v;
}
constexpr auto v = make_vector(); // 编译期构造 vector！但有严格的限制：编译期分配的内存必须在编译期释放。这意味着 constexpr 内的 new 所分配的内存不能"逃逸"到运行时：
constexpr auto* escape() {
return new int(42); // C++20 编译错误！内存逃逸
}4.2 constexpr 虚函数
struct Base { virtual int value() const = 0; };
struct Derived : Base { constexpr int value() const override { return 42; } };
constexpr int get_value(Base const& b) { return b.value(); }
constexpr Derived d;
static_assert(get_value(d) == 42); // 编译期动态派发！4.3 constexpr std::string
constexpr std::string greeting = "Hello, " + std::string("World!");
// 编译期字符串拼接4.4 consteval：强制编译期求值
constexpr 函数可以在编译期调用，也可以在运行期调用。consteval 则只能在编译期调用：
consteval int compile_square(int n) { return n * n; }
constexpr int a = compile_square(10); // OK
// int b = compile_square(runtime()); // 编译错误！consteval 不接受运行期参数这是一个立即函数（immediate function）——每次调用必须产生编译期常量。
consteval 的一个典型应用场景：强制在编译期构造查表数据，保证零运行时开销。
5. constinit：另一个"const"家族的词
constinit 和 const、constexpr、consteval 极易混淆。它的语义是：
保证变量在编译期初始化，但可以在运行期修改。
constinit int x = factorial(5); // 编译期初始化
x = 10; // 可以修改！
// 对比：
constexpr int y = factorial(5); // 编译期初始化 + 不可修改
// constinit int z = rand(); // 编译错误！rand() 不是 constexprconstinit 解决的核心问题是静态初始化顺序问题（Static Initialization Order Fiasco）。标记为 constinit 的变量保证在动态初始化阶段之前就已完成初始化，不会被零初始化的静态变量踩踏。
6. C++23 的进一步放宽
C++23 让 constexpr 的能力更接近"真正的 C++"：
- constexpr
unique_ptr和shared_ptr（配合 C++20 的动态分配） - constexpr
type_info::operator== - constexpr 数学函数（
std::abs、std::sqrt等） - 显式的
this推导（虽然不是 constexpr 独有，但配合 constexpr 成员函数更自然）
constexpr auto test() {
auto p = std::make_unique<int>(42);
return *p;
}
static_assert(test() == 42); // C++23 OK7. 编译期计算的工程意义
把计算移到编译期，不是"跑得快点"，而是把成本从 O(每次运行) 降为 O(一次编译)。对于查表、常量生成、类型信息序列化等场景，这是数量级的差异。
但不要走向极端——所有编译期计算都会增加编译时间。权衡点是：计算的结果是否被多次使用，且大小可控？ 如果是，编译期计算几乎总是值得的。
总结
| 关键词 | 语义 | 标准 |
|---|---|---|
constexpr | 函数/变量可以在编译期求值 | C++11，逐步放宽 |
if constexpr | 模板中编译期丢弃分支 | C++17 |
consteval | 函数必须在编译期求值 | C++20 |
constinit | 变量在编译期初始化，运行期可变 | C++20 |
constexpr 的十年演进是 C++ 现代化最成功的迭代叙事之一。它把"编译期计算"从模板元编程的"专家技巧"变成了任何 C++ 开发者都可以使用的日常工具——用正常 C++ 语法，得到编译期安全保证。