Go 1.13引入错误包装机制，通过fmt.Errorf与%w动词实现错误链，使新错误可嵌套原始错误，支持errors.Is和Unwrap进行深度判断与展开；1.20新增errors.Join函数，用于将多个错误合并为复合错误，适用于并发或批量操作中收集全部错误而非仅首个，典型场景如defer中关闭多个资源；该复合错误以分号分隔各错误信息，便于日志记录与调试；开发者亦可自定义MultiError类型实现灵活格式化与过滤逻辑，并实现Unwrap方法以兼容标准库错误处理；使用时应避免滥用%w导致堆栈冗余，注意保护敏感信息不外泄，推荐用%+v打印完整链以便排查问题。
Go语言在1.13版本引入了错误包装（error wrapping）机制，通过fmt.Errorf配合%w动词实现错误链。随后在1.20版本中，标准库errors包新增了Join函数，用于将多个错误组合成一个复合错误。这为处理并发、批量操作中的多错误场景提供了原生支持。
错误链的基本原理
在Go中，错误链的核心是让一个错误“包装”另一个错误，形成调用路径的追溯能力。使用%w可以将底层错误嵌入到新错误中：
err1 := errors.New("数据库连接失败")
err2 := fmt.Errorf("服务启动失败: %w", err1)
这样err2就包装了err1。你可以通过errors.Is判断是否包含某个目标错误，或用errors.Unwrap逐层展开。
关键接口：
立即学习“go语言免费学习笔记（深入）”；
-
Unwrap() error：返回被包装的错误 -
Error() string：返回错误信息 -
Is(target error) bool和As(target interface{}) bool支持深度比较和类型断言
errors.Join 的使用场景
当多个独立操作都可能出错时，比如关闭多个资源、并发请求等，你希望收集所有错误而不是只返回第一个。这时errors.Join非常有用：
var errs []error
errs = append(errs, file1.Close())
errs = append(errs, file2.Close())
errs = append(errs, conn.Close())
err := errors.Join(errs...)
if err != nil {
log.Printf("清理资源时发生多个错误: %v", err)
}
它会把所有非nil错误拼接成一个复合错误，格式类似："close file1: permission denied; close file2: already closed"，分号分隔。
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
这个功能特别适合用于defer中批量释放资源，避免因单个关闭失败而掩盖其他资源的问题。
自定义错误组合与格式化
虽然errors.Join开箱即用，但在某些场景下你可能需要更精细控制输出格式或行为。可以实现自己的interface{ Error() string }类型：
type MultiError struct {
Errors []error
}
func (m *MultiError) Error() string {
var buf strings.Builder
for i, e := range m.Errors {
if i > 0 {
buf.WriteString(" | ")
}
buf.WriteString(e.Error())
}
return buf.String()
}
func (m *MultiError) Unwrap() []error {
return m.Errors
}
这种做法适用于需要特定分隔符、排序、去重或多级嵌套结构的场景。注意实现Unwrap方法可以让errors.Is/As正常工作。
如果你只想保留关键错误而非全部细节，也可以封装过滤逻辑，例如忽略io.EOF类的预期错误。
实践建议与注意事项
使用错误链和组合时要注意以下几点：
- 不要滥用
%w，仅在语义上确实“因为A导致B”时才包装，避免无意义的堆栈膨胀 -
errors.Join返回的是内部私有类型，不能直接类型断言，应通过Error()获取字符串表示 - 日志记录时建议打印完整错误链，可用
%+v获得更详细的回溯信息（部分第三方库支持） - 在API返回中谨慎暴露详细错误链，防止敏感信息泄露
- 测试中可用
errors.Is验证最终错误是否源自某个底层错误，提高断言稳定性
基本上就这些。掌握fmt.Errorf("%w")和errors.Join后，能更优雅地处理复杂错误流，提升程序健壮性和可观测性。
