C++ constexpr 演进：从编译期常量到编译期计算

1. 从constexpr的起点说起：它到底解决了什么问题

先说一个很多初学者都见过的编译错误：“表达式必须含有常量值”。这段报错几乎每个写过C++的人都会遇到——你试图用普通变量去声明数组长度、模板非类型参数，或者初始化一个constexpr变量，编译器直接怼回来。早期做C++开发的时候，我面对这种报错的第一反应往往是“那到底什么东西才算常量值？”，然后开始满屏加const碰运气，运气好能过，运气不好直接被模板报错淹没。

等到真正吃透constexpr之后才发现，这条报错背后藏着C++11之前一个非常尴尬的局面：编译器明明在编译期就需要一个确定的值，语言本身却没有提供一套清晰、可靠、可检查的“编译期常量”表达机制。

在C++98/03时代，程序员能用的“编译期求值”工具基本只有两个半。第一个是宏，#define SIZE 1024，简单粗暴，但宏没有类型、没有作用域、不参与重载决议，一旦表达式复杂一点就处处踩坑。第二个是模板元编程，利用模板特化和递归在编译期“算”出结果，比如经典的阶乘：

cpp复制template <int N>
struct Factorial {
    static const int value = N * Factorial<N - 1>::value;
};

template <>
struct Factorial<0> {
    static const int value = 1;
};

说实话，这套东西很强大，但写起来极度反人类。你得把“计算过程”编码成“类型嵌套”，循环用递归，条件用特化，调试基本靠编译错误信息猜。至于“半个”，是const整型配合枚举或者static const成员的小技巧，能应付一些场景，但适用范围非常有限。

C++11引入constexpr，本质上就是给“编译期常量表达式”这件事立了一套正式的、编译器可验证的规则。它让你写出的函数有机会在编译期求值，又不需要像模板元编程那样把逻辑扭曲成类型嵌套。当年Bjarne Stroustrup等人推动这个特性时，核心目标特别朴素：让“编译期计算”写起来像普通代码，并且让编译器告诉你哪儿写得不满足要求。

所以constexpr不是一个性能优化工具，它的核心价值是——把“运行期才做的事”提前到“编译期做”，顺便把“在编译期求值”这个资格变成一个可以显式声明、显式检查的语言特性。

那篇文章标题里的“演进”二字，恰恰是理解constexpr最关键的视角。C++11版本的constexpr虽然解决了从无到有，但限制多到让人抓狂；后面C++14、C++17、C++20一路放宽，才让它真正变成了一把趁手工具。这篇文章我会把C++11的设计初衷、每个版本的规则变化、实际使用中的边界和坑，一次性讲透。

2. C++11 constexpr的规则边界：它“能做什么”和“不能做什么”

2.1 constexpr变量：最直观的“编译期常量”

C++11对constexpr变量的规则很干脆：

cpp复制constexpr int max_size = 1024;
constexpr int double_size = max_size * 2;

变量声明为constexpr，意味着这个值必须在编译期就能算出来。它的初始化表达式必须是一个“常量表达式”，说白了就是：所有参与运算的东西，要么是字面量，要么是另一个constexpr变量，要么是可编译期求值的函数调用。

这里有个特别容易被忽略的细节：constexpr变量本身自带const属性。 你声明了一个constexpr int x = 5;，后面想给x重新赋值，编译器直接报错。这个设计好理解——编译期常量，值确定了就不能改。但它和const有个本质区别：const不保证编译期确定，比如const int n = get_size();是合法的，但n的值只有运行期才知道。constexpr则强制编译期确定。

判断一个变量是否真是编译期常量，最简单的验证方法就是把它塞进数组长度：

cpp复制constexpr int cx = 42;
int arr[cx];          // 合法

const int c = 42;     
int arr2[c];          // 在C++11中通常也能过，因为编译器看得懂，但c本身不保证是常量表达式

用constexpr声明还有一个隐形好处：编译器必须“咬死”它，一旦你用了无法在编译期求值的表达式，它马上就报错，绝对不会拖到运行期才爆雷。

2.2 constexpr函数：C++11版本的“紧身衣”

变量好理解，函数才是constexpr演进的重头戏。C++11时代，一个constexpr函数的限制多到什么程度呢？基本可以总结成“三必须”：

• 函数体必须只有一条return语句。你要是写个局部变量、循环、条件判断，全都非法。
• 返回类型和参数类型必须是字面类型。普通的内建类型是，但有自定义析构函数的类不是。
• 调用时，如果实参非常量，它就退化成普通函数。这一点非常关键——constexpr函数不是说“永远编译期执行”，而是“具备编译期执行的资格”。

举一个C++11标准写法，比如编译期算平方：

cpp复制co