go编译器默认启用死代码消除（dead code elimination），仅将实际可达的函数、变量和类型链接进最终可执行文件，未被调用的代码（如未使用的导出/非导出函数、未引用的字符串字面量等）在链接阶段即被安全剥离。
go编译器默认启用死代码消除（dead code elimination），仅将实际可达的函数、变量和类型链接进最终可执行文件，未被调用的代码（如未使用的导出/非导出函数、未引用的字符串字面量等）在链接阶段即被安全剥离。
Go 语言在设计上天然支持编译期细粒度依赖裁剪——它并非简单地将整个导入包“全量打包”，而是基于可达性分析（Reachability Analysis） 构建调用图：从 main 函数入口出发，递归追踪所有被直接或间接调用的符号（函数、方法、全局变量、接口实现等），仅保留该图中可达的部分；其余不可达代码（包括未调用函数中的字符串常量、未实例化的类型、未触发的 init 函数等）在链接阶段即被彻底排除。
以你提供的示例为例：
// main.go
package main
import "play/subplay"
func main() { subplay.A() }// play/subplay.go
package subplay
import "fmt"
func A() { fmt.Printf("this is function A()") }
func B() { fmt.Printf("secret string") } // ← 从未被调用尽管 B() 中的 "secret string" 在源码中存在，但因 B 不在可达路径上，Go 链接器（cmd/link）会识别其为不可达符号，并移除其关联的字符串数据及函数体。实测验证（Go 1.22+）：
$ go build -o demo . $ strings demo | grep "secret string" # 无输出 → 字符串已被剥离 $ go tool nm demo | grep "subplay\.B" # 无输出 → 函数符号不存在
⚠️ 注意：此优化依赖于静态可达性可判定。以下情况可能导致“本应删除却残留”：
立即学习“go语言免费学习笔记（深入）”；
-
反射调用（
reflect.Value.Call）、unsafe操作或通过interface{}动态分发的函数，可能破坏编译器的调用图推断； -
init()函数：只要包被导入（即使未显式使用），其init函数总会执行，因此其中的代码和字符串不会被消除； - 全局变量初始化表达式：若变量被声明（即使未读取），其初始化值（含字符串、结构体字面量等）仍会保留在二进制中；
- CGO 依赖：C 代码不受 Go 编译器控制，需手动精简。
✅ 提升瘦身效果的实践建议：
-
按功能拆分包：避免“大而全”的工具包（如
subplay同时含 A/B/C），改为subplay/a,subplay/b等细粒度子包，让使用者只导入真正需要的部分； -
启用构建标签（
//go:build）：对调试/诊断代码添加debug标签，发布时用-tags=prod排除； -
使用
go build -ldflags="-s -w"：-s去除符号表，-w去除 DWARF 调试信息，可进一步减小体积（注意：这会影响调试能力）； -
辅助检测工具：配合
deadcode工具主动扫描项目中未被调用的函数/变量，提前清理源头：$ go install github.com/tsenart/deadcode@latest $ deadcode ./... # 列出所有未使用符号
总结而言，Go 的死代码消除是开箱即用、深度集成于工具链的核心能力，无需额外配置即可生效。开发者只需遵循清晰的模块边界与最小依赖原则，即可获得轻量、安全且语义纯净的可执行文件。
