visual-c++ - MSVC 编译器和 COMDAT 折叠的链接器选项之间的关系

Question

这个问题在 SO 上有一些答案，但我的略有不同。在标记为重复之前，请试一试。

MSVC 一直提供/Gy 编译器选项，以允许将相同的函数折叠到 COMDAT 部分中。同时，链接器还提供了/OPT:ICF 选项。我的理解是这两个选项必须结合使用吗？也就是说，前者将函数封装到 COMDAT 中，后者消除了冗余的 COMDAT。那是对的吗？

如果是，那么我们要么同时使用要么都关闭？

Answer 1

来自与我离线交流的人的回答。帮助我更好地理解这些选项。

====================================

这基本上是正确的。假设我们只讨论 C 或 C++，但没有成员函数。如果没有/Gy，编译器会创建在某种意义上不可约的目标文件。如果链接器只需要对象中的一个函数，它就会获取所有函数。这是库编程中的一个特别考虑因素，因此如果您打算善待库的用户，您应该将库编写为许多小对象文件，通常每个对象一个非静态函数，以便用户库不会因为不得不携带实际上从不执行的代码而膨胀。

使用/Gy，编译器创建具有 COMDAT 的对象文件。每个函数都在它自己的 COMDAT 中，它在某种程度上是一个迷你对象。如果链接器只需要对象中的一个函数，它可以只选择那个函数。链接器的/OPT 开关让您可以控制链接器如何使用此选择性 - 但没有/Gy 就没有任何选择。

或者很少。例如，至少可以想象，链接器可以将作为目标文件中全部代码的函数折叠起来，并且恰好具有相同的代码。链接器可以消除一个不包含任何被引用内容的整个目标文件，这当然是可以想象的。毕竟，它是通过库中的目标文件来实现的。然而，实践中的规则曾经是，如果您将非 COMDAT 对象文件添加到链接器的命令行，那么即使未引用，您也希望在二进制文件中使用它。可以想象的和已经完成的之间的差异通常是巨大的。

那么，最好坚持快速回答。链接器选项受益于能够从每个目标文件内部分离函数(和变量)，但分离取决于已组织到 COMDAT 中的代码和数据，这是编译器的工作。

====================================