尝试减少Go程序的可执行文件大小

在IT行业这个发展更新速度很快的行业，只有不停止的学习，才不会被行业所淘汰。如果你是Golang学习者，那么本文《尝试减少Go程序的可执行文件大小》就很适合你！本篇内容主要包括##content_title##，希望对大家的知识积累有所帮助，助力实战开发！

编辑/澄清：

看来我在这里没能解释清楚。我并不是批评 go，或者它的运行时，或者可执行文件很大的事实。我也不是想说 go 不好而 c 好。

我只是指出，编译后的可执行文件似乎总是至少在 1mb 左右（大概这是运行时开销），并且导入包似乎会将整个包放入其中，无论使用情况如何。

我的实际问题基本上是这两点是默认行为还是唯一行为？我给出了一些 c 程序的示例，这些程序在代码方面与 go 程序等效，但我为它们仔细挑选了编译器和链接器标志，以避免与任何外部 c 运行时链接（为了确定起见，我使用 dependency walker 对此进行了验证） 。 c 示例的目的是展示实际代码有多么小，并展示您确实需要某些内容并且仅导入您需要的内容的情况。

我实际上认为这种行为（将所有内容都放在里面以防万一）是一个很好的默认设置，但我认为可能有一些编译器或链接器标志可以更改此设置。现在，我认为说您不想要运行时或其中的一部分是不明智的。然而，我认为选择性地包含包的某些部分并不是一件奇怪的事情。让我解释一下：

假设我们正在用 c/c++ 编写，并且包含一个包含大量函数的巨大头文件，但我们只使用其中的一小部分。在这种情况下，最终可能会得到一个不包含该头文件中任何未使用代码的可执行文件。 （真实世界的示例：一个支持 2d/3d/4d 向量和矩阵、四元数等的数学库。所有这些都有 2 个版本，第一个版本用于 32 位浮点数，另一个版本用于 64 位浮点数 + 从一种到另一种的转换）

这就是我一直在寻找的东西。我完全理解这样做在某些情况下可能会导致问题，但仍然如此。 go 并不是没有其他可能导致严重问题的东西..他们有“不安全”包，如果你需要它就在那里，但它就像“使用你自己的风险”这样的包。

原始问题：

使用 go (golang) 一段时间后，我决定研究它生成的可执行文件。我发现我的项目仅可执行文件的大小就超过 4.5mb，而另一个在复杂性和范围上类似但用 c/c++ 编写（用 msvc 编译）的项目不到 100kb。

所以我决定尝试一些事情。我用 c 和 go 编写了非常愚蠢和简单的程序来比较输出。 对于 c，我使用 msvc，在发布模式下编译 64 位可执行文件，并且不与 c 运行时链接（据我所知，在我看来，go 可执行文件仅在使用 cgo 时才与它链接）

第一次运行：一个简单的无限循环，就是这样。没有打印，没有与操作系统交互，什么都没有。

c：

#include "windows.h"

int main() 
{
    while (true);
}

void maincrtstartup()
{
    main();
}

去：

package main

func main() {
    for {
    }
}

结果：

c：3kb 可执行文件。不依赖任何东西

go：1,057 kb 可执行文件。依赖于 kernel32.dll 中的 29 个过程

虽然存在巨大差异，但我认为这可能不公平。因此，在下一个测试中，我决定删除循环，只编写一个程序，该程序立即返回，退出代码为 13：

c：

#include "windows.h"

    int main() 
    {
        return 13;
    }

    void maincrtstartup()
    {
        exitprocess(main());
    }

去：

package main

import "os"

func main() {
    os.Exit(13)
}

结果：

c：4kb 可执行文件。取决于 kernel32.dll 中的 1 个过程

go：1,281 kb 可执行文件。依赖于 kernel32.dll 中的 31 个过程

go 可执行文件似乎“臃肿”。据我所知，与 c 不同，go 将大量运行时代码放入可执行文件中，这是可以理解的，但不足以解释其大小。

此外，go 似乎以包粒度工作。我的意思是，它不会塞进您不使用的可执行包中，但是如果您导入一个包，您将获得所有包，即使您只需要一小部分，即使您根本不使用它。例如，仅导入“fmt”而不调用任何内容，就会将之前的可执行文件从 1,281kb 扩展至 1,777kb。

我是否缺少诸如go编译器的一些标志之类的东西来告诉它不那么臃肿（我知道我可以设置很多标志，也可以给本机编译器和链接器提供标志，但我还没有找到这个具体而言）或者这只是 2019 年没有人再关心的事情，因为几兆字节到底是什么？

解决方案

以下是 Go 程序包含而 C 程序不包含的一些内容：

• 容器类型，例如哈希映射和数组及其关联函数

• 内存分配器，针对多线程程序进行优化

• 并发垃圾收集器

• 线程的类型和函数，例如互斥体、条件变量、通道和线程

• 堆栈跟踪转储和 SIGQUIT 处理程序等调试工具

• 反射代码

（如果您确切地好奇其中包含的内容，可以使用调试工具查看二进制文件中的符号。在 macOS 和 Linux 上，您可以使用 nm 转储程序中的符号。）

事实是，大多数 Go 程序都使用所有这些功能！很难想象一个 Go 程序不使用垃圾收集器。因此，Go 的创建者并没有创建一种特殊的方法来从程序中删除此代码，因为没有人需要此功能。毕竟，您真的关心 "Hello, world!" 有多大吗？ 不，你不知道。

摘自常见问题解答Why is my trivial program such a large binary?

gc 工具链中的链接器默认创建静态链接的二进制文件。因此，所有 Go 二进制文件都包含 Go 运行时，以及支持动态类型检查、反射甚至紧急时堆栈跟踪所需的运行时类型信息。

另请记住，如果您使用 MSVC 在 Windows 上进行编译，则可能会使用 DLL 运行时，例如 MSVCR120.DLL...，大约为 1 MB。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。