Go未用代码消除与可执行文件瘦身
内容提要
本文介绍了Go语言中的未用代码消除和可执行文件瘦身机制。通过实验验证，只有在程序执行路径上被调用的函数才会进入最终的可执行文件，未被调用的函数会被消除。未用代码消除是Go编译过程中的重要优化策略，通过图遍历实现。这种机制使得Go语言能够控制最终可执行文件的大小，实现可执行文件瘦身。
延伸解读
实验揭示的消除边界
文章通过demo1和demo2实验表明，即使同一包内，未被调用的函数（如pkga.Bar）也不会进入可执行文件。但需注意，实验关闭了内联优化（-gcflags '-l -N'）才观察到符号，默认构建下内联可能使符号消失。这提示开发者：未用代码消除的效果受编译优化影响，实际二进制中符号可见性可能不同。
反射对消除的保守影响
文章指出，当代码使用反射（如reflect.Value.MethodByName）时，编译器无法静态确定方法名，会放弃静态分析，将所有可达类型的导出方法标记为可达。这意味着反射会显著削弱未用代码消除的效果，导致更多方法进入二进制。开发者应谨慎使用反射，或将其限制在必要路径上，以控制文件大小。
构建流程中的消除时机
未用代码消除发生在链接阶段，由链接器通过图遍历标记可达符号。文章概述了go build步骤：读取依赖、计算包依赖图、决定构建包、调用编译器和链接器。消除算法从入口点开始，沿重定位关系标记，未被标记的符号视为未用。这解释了为何只有执行路径上的函数会保留，而依赖包中未使用的导出函数会被剔除。
Q&A
Go语言中的未用代码消除机制是如何工作的？
未用代码消除机制通过图遍历算法实现，标记可达的符号，未被标记的符号视为未用，从而控制最终可执行文件的大小。
在Go中，哪些函数会被包含在最终的可执行文件中？
只有在程序执行路径上被调用的函数才会进入最终的可执行文件，未被调用的函数会被消除。
Go编译过程的主要步骤有哪些？
Go编译过程包括读取依赖、计算包依赖图、决定构建包、调用编译器和链接器等步骤。
未用代码消除对可执行文件大小有什么影响？
未用代码消除机制确保只有真正使用的代码进入可执行文件，从而使得最终可执行文件的大小可控。
如何验证Go程序中哪些函数被包含在可执行文件中？
可以通过编译时使用特定的gcflags参数来关闭优化，然后使用工具查看可执行文件中的符号信息。
在Go中，带有方法的类型如何影响未用代码消除？
带有方法的类型在未用代码消除中，调用方式不同会影响方法是否进入最终可执行文件，直接调用的会被标记为可达。
