C++ 中的 `constexpr` 函数：让计算"提前"发生

编译器不只是翻译代码的工具------在现代 C++ 里，它还能帮你在编译阶段就把结果算好，省去运行时的开销。constexpr 函数，正是打开这扇门的钥匙。

---

一、从一个问题说起

想象你要计算一个矩形的面积，长和宽在编写代码时就已经确定了（比如都是 10）。按照直觉，你可能会这样写：

int calculateArea(int l, int w) {
    return l * w;
}

int main() {
    constexpr int length = 10;
    constexpr int width  = 10;
    constexpr int area = calculateArea(length, width); // ❌ 编译报错！
}

编译器会直接报错：non-constexpr function 'calculateArea' cannot be used in a constant expression。

原因很简单：constexpr 变量要求它的初始值在编译期就完全确定，但普通函数的返回值只有在运行时才能知道，编译器没法提前信任它。

解决方案只需一个关键字：

constexpr int calculateArea(int l, int w) {
    return l * w;
}

加上 constexpr 后，编译器就知道这个函数"可以在编译期求值"，上面的代码立刻通过。

---

二、constexpr 函数的核心机制

constexpr 函数最迷人的地方在于它的双重身份------它既可以在编译期求值，也可以像普通函数一样在运行时调用，完全取决于调用时的上下文。

constexpr int square(int x) {
    return x * x;
}

int main() {
    constexpr int a = square(5);  // ✅ 编译期求值，结果直接写入二进制
    int n = 7;
    int b = square(n);            // ✅ 运行时求值，n 是运行时变量
}

这就省去了"写两个版本"的麻烦------一个函数，两种用途，编译器自己判断。

编译期求值的条件

要让 constexpr 函数真正在编译期运行，需要同时满足：

• 传入的参数必须是编译期已知的常量表达式
• 函数体内所有操作都必须是编译期可求值的

如果传入的是运行时变量，函数会自动退化为普通函数，不会报错，也不会编译期求值。

---

三、从汇编看"魔法"

最直观的证据藏在汇编里。对于下面这段代码：

constexpr int calculateArea(int l, int w) {
    return l * w;
}

int main() {
    constexpr int area = calculateArea(10, 10);
}

编译后的汇编直接是：

mov DWORD PTR [rbp-12], 100   ; 结果 100 已经被硬编码进去了！

函数调用彻底消失 了，编译器把 10 * 10 = 100 这个答案直接烧进了二进制文件。这就是编译期计算的威力：零运行时开销。

---

四、演进历史与版本差异

constexpr 并非一蹴而就，它随着 C++ 标准不断进化：

C++11 时代的 constexpr 函数限制极多，函数体里只能有一条 return 语句，连 if 都不能用，只能靠三元运算符凑合。C++14 之后才真正"解放"，让 constexpr 函数写起来和普通函数几乎一样自然。

---

五、使用规则速查

以下是写 constexpr 函数时必须遵守的规则（以 C++14 为基准）：

规则	说明
参数和返回值类型	必须是字面类型（整数、浮点、指针、自定义字面类等）
支持递归	完全可以递归调用自身
不能有 goto	禁止使用 goto 语句
C++20 前不能是虚函数	C++20 起解除此限制
隐式 inline	constexpr 函数自动具备 inline 属性

---

六、实战示例：从简单到进阶

示例一：编译期阶乘（递归）

#include <iostream>

// 递归计算阶乘，C++11 风格
constexpr long long factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}

int main() {
    // 编译期直接算好，不占运行时时间
    constexpr long long result = factorial(10);
    std::cout << "10! = " << result << std::endl; // 输出：3628800
}

factorial(10) 在编译时就已经变成了 3628800，运行时什么都不用算。

---

示例二：C++14 风格------更自由的写法

C++14 之后，函数体里可以有局部变量和循环，写法更直观：

#include <iostream>

// C++14：可以用循环，不必强行递归
constexpr int power(int base, int exp) {
    int result = 1;
    for (int i = 0; i < exp; ++i) {
        result *= base;
    }
    return result;
}

int main() {
    constexpr int val = power(2, 10); // 编译期算出 1024
    std::cout << "2^10 = " << val << std::endl;

    int n = 3; // 运行时变量
    int runtime_val = power(2, n); // 退化为运行时调用，完全合法
    std::cout << "2^3 = " << runtime_val << std::endl;
}

同一个函数，两种调用方式，编译器聪明地处理了一切。

---

示例三：用于模板参数（这才是真正的杀手锏）

constexpr 函数的返回值可以直接用作模板参数，这是普通函数做不到的：

#include <array>
#include <iostream>

constexpr int getSize() {
    return 256;
}

int main() {
    // 数组大小必须是编译期常量，constexpr 函数完美胜任
    std::array<int, getSize()> buffer;
    std::cout << "buffer size: " << buffer.size() << std::endl;
}

这里 getSize() 的结果 256 在编译期就确定了，所以可以作为 std::array 的模板参数。

---

七、const vs constexpr：别搞混了

这两个关键字经常让人迷惑，一张表说清楚：

特性	const	constexpr
初始化时机	可以推迟到运行时	必须在编译期完成
能否用于函数	❌ 不能修饰函数本身	✅ 可以修饰函数
值是否一定是常量表达式	❌ 不一定	✅ 一定是
能否用作模板参数	❌ 不一定能	✅ 可以

简单记：const 是"我不会改变"，constexpr 是"我在编译期就确定了"。

---

八、小结

constexpr 函数的本质，是把计算的时间轴往前拨 ------从程序运行时，拨到编译时。这带来三个直接好处：更快的运行速度 （结果已经算好了）、更小的二进制体积 （省去了函数调用开销）、更强的类型安全（编译期错误比运行时错误好捉多了）。

从 C++11 的严苛限制，到 C++20 几乎可以在编译期运行整个标准库，constexpr 走过了漫长的演进之路。掌握它，你就拿到了现代 C++ 性能优化的一把利器。