为何C++模板计算速度如此之快？附斐波那契示例代码分析

这两个问题的核心都在于编译期计算 vs 运行时计算的本质差异，咱们一步步拆解：

一、性能差异：编译期预计算 vs 运行时重复递归 #

先看两个版本的本质区别：

• 模板版本：这是典型的模板元编程，所有计算都在编译阶段完成。当你写Fib<46>::v时，编译器会递归实例化模板：

  • 为了得到Fib<46>::v，它需要先实例化Fib<45>和Fib<44>；
  • 实例化Fib<45>又需要Fib<44>和Fib<43>……直到触碰到特化的Fib<0>和Fib<1>。
    关键是，编译器会缓存已经实例化的模板——比如Fib<44>只会被实例化一次，不会重复计算。整个过程的时间复杂度是O(n)，而且编译期的计算是由编译器高效完成的，最终Fib<46>::v会被直接替换成一个硬编码的常量（比如1836311903），运行时只是输出这个常量，自然瞬间完成。

• 运行时递归版本：fib(46)是在程序运行时才开始计算，而且是无缓存的递归——计算fib(46)需要fib(45)+fib(44)，计算fib(45)又需要fib(44)+fib(43)，以此类推，大量的子问题（比如fib(2)）会被重复计算数百万次，时间复杂度是O(2^n)，这也是为什么哪怕是高性能电脑也要等几秒的原因。

二、可执行文件大小相近的原因 #

你可能会觉得模板实例化了47个结构体（从Fib<0>到Fib<46>），会让可执行文件变大，但实际上：

• 模板元编程生成的结构体，在编译后会被编译器深度优化。这些结构体里只有一个枚举常量v，没有其他数据或代码，编译器会把这些常量合并到程序的常量区，不会留下冗余的模板结构信息。
• 运行时版本的fib函数本身就是一个很小的递归函数，代码量极少。
  两者最终的可执行文件，核心都是“输出一个常量”（模板版本）或者“包含一个小递归函数”（运行时版本），所以大小差异微乎其微。

简单总结：模板版本是让编译器提前帮你算好结果，运行时直接用；运行时版本是程序跑起来才从头算，还做了大量重复劳动。而编译器的优化又把模板实例化的冗余信息都干掉了，所以文件大小差不多。

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