c++ - cpp代码在什么情况下必须编译链接成exe

Question

我将 MSVC++ 与 visual studio 2012 一起使用，以构建基本的非托管 c++ x86/x64 Windows 和控制台子系统程序。 (关闭异常处理)

我有一个相当大的项目，当对最终的 exe 大小感到好奇时，我决定看看如果我将 main() 函数更改为什么都不做(因此不调用或引用任何其他代码)，它会有多大。我注意到 exe 的大小仍然比我从项目中删除所有 cpp 文件时大很多。

所以我想知道什么类型的 C++ 代码会导致代码被链接，即使 main 函数什么都不做。一个示例是在您的 A 类型的 cpp 文件之一中有一个全局变量，其中 A 是一个类/结构。在这种情况下，我假设必须包括 A 的构造函数和析构函数，以及 A 的所有成员类型的构造函数和析构函数。

在 visual studio 中，我打开了所有优化，包括用于消除从未引用的函数/数据的链接器优化，以及 comdat 折叠。和 cpp 代码生成以启用 comdats/函数级链接。

更新:我没有使用任何 C++11 或更高版本的功能。虽然我不确定我的构建环境是否设置为针对 c++11 或更高版本构建，或者这是否会产生任何影响。

Answer 1

从技术上讲，不需要包含一个全局变量只是因为它有一个构造函数。 C++ 遵循图形模型，其中 main 充当根翻译单元。从一个 TU 到另一个 TU 的函数调用形成了图的边。可能会跳过独立的 TU。

MSVC++ 有另一个选项，不使用 TU，而是使用单独的函数作为图中的节点 (/COMDAT)。与/OPT:ICF 结合使用可进一步减小可执行文件的大小。省略函数本身就是一个胜利，但也可以删除额外的依赖项。

此模型的缺点是某些自注册方案不可移植，因为进行自注册的类不依赖于任何东西，因此可能会被删除。