答案：go无编译期空指针检查，依赖静态分析工具识别高风险模式；go vet捕获json.unmarshal非指针、sync.waitgroup复制等误用；staticcheck（sa5011/sa5012）检测显式路径下指针解引用前缺nil判断；模板和接口断言场景需额外测试覆盖。
Go 本身没有编译期空指针类型检查机制，所谓“编译期检测空指针”，实际是指通过静态分析工具在 go build 前拦截可能引发 nil pointer dereference 的代码模式——不是真能证明某处一定会 panic，而是识别高风险写法并提前告警。
go vet 能抓哪些空指针相关问题
go vet 是最轻量、开箱即用的编译期检查入口，但它不扫描所有 nil 场景，只覆盖明确的误用模式：
- 对非指针接收者方法调用取地址（如
func (s MyStruct) Foo() {}然后ptr := &s; ptr.Foo()—— 实际上没意义，go vet会提示 “method set mismatch”） -
json.Unmarshal传入非指针：比如json.Unmarshal(b, myStruct)（应为&myStruct），go vet直接报possible misuse of reflect.Value.Interface类错误 -
sync.WaitGroup字段未取地址传参：例如go func(wg sync.WaitGroup) { ... }(wg)，go vet会警告 “copying lock value” - 函数返回
*T却未检查 nil 就直接解引用：这个它不报——需要更深层数据流分析
staticcheck 检测更深层的 nil 风险
staticcheck 的 SA5011 和 SA5012 规则专门针对指针解引用前的 nil 检查缺失，但有严格前提：
Golang Spf13 Viper
下载
Go 配置库，使用 spf13/viper — 分层优先级（flag > env >file > KV > default），提供 BindPFlag/BindPFlags、SetEnvPrefix + SetEnvKeyReplace 等功能。
- 必须是显式赋值路径可追踪的变量，例如：
cfg := getConfig(); cfg.Timeout.Seconds()，若getConfig()返回*Config且可能为nil，staticcheck才会警告 - 不处理间接引用：比如
m["key"].(*MyType).Field，即使m["key"]是nil，也不会报 - 结构体字段为指针时，仅当该字段被直接解引用且无前置判空（如
s.Pt.Field且没写if s.Pt != nil），才触发SA5011 - 需启用完整检查集：
staticcheck -checks=all ./，否则默认关闭部分深度规则
模板与接口场景下的 nil 陷阱容易被忽略
这两类问题 go vet 和 staticcheck 都不覆盖，但线上 panic 高发：
-
html/template中传入nil结构体并访问字段：如{{.User.Name}}，而User是nil，运行时 panic；template.Must只校验语法，不校验数据契约 - 接口类型断言后直接使用：
v, ok := i.(MyInterface); v.DoSomething()，没判断ok就调用，staticcheck默认不检查此路径（需手动开启SA1005） - 嵌套结构体指针字段未初始化：如
type Req struct { Cfg *Config }，req := &Req{}后直接req.Cfg.Timeout，工具不会提醒你Cfg是零值
真正能堵住大部分空指针上线的，不是单个工具，而是组合：用 go vet 拦基础误用，用 staticcheck 补充数据流风险，再配合单元测试覆盖 nil 输入路径——因为静态分析永远无法穷举所有运行时状态，而 Go 的 nil 是语言级设计，不是 bug，是契约的一部分。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
