在 C++11 以及 C++14 期间，constexpr 只允许极其简单的函数——如返回常量表达式或执行非常有限的计算。C++17 对 constexpr 进行了重大提升，使其能够在编译期执行更为复杂的算法，例如递归、循环、以及更复杂的控制流。本文将通过一个实例来展示如何利用 C++17 的 constexpr 计算斐波那契数列，进而在编译期生成常量数组，提升运行时性能并降低错误概率。
1. 传统做法与其局限
传统上，如果想在编译期得到斐波那契数列的前 N 项，往往需要写一个模板递归：
template<std::size_t N>
struct Fib {
static constexpr std::size_t value = Fib<N-1>::value + Fib<N-2>::value;
};
template<>
struct Fib <0> { static constexpr std::size_t value = 0; };
template<>
struct Fib <1> { static constexpr std::size_t value = 1; };然后在编译时使用 `Fib
::value`。虽然可以得到单个值，但若要得到整个数组，需要再手动包装或使用宏，代码显得繁琐且可读性差。 ## 2. C++17 `constexpr` 的新特性 C++17 对 `constexpr` 的支持包括： – **`constexpr` 函数可以包含循环**：可以使用 `for` 或 `while`。 – **`constexpr` 函数可以包含 `if-else` 和三元运算符**：控制流更灵活。 – **`constexpr` 函数可以返回非字面量类型**：如 `std::array`。 正因为这些特性，我们可以直接在编译期构造一个完整的斐波那契数组。 ## 3. 在编译期生成斐波那契数组 下面给出一个完整可编译的示例，演示如何在编译期生成斐波那契序列，并在运行时打印： “`cpp #include #include #include // 计算斐波那契数列的 constexpr 函数 constexpr std::array generate_fib() { std::array arr{}; arr[0] = 0; arr[1] = 1; for (std::size_t i = 2; i `，其余代码保持不变。 – 与模板递归相比，代码更直观、易于理解。 ## 4. 性能对比 – **编译期生成**：生成过程在编译阶段完成，运行时不产生任何计算负担。 – **运行时计算**：若在 `main` 中使用普通函数在运行时计算斐波那契数列，CPU 需要进行多次加法运算。 – **模板递归**：编译时生成单个值，但若需要数组则仍需手动包装，且递归深度大时会导致编译时间增长。 通过 `constexpr` 生成的编译期常量，在大多数场景下能显著提升启动性能，尤其是在需要大量常量表或配置表的嵌入式系统中更为重要。 ## 5. 进阶使用：编译期排序 除了数值序列，`constexpr` 也可用于实现编译期排序。例如，使用 `constexpr` 版本的 `std::sort` 可以在编译期对数组进行升序排列，减少运行时开销。示例代码： “`cpp constexpr void bubble_sort(std::array& arr) { for (std::size_t i = 0; i arr[j+1]) { int tmp = arr[j]; arr[j] = arr[j+1]; arr[j+1] = tmp; } } } } constexpr std::array sorted = []{ std::array tmp = {5, 3, 4, 1, 2}; bubble_sort(tmp); return tmp; }(); “` 该方法在编译期完成排序，运行时可直接使用已排好序的数组。 ## 6. 结语 C++17 的 `constexpr` 让编译期计算变得强大而易用。通过在编译期生成斐波那契数组，我们实现了既简洁又高效的代码。未来的标准（如 C++20、C++23）将进一步扩展 `constexpr` 的功能，支持更复杂的数据结构与算法，进一步缩小编译期与运行期之间的差距。对 C++ 开发者而言，学习并善用 `constexpr` 是提升代码质量与性能的重要手段。