C++17 中的 constexpr 计算：从理论到实践

作者

constexpr 在 C++17 中得到了显著扩展，使得在编译期进行更复杂的计算成为可能。本文将从语言标准的变更讲起，深入探讨 constexpr 函数如何在编译期执行，演示几个实用场景，并提供一些常见陷阱的解决方案。

  1. constexpr 函数的新语义

    • 允许使用更复杂的控制流（if、switch、循环）
    • 支持对类成员的访问和递归调用
    • 现在可以在非 constexpr 环境下调用，只要传入非常量参数会在运行时执行

  2. 编译期求值的基本规则

    • 编译器在需要常量表达式的上下文中尝试求值
    • 若求值失败，编译器会退回到运行时（若不是 constexpr 语境）
    • constexpr 关键字对类型、返回值和函数体无实质限制，只要满足编译期求值的条件即可

  3. 典型案例
    3.1 计算阶乘 

    constexpr unsigned long long factorial(unsigned int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}
static_assert(factorial(20) == 2432902008176640000ULL, "阶乘错误");

    3.2 编译期字符串拼接 

    constexpr std::string_view operator""_sv(const char* s, std::size_t n) { return {s, n}; }
constexpr auto hello = "Hello, "sv + "world!"sv;
static_assert(hello == "Hello, world!"sv);

    3.3 生成查找表 

    constexpr std::array<int, 256> make_lut() {
    std::array<int, 256> arr{};
    for (int i = 0; i < 256; ++i) arr[i] = i * i;
    return arr;
}
constexpr auto square_lut = make_lut();
    1. 性能收益
    • 通过 constexpr 将运行时开销转移到编译期，尤其适用于大表、常量表达式、元编程。
    • 对于频繁调用的算法（如解码表）可以大幅提升效率。
    • 需要注意编译时间可能显著增长，尤其在大型项目中使用大量 constexpr 计算时。

  4. 常见陷阱

    • 递归深度：constexpr 递归深度受编译器限制（常见 512），需要设计分治或迭代替代。
    • 异常：constexpr 函数在 C++17 仍不支持异常，若在 constexpr 函数中抛异常会导致编译错误。
    • 动态内存：虽然可以在 C++17 constexpr 中使用 new（但会在运行时执行），但在编译期不允许。
    • 标准库：部分 ` ` 函数在 C++17 不是 `constexpr`，若需在 constexpr 中使用，需自己实现或等待 C++20。

  5. 未来展望
    C++20 进一步放宽了 constexpr 的限制（如 try-catch、std::optional 等），使得编译期计算的能力更强。未来的编译器将进一步优化 constexpr 的求值策略，减少编译时间开销。

结语
通过合理使用 constexpr，我们可以让 C++ 程序在编译期完成更多计算，提升运行时性能与可维护性。掌握其语义、使用技巧与陷阱是每个现代 C++ 开发者必备的技能。

发表评论