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

可以看出，C++11 的限制相当严格，但后续标准逐步放宽了这些约束。

二、C++14 中的进化

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

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

示例代码展示了在 C++14 下实现斐波那契数列的编译期计算：

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;
}

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

确保编译器开启 C++14 标准支持即可生效。

三、C++17 中的进化

C++17 进一步扩展了 constexpr 能力，模糊了编译时与运行时的界限。主要变化包括支持 constexpr Lambda 表达式：

• Lambda 捕获列表必须是常量表达式。
• 函数体需满足 constexpr 函数要求。

示例：

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

这极大地增强了编译期元编程的灵活性。

四、C++20 中的进化

C++20 对 constexpr 进行了革命性更新，使其成为现代 C++ 元编程和性能优化的核心工具：

• 动态内存分配：支持在 constexpr 函数中使用 new/delete，但分配的内存必须在编译期内释放。这使得 STL 容器在编译期的实现成为可能，尽管目前仍无法完全在 constexpr 内使用 vector、string 等涉及复杂内存管理的操作。
• 异常处理：支持 try-catch 语句，主要用于模板约束和编译期错误检测，异常必须在编译期捕获，不能传播到运行期。
• 可变成员变量：允许在 constexpr 成员函数中修改标记为 mutable 的成员变量。
• 虚函数：开始支持将虚函数定义为 constexpr，实现了编译期的多态调用。

虽然 C++23 已发布，但受限于标准复杂性及厂商实现策略，编译器支持仍在推进中。随着标准的演进，constexpr 的能力边界还将继续拓展。