为什么二进制可执行文件的大小增加了相同代码块的不同量？

Question

假设我有一个C ++程序，我使用G ++进行了编译。然后，我得到一个可执行文件，例如，该文件的大小为100 kb。然后，我添加了几行C ++代码，然后再次编译，可执行文件的大小增加到101 kb。然后，我添加完全相同的 C ++代码的块，并第三次编译。这次可执行文件已增加到106 KB。为什么相同的代码有时会增加可执行文件的大小，而另一个时间会增加呢？

同样，只有每隔几次就会发生大幅度增长，大多数时候它会增加， small ，数量。

Answer 1

导致二进制的尺寸变化与代码尺寸变化不线性的原因有多种。如果启用了某种优化，则尤其如此。

即使在调试模式下（无优化），以下内容也可能导致这种情况：

• 二进制中的代码大小通常需要对齐到一定尺寸（取决于硬件）。大小只能在比对的倍数中增长。
• 同样适用于元数据表（重新定位表，调试信息）
• 编译器仅根据
• 与某些编译器一起使用的方法/变量的数量（不确定GCC）保留额外的调试信息，可以更新二进制的代码就位时，只有在完成的地方只有较小的更改，而不是在每个构建上执行完整的链接。在添加代码和构建与删除二进制文件之前，这将导致不同的二进制尺寸。

如果启用了优化，由于可能的优化策略，它会变得更加令人困惑：

• 编译器可能会删除他发现的代码是无法实现的
• 如果对速度进行优化，循环展开是一件好事，但仅在一定程度上， 。如果在循环中添加更多代码，则编译器可能会决定额外的代码大小不再值得速度增益。
• 另外，其他优化只能达到一定水平，之后他们弊大于利。这甚至可以通过添加代码来导致二进制文件获得较小的。

这些只是许多可能的原因，可能还有更多原因。