C++17 中 constexpr 与 consteval 的区别与实践

作者

在 C++17 中，constexpr 函数已被大幅扩展，但真正的“编译期常量”还有更严格的限定：consteval。下面我们来详细解析两者的区别、适用场景以及如何在项目中正确使用。

1. constexpr 的演变

C++11 中的 constexpr 主要用于声明在编译期求值的变量和函数，但对函数体的限制比较多：只能返回字面量、只能包含单条 return 语句、不能有副作用等。

C++14 放宽了这些限制：

  • 允许循环、条件、递归（有限深度）
  • 可以包含 try/catch
  • 可以有非平凡构造函数的对象

C++20 进一步提升了 constexpr 的功能，支持更复杂的标准库容器和算法，但仍然允许在运行时调用 constexpr 函数，只要传递的参数是常量表达式。

2. consteval 的引入

consteval（在 C++20 标准中出现）是对 constexpr 的一个“硬性”增强。它声明的函数 必须 在编译期求值，编译器若无法在编译期完成求值就会报错。

核心区别： 特性 constexpr consteval
是否强制编译期求值 否（可在运行时调用） 是（必须在编译期）
可见性 可在任何上下文使用 仅能在编译期调用
报错方式 编译期失败 -> 运行时错误 编译期失败，直接报错
适用场景 需要兼容运行时的可选求值 只想在编译期完成的不可运行时调用

3. 典型使用示例

3.1 constexpr 兼容性函数

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

int main() {
    constexpr int fact5 = factorial(5);   // 编译期求值
    int arr[fact5];                       // 编译期常量，用作数组大小
    int runtime_n;                       // 运行时输入
    std::cin >> runtime_n;
    int runtime_fact = factorial(runtime_n); // 运行时求值
}

3.2 consteval 强制编译期

consteval int power2(int n) {
    int res = 1;
    for (int i = 0; i < n; ++i) res *= 2;
    return res;
}

int main() {
    constexpr int val = power2(10); // OK
    // int runtime = power2(std::cin.get()); // 编译错误：不能在运行时调用
}

4. 设计模式中的应用

4.1 类型擦除的编译期映射

在实现“注册系统”时，我们常用字符串映射到工厂函数。若所有工厂函数都是 consteval，可以在编译期构建一个 constexpr std::array，避免运行时哈希表。

struct FactoryMapEntry {
    const char* name;
    consteval void* creator() const;
};

constexpr auto build_factory_map() {
    std::array<FactoryMapEntry, 3> arr = {{
        {"A", [](){ return new A(); }},
        {"B", [](){ return new B(); }},
        {"C", [](){ return new C(); }}
    }};
    return arr;
}

4.2 编译期模板元编程简化

使用 consteval 可以让模板元编程更直观，减少模板递归深度。 

consteval int sum(int a, int b) {
    return a + b;
}

int main() {
    constexpr int total = sum(3, 4); // 编译期求值
}

5. 性能与安全性考量

  • 性能：constexpr 与 consteval 只在编译期消耗时间，运行时不会有额外开销。
  • 错误定位：consteval 能在编译阶段就捕获不合规的使用方式，避免隐藏的运行时错误。
  • 可移植性：由于 consteval 在 C++20 才正式引入，若项目需要兼容 C++17，必须使用 constexpr 并自行限制调用方式（如通过 static_assert 或 if constexpr 判断）。

6. 小结

  • constexpr：灵活、兼容运行时与编译期，适用于需要既能在编译期求值又可在运行时调用的场景。
  • consteval：严格强制编译期求值，适合必须在编译期间完成的计算，如类型系统、注册表构建、编译期安全检查等。

通过合理选择两者，并在合适的位置使用 static_assert 或 if constexpr，可以让 C++ 程序在保持高性能的同时，增强可维护性与安全性。

发表评论