constexpr 与 constexpr-if：编译期计算与分支优化

在 C++20 及以后，constexpr 和 constexpr-if 让我们可以在编译期做更多事情，提升性能并减少运行时开销。本文将从概念、语法、典型用法以及常见陷阱展开讨论，帮助你在实际项目中正确使用这两者。

1. `constexpr` 综述

1.1 定义

constexpr 修饰符表示该函数、变量或对象在编译期即可求值。对函数而言，只要所有参数为 constexpr 并且函数体满足编译期求值的规则，就可以在编译期得到返回值。

1.2 关键特性

递归：从 C++14 起，constexpr 函数可以递归，只要满足递归深度限制（常见实现 512 次）。
异常：C++20 允许 constexpr 函数抛异常，但在编译期不能抛。
类型：支持 constexpr 对象的类型可以是任意类型，只要满足 constexpr 对象的构造与初始化规则。

1.3 示例

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

constexpr int val = factorial(5); // val 在编译期求值为 120

2. `constexpr-if` 详解

2.1 语法

if constexpr (condition) {
    // 条件为 true 的分支
} else {
    // 条件为 false 的分支
}

condition 必须在编译期可评估为布尔常量。只有满足条件的分支会被实例化，其余分支在编译阶段会被裁剪掉。

2.2 用法场景

类型特化：在模板中根据类型属性选择不同实现。
编译期错误避免：对不适合的类型调用不合法函数时，使用 if constexpr 防止编译错误。
性能优化：去掉不必要的运行时检查。

2.3 示例 – 类型特化

#include <iostream>
#include <vector>
#include <array>

template<typename T>
void print(const T& container) {
    if constexpr (requires { container.begin(); container.end(); }) {
        for (auto it = container.begin(); it != container.end(); ++it)
            std::cout << *it << ' ';
    } else {
        std::cout << container << ' ';
    }
}

int main() {
    std::vector <int> v{1,2,3};
    std::array<int,3> a{{4,5,6}};
    int x = 42;

    print(v); // 输出 1 2 3 
    print(a); // 输出 4 5 6
    print(x); // 输出 42
}

这里 requires 关键字在 C++20 允许在 if constexpr 条件中直接检查表达式是否可成立。

2.4 示例 – 编译期错误避免

template<typename T>
void safe_divide(const T& a, const T& b) {
    if constexpr (std::is_integral_v <T>) {
        static_assert(b != 0, "除数不能为零");
        std::cout << a / b << '\n';
    } else { // 浮点数
        std::cout << a / b << '\n';
    }
}

当 T 为整数且 b 为 0 时，编译器会报静态断言错误，而对浮点数不做检查。

3. 编译期 vs 运行期

特性	编译期	运行期
代码生成	编译器一次生成，后续调用直接使用	每次调用都要执行运行时逻辑
性能	运行时无开销	可能存在分支跳转、错误检查等
可维护性	代码更抽象，逻辑更集中	代码更长，重复逻辑多

3.1 何时使用 `constexpr`？

需要在数组尺寸、模板参数、常量表达式中使用的值。
需要在 enum class、switch 的 case 标识符中使用。
需要预先计算的数值表或数学函数。

3.2 何时使用 `constexpr-if`？

在同一个模板中为不同类型实现不同逻辑。
想避免不兼容类型的编译错误。
想在编译期剔除不必要的代码路径。

4. 常见陷阱与调试技巧

题目	解释	解决方案
编译器报 “constexpr function not constexpr”	递归深度超过实现限制，或返回类型不满足 `constexpr` 要求。	检查递归深度，简化返回类型或使用迭代实现。
`if constexpr` 条件错误导致分支未被裁剪	条件不是常量表达式。	确保条件仅涉及 `constexpr` 成员、模板参数或 `requires` 表达式。
对非 `constexpr` 类型使用 `constexpr` 函数	编译器无法在编译期求值。	保留运行时路径或为该类型提供非 `constexpr` 版本。
性能不明显	编译器已优化，编译期计算仍被转为运行时。	使用 `static_assert` 检查 `constexpr` 是否真正被评估。
递归 `constexpr` 函数导致栈溢出	递归深度过大。	改用迭代或 `constexpr` `for` 循环（C++23）。

5. 进阶话题

5.1 `constexpr` 与 `std::is_constant_evaluated()`

C++20 引入 std::is_constant_evaluated()，允许在同一函数中区分编译期和运行期逻辑。例如：

constexpr int safe_sqrt(int x) {
    if (std::is_constant_evaluated()) {
        // 编译期逻辑：假设 x 非负
        return static_cast <int>(std::sqrt(x));
    } else {
        // 运行期逻辑：检查边界
        if (x < 0) throw std::domain_error("负数无平方根");
        return static_cast <int>(std::sqrt(x));
    }
}

5.2 `constexpr` 模块化

在 C++20，模块化可以与 constexpr 结合，将大量 constexpr 代码放入模块，减少头文件膨胀。

6. 小结

constexpr 让我们在编译期执行代码，产生真正的常量。
constexpr-if 提供了编译期分支，让模板代码更安全、灵活。
正确使用这两者可以显著提升程序性能并减少运行时错误。

通过本文的概念梳理、代码示例与常见陷阱，期望你能在项目中自如地运用 constexpr 与 constexpr-if，构建更高效、更安全的 C++ 代码。

1. constexpr 综述