C++ constexpr函数详解：从C++11到C++23的编译期计算

constexpr函数这个特性，我从C++11时代就开始用，当时第一感觉是“终于不用再写那堆模板递归了”。它解决的核心问题很朴素：让代码在编译期间就把该算的东西算完，而不是等到程序运行起来才去执行。适合谁看？正在学C++的初学者，或者在老项目里想引入编译期计算但不知道从哪下手的开发者，都可以从这篇里找到能直接抄走的东西。

下面我会按自己的理解，把这个话题掰开揉碎讲。不止讲语法，更多讲标准演进、使用场景、常见坑，以及我在实际工程里总结出来的一些判断标准。

1. constexpr函数到底在解决什么问题：从宏到编译期求值

1.1 为什么C++需要“编译期函数”

先想一个场景：你要定义一个数组，大小是某个计算的结果。

cpp复制int arr[3 * 4];          // 没问题，字面量算术
int n = 3 * 4;           // 没问题，运行时初始化
int arr2[n];             // 标准C++不允许，n不是常量表达式

在C++11之前，如果你希望数组大小来自一个“函数计算”，基本没有太舒服的办法。宏倒是能算：

cpp复制#define SQUARE(x) ((x) * (x))
int arr[SQUARE(3)];

但宏是纯粹的文本替换，没有类型检查，写复杂了会非常痛苦。比如SQUARE(a++)这种代码，替换之后会变成(a++) * (a++)，行为未定义，谁踩谁知道。

模板元编程也能做编译期计算，比如用模板递归实现编译期阶乘：

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

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

这个能跑，但可读性和维护性都很差。你写的是模板特化、静态成员常量，不是普通函数，语法噪音太大。而且一旦逻辑复杂一点，模板报错能让人看一晚上。

constexpr函数的出现，本质上是把“编译期计算”这件本来分散在宏、模板、常量表达式三个地方的事，统一收拢到一个普通函数里。它最大的优势是：它还是一个函数，长得像函数、调用像函数、调试思路像函数，只是在特定条件下，编译器会在编译期就把结果算出来。

1.2 为什么不能只用inline函数或运行时函数

很多人会问，普通函数配合inline不行吗？不行。inline只是建议编译器把函数体展开，它不会让函数调用变成常量表达式。你在需要常量表达式的地方（模板参数、数组大小、static_assert、case标签），写一个inline函数调用，编译器照样报错，因为它本质还是一个运行时调用。

constexpr不一样。它给函数做了一层“双重身份”：

• 如果调用发生在需要编译期常量的上下文，编译器会尝试在编译期求值。
• 如果调用发生在普通运行时上下文，它也可以当作普通函数执行。

这个“一个函数，两种身份”的设计，是constexpr和宏、内联函数、模板元编程最大的区别。宏是纯编译期文本替换，但牺牲了类型和可读性；inline是纯运行时的优化提示，根本不参与常量表达式；模板元编程能做编译期计算，但语法成本极高；constexpr则把“编译期可计算”变成了函数本身携带的一种属性。

1.3 constexpr与模板元编程是互补而非替代

我见过不少新同学以为有了constexpr，模板元编程（TMP）就该被淘汰了。实际上，这两个东西的定位不同。constexpr适合做“计算”，TMP适合做“类型推导和分发”。比如你想根据类型判断该走哪个分支，或者把一个类型列表挨个处理一遍，这些元编程手段依然不可替代。而如果只是想算个数、生成个表、算个哈希，用constexpr函数写出来，比模板递归直观太多了。

我在项目里的习惯是：需要编译期计算数值、生成查找表，优先用constexpr函数；需要操作类型、做SFINAE约束、实现编译期反射那类机制，才去写模板元编程。两条腿走路，代码维护成本会低很多。

2. constexpr函数从C++11到C++23：一个特性是怎么一步步长全的

2.1 C++11里的初代constexpr：只允许一条return语句

C++11刚引入constexpr时，限制严格到近乎苛刻。函数体只能包含一条return语句，不允许定义局部变量、不允许if、不允许循环、不允许switch。想在函数里做点稍复杂的事，只能用嵌套条件运算符：

cpp复制constexpr int abs_value(int x) {
    return x < 0 ? -x : x;
}

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

你没看错，连if都不能写。这个设计在当时是有道理的：编译器要对函数做“常量表达式求值”，函数体越简单，求值器越容易实现。标准委员会选择了最保守的一版先落地，再逐步放开。

实际写起来你就会发现，C++11的constexpr函数基本就是“用三目运算符堆出来的数学公式”，复杂逻辑根本没法写。这也是为什么constexpr在早期没有大规模普及的原因之一。

2.2 C++14的翻身：局部变量、循环、if都可以了

C++14对constexpr函数是一次“解绑”。函数体里允许出现局部变量、if语句、switch、循环语句，甚至可以修改局部变量的值：

code复制