Articles on ykiko's blog ·

C++ 究竟代码膨胀在哪里？

💡 原文中文，约6900字，阅读约需17分钟。

📝

内容提要

C++代码膨胀主要由内联函数和模板使用引起。内联函数在多个源文件中定义时，链接器会合并相同实例以避免膨胀。模板实例化，尤其是复杂函数的未内联版本，也可能导致膨胀。显式实例化可以减少编译时间，但可能增加二进制大小。真正的模板膨胀发生在相同代码未合并时，主流链接器通常不支持此特性。

🎯

🔎

内联函数在多个源文件中定义时，链接器会合并相同实例以避免膨胀。这意味着，虽然每个源文件中都有一份内联函数的代码，但最终生成的可执行文件中只保留一份。这种机制有效地控制了代码膨胀，确保了内联函数的使用不会导致不必要的二进制增大。

模板的使用常被认为是导致C++代码膨胀的主要原因。尤其是在未内联的复杂函数中，模板实例化会生成多份代码，增加编译时间和二进制大小。显式实例化可以减少编译时间，但可能导致更大的二进制文件，因此在使用模板时需谨慎考虑其影响。

尽管主流链接器能够合并相同的内联函数实例，但对于模板实例化的合并能力却有限。大多数链接器不支持合并相同代码的特性，这可能导致模板膨胀问题的出现。因此，开发者在设计模板时应考虑到这一点，以避免不必要的代码膨胀。

❓

C++代码膨胀主要由内联函数和模板的使用引起。

内联函数在多个源文件中定义时，链接器会合并相同实例以避免膨胀。

显式实例化是指直接声明特定类型的模板实例化，可以减少编译时间，但可能增加二进制大小。

模板实例化会在每个编译单元生成一份代码，未合并的相同代码会导致膨胀。

C++标准要求内联函数在不同编译单元的定义必须相同，以避免ODR违反。

可以通过显式实例化和优化编译选项来减少代码膨胀。

🏷️