C++ 中的 constexpr 与 constexpr-if 的区别与应用

在现代 C++（C++17 及以后）中，constexpr 和 constexpr-if 是两个经常被提及的关键字，它们都与编译期计算有关，但在语义、使用场景和实现细节上存在显著差异。本文将系统梳理这两者的区别，并给出典型应用示例，帮助读者在实际编码中正确选择与使用。

1. `constexpr`：常量表达式

1.1 定义

constexpr 用于声明可以在编译期求值的常量。它既可以修饰变量、函数，也可以修饰构造函数、赋值运算符等。

constexpr int square(int x) { return x * x; }
constexpr int val = square(3);   // 3*3 在编译期求值

1.2 适用范围

变量：必须在定义时初始化，初始值是常量表达式。
函数：若函数体满足 constexpr 约束（如仅使用 constexpr 函数、基本类型等），调用可在编译期求值。
构造函数：用于创建编译期常量对象。
返回类型：若返回值为常量表达式类型，可在编译期返回。

1.3 主要约束

函数体内只能出现符合 constexpr 条件的表达式（C++20 之后放宽）。
不能包含非静态全局变量或外部资源。
对类成员的 constexpr 要求：所有非静态成员均须在构造时初始化。

2. `constexpr-if`：编译期条件分支

2.1 定义

if constexpr (cond) 在编译期判断 cond 的真值，如果为 false，则编译器会在编译阶段直接剔除对应的分支，相关代码不会参与编译。

template<typename T>
void print(const T& t) {
    if constexpr (std::is_integral_v <T>) {
        std::cout << "integral: " << t << '\n';
    } else {
        std::cout << "not integral: " << t << '\n';
    }
}

2.2 作用

SFINAE 的替代：避免使用模板特化或重载来实现类型条件。
消除无效代码：使得不满足条件的代码在编译期被剔除，避免编译错误。
提高可读性：与传统 if 分支区别明显，表达意图更清晰。

2.3 语法限制

条件表达式必须是常量表达式。
条件为 false 时，整个 if constexpr 块中的语句不被实例化，甚至不需要符合语法正确。

3. 关键区别

维度	`constexpr`	`constexpr-if`
作用	声明编译期常量	编译期条件分支
位置	变量、函数、类型	语句块
影响	仅限制声明语义	同时限制语义与编译流程
典型用例	`constexpr int n = 10;` 或 `constexpr std::array<int, 5> arr = {...};`	`if constexpr (std::is_same_v<T, int>) { ... }`

4. 实践案例

4.1 constexpr 计算阶乘

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

constexpr unsigned long long fact5 = factorial(5); // 120，在编译期
static_assert(fact5 == 120, "错误");

4.2 constexpr-if 处理不同容器

template<typename Container>
auto first_element(const Container& c) {
    if constexpr (std::is_same_v<Container, std::vector<typename Container::value_type>>) {
        return c.empty() ? std::optional<typename Container::value_type>{} : std::optional<typename Container::value_type>{c.front()};
    } else if constexpr (std::is_same_v<Container, std::list<typename Container::value_type>>) {
        return c.empty() ? std::optional<typename Container::value_type>{} : std::optional<typename Container::value_type>{c.front()};
    } else {
        static_assert(always_false <Container>::value, "Unsupported container");
    }
}

在上述例子中，if constexpr 根据容器类型在编译期选择实现路径，非支持类型会导致静态断言触发。

4.3 constexpr 构造函数实现编译期对象

struct Point {
    constexpr Point(int x, int y) : x(x), y(y) {}
    int x, y;
};

constexpr Point origin(0, 0);
static_assert(origin.x == 0 && origin.y == 0, "origin must be (0,0)");

5. 常见误区

把 constexpr 用作“只读”标记
constexpr 并不等价于 const。后者允许在运行时初始化，而前者要求编译期常量。
认为 constexpr-if 只能用于模板
虽然最常见的用途在模板中，但 if constexpr 也可在普通函数里使用，前提是条件是常量表达式。
忽略 constexpr 对性能的影响
过度使用 constexpr 可能导致编译时间显著增长，尤其在递归计算中。
错误使用 constexpr 对象的生命周期
constexpr 对象必须在编译期已完全构造，若在运行时赋值，会导致编译错误。

6. 结语

constexpr 与 constexpr-if 在 C++20 之后变得更加灵活，成为编译期优化的重要工具。通过合理运用两者，既能提升程序运行效率，又能保持代码可维护性。希望本文能帮助你在项目中更好地掌握这两种语义，写出更高效、更健壮的 C++ 代码。

1. constexpr：常量表达式