C++17 中的 constexpr 函数：编译期计算的强大工具

在 C++17 及以后，constexpr 函数已经从简单的常量表达式演变成真正可执行的函数。它们可以在编译期进行计算，也可以在运行时调用，取决于传入的参数是否在编译期已知。本文将深入探讨 constexpr 函数的语义、实现细节、常见用途，并给出实际代码示例，帮助你在项目中高效利用这一特性。

1. `constexpr` 的语义演变

版本	`constexpr` 关键字
C++03	只能用于变量，表达式必须是常量
C++11	可以用于函数，但函数体只能是单条语句，且必须是 `return`
C++14	允许多语句、循环、递归
C++17	同 C++14，新增对 `if constexpr`、`constexpr` 变量模板等
C++20	`consteval` 引入，强制编译期求值
C++23	对 `constexpr` 的异常处理做了改进，允许 `try-catch`

从 C++14 起，constexpr 函数可以包含本地变量、循环、递归调用等。编译器会在满足所有输入都是编译期常量时，尝试在编译阶段执行函数体；如果编译期无法求值，函数仍可在运行时正常执行。

2. 关键规则

所有参数 必须是 非类型模板参数 或 编译期常量，才能保证编译期求值。
函数体 必须能在编译期间不产生任何运行时依赖，例如：
- 不得使用运行时分配（new、malloc）。
- 不得调用非 constexpr 函数。
- 不得访问未初始化的全局/静态变量。
返回值 必须是 constexpr 可实例化的类型，例如内置类型、std::array、std::tuple 等（但不包括 std::vector 等需要动态分配的容器）。

3. 常见使用场景

3.1 递归求阶乘

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

在 constexpr 上下文中使用：

constexpr auto fac5 = factorial(5); // 120，在编译期求值

3.2 编译期生成字符串

C++17 允许 constexpr 函数返回 std::string_view：

constexpr std::string_view hello() { return "Hello, constexpr!"; }

3.3 类型安全的数组索引

利用 if constexpr 对索引进行检查：

template<std::size_t N>
constexpr std::array<int, N> init_array() {
    std::array<int, N> arr{};
    for (std::size_t i = 0; i < N; ++i) {
        arr[i] = static_cast <int>(i);
    }
    return arr;
}

3.4 编译期哈希表

实现一个基于 constexpr 的简单哈希表，用于存储编译期常量键值对。

constexpr std::size_t constexpr_hash(const char* str) {
    std::size_t h = 0;
    while (*str) {
        h = h * 31 + static_cast<std::size_t>(*str++);
    }
    return h;
}

4. `constexpr` 与 `consteval` 的区别

constexpr 允许编译期或运行期执行，取决于参数。
consteval 强制编译期执行，任何运行时调用都会导致错误。

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

调用 square(5) 必须在编译期完成，否则编译错误。

5. 性能考虑

虽然 constexpr 函数在编译期求值可减少运行时开销，但过度使用也可能导致编译时间膨胀，尤其是递归函数或大规模数组构造。建议：

仅对真正需要编译期结果的函数使用 constexpr。
对计算量大但可在运行时完成的逻辑，使用普通函数。

6. 实战案例：编译期计算数学常数

constexpr double pi = 3.141592653589793238462643383279502884L;

constexpr double power(double base, int exp) {
    return exp == 0 ? 1.0 :
           exp > 0 ? base * power(base, exp - 1) :
           1.0 / power(base, -exp);
}

constexpr double sin_pi_over_4 = power(pi, 0); // 直接在编译期计算 sin(pi/4)

7. 小结

constexpr 函数在 C++17 之后变得更加强大和灵活。掌握它的使用规则，可以让你在不牺牲性能的前提下，让编译器完成更多的工作，提升代码的安全性和可维护性。未来的标准（如 C++20/23）会继续完善这一特性，提供更丰富的工具，例如 consteval、constexpr 容器、异常处理等。保持对这些新特性的关注，能够让你的 C++ 代码保持在前沿。

祝你在 C++ 的编译期魔法中玩得愉快！

1. constexpr 的语义演变