3.7、constexpr（编译时常量表达式）

• • 传统const只表示变量不可修改，但不保证编译期求值。
• • constexpr不仅是常量，还保证编译期能求值（前提是初始值或函数体满足条件）。

举个例子：

const int a = 5;        // 只读常量，可能运行时初始化
constexpr int b = 5;    // 编译期常量，编译时就确定值

constexpr变量隐含const，但更严格，必须用编译期常量初始化。

传统写法 vs constexpr写法对比

传统写法（运行时求值）

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

int main() {
    const int val = 5;
    int result = square(val);  // 运行时调用函数计算
    return 0;
}

这里square是普通函数，调用时才计算。

constexpr写法（编译时求值）

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

int main() {
    constexpr int val = 5;
    constexpr int result = square(val);  // 编译时计算，result直接是25
    return 0;
}

如果参数是编译期常量，square函数会在编译时求值，避免运行时开销。

constexpr函数的限制和规则

• • 函数体必须非常简单，通常只允许单个return语句或有限的语句。
• • 不能有复杂的控制流（C++11中限制较多，C++14后放宽）。
• • 参数和返回类型必须是字面类型（literal type），比如整型、浮点型、指针、constexpr构造的类等。
• • 函数可以既用于编译期求值，也可以运行时调用，灵活性高。

设计哲学：为什么要有constexpr？

• • 性能提升：让编译器能提前计算结果，减少运行时计算开销。
• • 类型安全：编译期求值能捕获更多错误，比如非法的常量表达式。
• • 表达力增强：支持更复杂的编译期计算，推动泛型编程和元编程发展。
• • 统一常量定义：替代传统的宏定义和enum常量，更安全且语义清晰。

最佳使用场景

• • 定义数组大小、模板参数等需要编译期常量的场合。
• • 实现编译期计算的数学函数，如阶乘、幂运算等。
• • 编写轻量级的字面类型类及其成员函数，支持编译期对象构造。
• • 静态断言和编译期条件判断，提高代码健壮性。

优缺点总结

常见误用及后果

• • 函数体过于复杂，不符合constexpr要求：编译失败或退化为普通函数，失去编译期求值优势。
• • 使用非字面类型作为constexpr变量或函数参数：违反规则导致编译错误。
• • 误用constexpr变量初始化非编译期常量表达式：编译失败，或行为不符合预期。
• • 混淆const和constexpr语义：认为const变量一定是编译期常量，导致错误设计。

代码示例：阶乘函数的编译期计算

#include <iostream>

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

int main() {
    constexpr int val = 5;
    constexpr int result = factorial(val);  // 编译期计算120

    int runtime_val = 6;
    int runtime_result = factorial(runtime_val);  // 运行时计算720

    std::cout << "Compile-time factorial(5): " << result << std::endl;
    std::cout << "Run-time factorial(6): " << runtime_result << std::endl;

    return 0;
}

这里factorial(5)在编译期计算，factorial(6)在运行时计算，体现constexpr函数的灵活性。

总结

constexpr不仅是性能优化的工具，更是C++语言表达力的飞跃。它将“代码即数据”的理念带入编译期，开启了编译期计算和元编程的新时代。真正理解constexpr，意味着你能写出既高效又优雅的代码，充分利用编译器的能力，减少运行时负担。

我认为，constexpr的最大价值在于让程序员能够在编译期“做更多事”，把复杂计算提前完成，从而让运行时代码更纯粹、轻量。这不仅提升性能，更让代码的意图更明确，错误更早发现，是现代C++不可或缺的核心特性。
本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
（加入我的知识星球，免费获取账号，解锁所有文章。）