快速参考

Goroutine 泄漏

• Goroutine 在无发送方的 channel 上阻塞 → 永久泄漏 —— 务必确保 channel 关闭，或使用 context
• 非缓冲 channel 的发送操作会一直阻塞，直到有接收方 —— 若接收方永不出现，则导致死锁
• 对 channel 使用 for range 会无限循环，直至 channel 被关闭 —— 发送方必须调用 close(ch)
• Context 取消不会自动终止 goroutine —— 必须在循环中显式检查 ctx.Done()
• 泄漏的 goroutine 会持续占用内存，且永远不会被垃圾回收

Channel 陷阱

• 向 nil channel 发送或接收均会永久阻塞
• 向已关闭的 channel 发送数据会 panic；重复关闭已关闭的 channel 也会 panic
• 仅应由发送方关闭 channel —— 接收方关闭会导致发送方 panic
• 当缓冲 channel 已满时，发送操作将阻塞 —— 应根据预期负载合理设置缓冲区大小
• select 在多个就绪 case 中随机选择执行 —— 并非按代码中列出的先后顺序

Defer 陷阱

• Defer 的参数在 defer 语句执行时即被求值，而非在延迟函数实际运行时 —— 例如 defer log(time.Now()) 记录的是 defer 语句执行时刻的时间
• 在循环中使用 defer 会导致 defer 调用累积 —— 它们被压入栈，在函数返回时统一执行，而非每次迭代结束时执行
• 即使发生 panic，defer 仍会执行 —— 适合用于资源清理，但 recover 只能在 defer 函数中生效
• 命名返回值可在 defer 中修改 —— 例如 defer func() { err = wrap(err) }() 是合法且有效的
• Defer 的执行顺序为后进先出（LIFO）—— 最后声明的 defer 最先执行

接口（Interface）陷阱

• 接口中包含 nil 具体值 ≠ 接口本身为 nil —— 例如 var p *MyType; var i interface{} = p; i != nil 结果为 true
• 对错误类型的接口值做类型断言会 panic —— 应使用 “comma-ok” 形式：v, ok := i.(Type)
• 空接口 any 可接受任意类型，但会丢失类型安全性 —— 应尽量避免使用
• 接口实现是隐式的 —— 若方法签名发生变更，编译器不会报错
• 带有指针接收者的方法无法由值类型满足接口 —— 只有 *T 类型才拥有该方法

错误处理

• 错误是值，不是异常 —— 必须检查每个函数返回的 error
• 每次调用后都应检查 err != nil —— 忽略错误将导致静默缺陷
• 对包装后的错误应使用 errors.Is 判断 —— == 不适用于通过 fmt.Errorf("%w", err) 包装的错误
• 哨兵错误（sentinel errors）应定义为包级变量：var ErrFoo = errors.New()，而非每次重新创建
• 仅对程序员错误（如逻辑错误、非法状态）使用 panic；运行时失败应返回 error

切片（Slice）陷阱

• 切片是对底层数组的引用 —— 修改切片内容会影响原始数组
• append 可能分配新底层数组，也可能不分配 —— 切勿假设容量不变
• 切片操作不会复制数据 —— 例如 a[1:3] 与 a 共享同一块内存
• nil 切片与空切片不同 —— var s []int（nil）vs s := []int{}（空但非 nil）
• copy() 复制长度取源与目标长度的最小值 —— 不会扩展目标切片容量

映射（Map）陷阱

• 从 nil map 读取返回对应类型的零值；向 nil map 写入则会 panic
• map 迭代顺序是随机的 —— 不应依赖任何特定顺序
• map 默认不支持并发访问 —— 需使用 sync.Map 或显式加锁（如 sync.Mutex）
• 禁止获取 map 元素的地址 —— &m[key] 编译不通过
• 在遍历 map 期间删除元素是安全的；但添加元素可能导致未定义行为

字符串（String）陷阱

• 字符串是不可变的字节切片 —— 每次修改都会产生新的内存分配
• range 遍历字符串时迭代的是 Unicode 码点（rune），而非字节 —— 对于多字节字符，索引可能跳跃
• len(s) 返回字节数，而非字符数 —— 获取字符数请使用 utf8.RuneCountInString()
• 字符串比较基于字节序列 —— 不进行 Unicode 规范化处理
• 子字符串（substring）与原字符串共享底层内存 —— 即使只保留一小段，整个原始字符串的内存仍无法释放

结构体（Struct）与内存

• 结构体字段会因内存对齐而填充（padding）—— 字段声明顺序影响结构体总大小
• 零值是合法且可用的 —— 如 var wg sync.WaitGroup 可直接使用，无需额外构造函数
• 包含 mutex 的结构体若被复制，其内部 mutex 也将被复制（且处于未锁定状态）—— 应始终传递指针
• 嵌入（embedding）不是继承 —— 提升（promoted）的方法可被同名方法遮蔽（shadowed）
• 导出字段名以大写字母开头 —— 小写字母开头的字段在包外不可见

构建（Build）陷阱

• go build 缓存机制激进 —— 使用 -a 标志强制完全重建
• 未使用的导入会导致编译失败 —— 若仅需触发副作用，应使用 _ 导入形式
• init() 函数在 main() 之前执行，执行顺序取决于依赖关系，而非文件顺序
• go:embed 的路径相对于源文件位置，而非当前工作目录
• 交叉编译示例：GOOS=linux GOARCH=amd64 go build —— 操作简单，但仍需在目标平台上验证