go编译器默认启用死代码消除（dead code elimination），仅将实际可达的函数、变量和类型链接进最终二进制，未被调用的导出/非导出符号（包括其引用的字符串、类型和依赖包）会被递归裁剪，无需手动干预。
go编译器默认启用死代码消除（dead code elimination），仅将实际可达的函数、变量和类型链接进最终二进制，未被调用的导出/非导出符号（包括其引用的字符串、类型和依赖包）会被递归裁剪，无需手动干预。
在Go中，“导入即使用”并不等于“全部编译”。正如问题中所示：即使 subplay.B() 从未被调用，且其内部包含敏感字符串 "secret string"，只要该函数未被任何可达路径引用（即从 main 函数出发无法通过调用链抵达），Go链接器（cmd/link）就会在最终链接阶段将其连同其字面量、依赖的类型和间接导入的包一并排除——这是Go工具链自1.0起就内置的可达性分析（Reachability Analysis）机制。
该机制并非基于简单符号引用，而是构建完整的调用图（Call Graph），并进行多轮保守传播：
- 从
main.main入口开始，标记所有直接/间接调用的函数； - 标记被调用函数中引用的全局变量、方法集、接口实现、反射类型（如
reflect.TypeOf显式引用的类型）； - 排除所有未被标记的函数体、未初始化的全局变量、未实例化的结构体字段及未触发的
init()函数； - 对于包级变量，仅当其被可达代码读取或地址被取用时才保留。
✅ 正确示例验证：
// main.go
package main
import "example/subplay"
func main() { subplay.A() } // 仅A可达
// subplay/subplay.go
package subplay
import "fmt"
func A() { fmt.Println("A") } // ✅ 保留
func B() { fmt.Println("secret string") } // ❌ 彻底移除（含"secret string"字面量）执行 go build -ldflags="-s -w"（剥离调试信息和符号表）后，"secret string" 不会出现在二进制中，可通过 strings ./main | grep "secret" 验证为空。
立即学习“go语言免费学习笔记（深入）”；
⚠️ 但需警惕以下破坏可达性分析的常见陷阱：
-
空导入（
import _ "net/http"）：虽无显式调用，但会强制链接整个包及其全部依赖（如net/http引入39+子包），显著增大体积； -
反射与
unsafe操作：reflect.Value.MethodByName("B")或unsafe.Pointer(&B)会使编译器保守保留所有可能被动态访问的符号； -
go:linkname或//go:cgo_ldflag等底层指令：绕过常规分析流程； -
测试文件中的未调用代码：若启用
-test模式构建，*_test.go中的函数可能被意外保留。
? 辅助验证与优化工具：
-
go tool nm -sort size -size ./binary | grep -v " t " | head -20：查看符号大小分布，识别异常大的未导出函数； -
go tool objdump -s "subplay\.B" ./binary：确认目标函数是否存在于二进制中（无输出 = 已消除）； -
deadcode ./...：静态扫描项目中所有源码级未使用函数（含未导出函数），提前清理，提升可维护性； -
go build -gcflags="-m=2"：启用详细内联与消除日志，观察编译器决策（如can inline subplay.B或deadcode提示）。
? 总结：Go的未使用代码消除是自动、安全且深度集成的，开发者应信任编译器，专注编写清晰的模块化代码；体积膨胀主因通常是隐式依赖（如空导入、日志/HTTP等重型包）或反射滥用，而非编译器失效。优化路径为：精简导入 → 移除反射冗余 → 启用-ldflags="-s -w" → 用deadcode预检源码，而非试图手动“删函数”。
