现代 C++ 新特性 constexpr 详解：从 C++11 到 C++20 的演进

#include <iostream>
using namespace std;

constexpr int func1() { return 1; }
constexpr int func2(int x) { return x + 10; }
constexpr int func3(int n) { return n <= 1 ? 1 : n * func3(n - 1); }

int main() {
    constexpr int a = func1();
    constexpr int b = func2(10);
    constexpr int c = func3(5);
    cout << a << endl;
    cout << b << endl;
    cout << c << endl;
    return 0;
}

观察汇编语句可以发现，a、b、c 的结果在编译期就已经计算完成，cout 语句中直接进行了值替换。

此外，constexpr 还能修饰其他函数：

• 构造函数：类的所有成员变量必须是字面类型；构造函数必须在初始化列表中初始化所有成员变量，且必须用常量表达式初始化；函数体必须为空；析构函数不能做任何实际清理工作。
• 成员函数：自动成为 const 成员函数，参数列表后需加 const，函数内不能修改成员变量；不能是虚函数；其他要求同普通函数。
• 函数模板：如果实例化结果不符合 constexpr 普通函数的要求，constexpr 会自动忽略，该函数相当于普通函数。

可以看出，C++11 对 constexpr 的限制相当严格，但这些规定在后续标准中逐步放宽了。

二、constexpr 在 C++14 中的进化

C++14 大幅放宽了对 constexpr 函数的限制，使其语法和功能更接近普通函数：

• 允许声明和初始化局部变量
• 支持 if、for/while、switch 等控制流语句
• 允许多条 return 语句
• 返回类型可以是 void、自定义类型、STL 容器（如 std::array）等复合类型

实验时需确保编译器支持 C++14 标准。

#include <iostream>
using namespace std;

constexpr int func(int n) {
    if (n == 1 || n == 2) {
        return n;
    }
    int ret = 1; // 允许局部变量
    for (int i = 2; i <= n; i++) {
        ret *= i;
    }
    return ret; // 允许多条 return 语句
}

int main() {
    constexpr int a = func(5);
    cout << a << endl;
    return 0;
}

三、constexpr 在 C++17 中的进化

C++17 进一步扩展了 constexpr 的能力，模糊了编译时和运行时的界限。

其中，constexpr 可以修饰 lambda 表达式，要求捕获必须是常量表达式，且函数体满足 constexpr 函数的要求。

#include <iostream>
using namespace std;

int main() {
    constexpr int a = 10;
    constexpr auto func = [a](int x) constexpr {
        return x * a;
    };
    constexpr int b = func(5);
    cout << b << endl;
    return 0;
}

四、constexpr 在 C++20 中的进化

C++20 是对 constexpr 特性的重大更新，使其成为现代 C++ 元编程和性能优化的核心工具。主要更新包括：

• 动态内存分配：支持在 constexpr 函数中使用 new/delete，但分配的内存必须在编译期释放。这使得 STL 容器在编译期的实现成为可能，但目前还无法在 constexpr 函数内真正使用 vector、string 等容器的内存操作。
• 异常处理：支持 try-catch 语句，但不能真正抛出异常。主要用于模板约束和编译期错误检测，异常必须在编译期捕获和处理。
• 可变成员变量：支持 constexpr 可变（mutable）类成员变量。原 constexpr 成员函数中不能修改成员变量，C++20 后加上 mutable 关键字即可在 constexpr 成员函数中修改。
• 虚函数：支持将虚函数定义为 constexpr 函数，实现了编译期的多态调用。

C++23 是目前最新的标准，但编译器支持仍在路上。让我们期待 C++ 未来的发展吧！