go vet 是 Go 语言官方提供的静态分析工具，用于在编译前检查代码中的潜在错误、不规范写法或常见问题。以下是其核心功能的详细说明：
1. 核心功能
静态错误检测
- 类型安全：检查类型转换错误（如
string转int）、未定义类型、空接口误用等。 - 格式化字符串：检测
Printf系列函数的格式化字符串与参数类型是否匹配（如%d误用于字符串）。 - 未使用的变量/导入：提示未使用的局部变量、全局变量或冗余导入包。
并发与资源管理
- 原子操作检查：防止错误使用
sync/atomic包（如直接赋值而非原子操作）。 - 锁复制问题：检测
sync.Mutex等锁被值复制而非指针传递，避免锁状态不一致。 - 上下文泄漏：检查
context.WithCancel返回的取消函数是否被调用，避免资源泄漏。
代码规范与逻辑
- 循环闭包陷阱：捕获
goroutine中循环变量引用错误（需通过临时变量或传参解决）。 - 结构体标签格式：验证结构体字段标签（如
json:"name"）是否符合reflect.StructTag规范。 - 无效代码：标记无法到达的代码（如
return后的语句）。
2. 使用方式
基本命令
go vet ./... # 检查当前目录及子目录
go vet main.go # 检查单个文件
go vet -v # 显示详细输出
常用选项
-shadow：检查变量重复声明。-tests：包含测试文件检查。-printf=false：禁用特定检查项（如关闭Printf格式检查）。
集成自定义分析器
可通过 go install 安装第三方分析器，并通过 -vettool 指定使用。
3. 实际案例
示例1：格式化字符串错误
func main() {
s := "hello"
fmt.Printf("%d\n", s) // vet 报错：%d 用于字符串
}
输出：Printf format %d has arg s of wrong type string。
示例2：锁复制问题
type Foo struct {
lock sync.Mutex
}
func (f Foo) Lock() {} // 应改为 func (f *Foo) Lock()
输出：Lock passes lock by value。
示例3：未调用取消函数
func main() {
ctx, _ := context.WithCancel(context.Background()) // vet 警告：未调用 cancel 函数
}
输出：the cancel function should be called。
4. 局限性
- 试探性检查：部分报告可能是误报（如
-shadow检查变量遮蔽时）。 - 不覆盖逻辑错误：无法检测业务逻辑错误或复杂并发问题（需结合
-race或其他工具）。
5. 版本演进
- Go 1.12+：重构为模块化分析框架，支持自定义分析器。
- 持续增强：新版会新增检查项（如 Go 1.15 增加对
string(int)转换的警告）。
通过合理使用 go vet，能显著提升代码健壮性，减少运行时错误。
