类内函数模板是否拖慢编译？两种实现方案对比咨询

1. 类内模板函数是否会拖慢编译速度？ #

会。原因如下：

• C++模板采用实例化编译机制，模板代码必须在每个使用它的翻译单元中可见才能生成具体实例。你的头文件被10000次引用，只要有翻译单元调用了Foo_util，编译器就需要对传入的Closure类型进行模板实例化，包括解析模板代码、生成对应的函数代码。
• 不同的Closure类型（比如不同lambda、函数对象）会触发不同的实例化，每个实例化都会重复消耗编译资源。如果代码库中Foo_util被大量用在不同的闭包场景下，编译时间会显著增加。
• 头文件中的模板代码会被每个引用的翻译单元重复处理，加上Foo类本身的定义，进一步放大了编译负担。

2. 移至工具文件的实现是否更优？ #

这个改动存在语义问题，且编译优化效果取决于具体实现方式，不能直接判定更优，分两部分说明：

语义差异（核心问题） #

原成员函数Foo_util是调用当前对象（this指针指向的实例）的Foo_fn1，而新的工具函数是传入Foo的拷贝，调用的是拷贝对象的Foo_fn1。如果Foo_fn1会修改Foo实例的状态，或者Foo的拷贝成本很高（比如包含大量成员、禁用拷贝），这个改动会导致行为错误或性能退化，这是首先需要解决的问题。如果要保持原语义，应该把参数改成Foo& foo或const Foo& foo（根据Foo_fn1是否为const）。

编译性能层面的可能性 #

如果修正语义后（比如用Foo&传参），将模板移至工具文件有机会优化编译速度，但需要配合显式实例化：

• 若工具文件的模板仅在头文件声明，实现放在.cpp中并对常用的Closure类型做显式实例化，那么只有.cpp文件会处理这些实例化逻辑，其他翻译单元只需链接已生成的实例，避免重复编译模板代码。
• 如果只是把模板代码从Foo的头文件移到另一个头文件，没有做显式实例化，编译负担和原来基本一致——因为每个使用的翻译单元还是要重复实例化模板。

总结 #

如果不修正传值的语义问题，这个实现是不可行的；修正后，通过显式实例化的方式将模板实现移至.cpp文件，才能有效降低编译时间，否则编译优化效果不明显。

内容的提问来源于stack exchange，提问作者Aman Deep Gautam