为什么C++编译期执行比运行时执行速度快很多？

你观察到的差异本质是GCC对constexpr编译期计算的默认限制导致的，具体可以拆分几个层面解释： #

1. fib(45) + constexpr版本运行0ms的原因 #

• 当你用constexpr修饰变量x时，C++标准要求编译器必须在编译期计算出x的值，除非表达式完全无法在编译期执行。
• 你使用的朴素递归斐波那契实现的总操作数约为2*fib(n)-1，fib(45)对应的总操作数约为22亿次，刚好落在GCC默认的constexpr操作数上限范围内，因此编译器直接在编译阶段算出结果硬编码到二进制文件中，运行时直接读取常量，自然耗时为0。
• 你感知不到编译时间上涨，是因为constexpr计算耗时在整个编译流程中占比极低，被头文件解析、代码优化等其他环节的耗时覆盖了。

2. fib(60) + constexpr版本运行耗时暴涨的原因 #

• fib(60)对应的总操作数约为3万亿次，远超GCC默认的constexpr操作数上限（默认值约为1e9次），此时编译器会直接放弃编译期计算，将fib(60)的计算逻辑降到运行时执行。
• 你的斐波那契实现是无优化的朴素递归，时间复杂度为O(2^n)，运行时计算fib(60)自然需要近30秒的时间。
• 编译时间没有明显上涨的原因是：编译器在判定constexpr计算量超出上限后会立刻停止编译期求值流程，不会真的执行大量计算占用编译时间。

常见误解澄清 #

你之前得出的“编译期计算fib(45)速度远快于运行时”结论并不准确：编译期计算本质是编译器在编译阶段用解释器执行了这段逻辑，执行效率远低于运行时执行优化后的本机二进制，只是因为计算结果提前固化到了程序中，运行时不需要重复计算才会出现0ms的结果。如果单独统计编译阶段计算fib(45)的耗时，会高于运行时计算的2.6秒。 #

补充验证方法 #

你可以给GCC添加编译参数-fconstexpr-ops-limit=4000000000000（将constexpr操作数上限提升到4万亿）重新编译fib(60)的版本，此时会观察到编译时间大幅上涨，但程序运行耗时会回到0ms。 #

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