C++ constexpr编译速度过快及g++版本差异技术问询

#include <iostream>
using namespace std;
constexpr int fib_c(int n)
{
    if (n <= 1) return n;
    return fib_c(n-1) + fib_c(n-2);
}

int main()
{
    constexpr int result_c = fib_c(45);
    cout << result_c << "\n";
    return 0;
}

使用g++ 5.1.0版本的-O3选项编译上述代码耗时1.2秒，程序运行耗时0秒；但当result_c不声明为constexpr时，程序运行耗时7.5秒。以下是对应问题的解答：

一、编译期计算为何远快于运行期？编译器为何不生成同等效率的代码？ #

• 编译期求值的优化策略差异
  编译器处理constexpr函数时，会对递归计算做记忆化优化——缓存已计算过的fib_c(k)结果，避免重复计算。比如计算fib(45)时，fib(43)、fib(42)等中间值只会被计算一次，时间复杂度大幅降低。而运行期未加constexpr的递归代码，哪怕开启-O3，g++ 5.1.0的优化器也未针对这种递归模式做自动迭代转换或记忆化，仍以O(2ⁿ)的时间复杂度执行，导致大量重复计算，运行速度慢。
• 执行环境的本质区别
  编译期求值是在宿主CPU上直接运行编译器内部优化后的计算逻辑，无需处理运行时的栈调用开销、异常边界等额外成本；而运行期程序是编译后的机器码，递归调用的栈操作、函数调用开销都会带来性能损耗。
• 编译器的优化边界
  将递归斐波那契自动转换为迭代或记忆化实现属于极激进的优化，需要编译器精准识别特定递归模式。早期g++版本的优化器未实现这种模式匹配，且对于通用递归函数，编译器无法安全判断是否可做此类转换，因此不会默认开启该优化。若要提升运行期效率，需手动改写为迭代版本或添加记忆化逻辑。

二、g++ 5.1.0到10.2.1之间constexpr求值变慢的原因 #

g++在版本迭代中，对constexpr实现的两处关键调整导致了求值速度下降：

• 标准合规性收紧
  从C11到C17，constexpr的规则逐步严格，要求求值必须遵循“核心常量表达式”的标准约束。g++ 10.x版本彻底移除了早期版本中针对constexpr递归的非标准记忆化优化，让递归斐波那契的求值回到O(2ⁿ)的时间复杂度，计算fib(45)会产生海量运算量，即便调高-fconstexpr-ops-limit也无法在可接受时间内完成。
• 求值引擎重构
  为支持C17及以后更复杂的constexpr特性（如constexpr容器、循环），g重构了constexpr求值引擎。新引擎在通用性和扩展性上更强，但牺牲了针对简单递归场景的特殊优化，不再像早期版本那样为这类递归做专门加速。

内容的提问来源于stack exchange，提问作者user23499217