Go 1.20 的 errors.Join 适合简单聚合多个错误，支持嵌套、遍历及 errors.Is/As 判断；自定义错误结构适用于需携带上下文、分类或可恢复行为的场景；二者可组合使用。
Go 1.20 引入了 errors.Join，为处理多个错误提供了标准、简洁的方式；而自定义错误结构则适合需要携带上下文、分类或可恢复行为的场景。二者不互斥，可根据实际需求选择或组合使用。
用 errors.Join 合并多个错误（推荐用于简单聚合）
errors.Join 将零个或多个错误合并为一个实现了 error 接口的值，支持嵌套、遍历和判断是否包含某类错误（配合 errors.Is 或 errors.As）。它轻量、无副作用，适合“尽力执行 + 收集失败”的场景，比如批量操作、资源清理等。
示例：关闭多个文件时收集所有关闭错误
func closeAll(files ...*os.File) error {
var errs []error
for _, f := range files {
if err := f.Close(); err != nil {
errs = append(errs, fmt.Errorf("closing %s: %w", f.Name(), err))
}
}
return errors.Join(errs...)
}
调用后可统一检查：
立即学习“go语言免费学习笔记（深入）”；
- 是否完全成功：
if err == nil - 是否含特定错误类型：
errors.Is(err, os.ErrClosed)（只要任一子错误匹配即为 true） - 提取第一个匹配的底层错误：
var pathErr *os.PathError; if errors.As(err, &pathErr) { ... }
自定义错误结构（适合需结构化信息或控制行为）
当多个错误需区分来源、优先级、是否可忽略，或需附带字段（如失败项索引、重试次数、HTTP 状态码）时，定义结构体更清晰。注意实现 Error() 方法，并可选择性实现 Unwrap() 以支持 errors.Is/As。
示例：批量更新用户返回结构化错误
type BatchUpdateError struct {
FailedIDs []int64
Cause error // 底层原因（可选）
}
func (e *BatchUpdateError) Error() string {
return fmt.Sprintf("failed to update %d users: %v", len(e.FailedIDs), e.Cause)
}
func (e *BatchUpdateError) Unwrap() error { return e.Cause }
// 使用
if len(failed) > 0 {
return &BatchUpdateError{FailedIDs: failed, Cause: firstErr}
}
这样调用方能直接访问 .FailedIDs 做重试或日志，也能用 errors.Is 判断是否由数据库超时导致。
何时选 Join，何时选自定义？
- 只需“知道哪些错了”，且错误语义相近 → 用
errors.Join - 需要暴露额外字段、做差异化处理、或错误之间有主次关系 → 自定义结构
- 想兼容标准错误工具链（如日志库自动展开、调试器显示）→ 两者都支持，但自定义需正确实现
Unwrap - 性能敏感且错误数量极大（数千以上）→
errors.Join内部是链表，大量错误可能影响遍历效率；此时可考虑只保留前 N 个或聚合统计
小技巧：组合使用更灵活
不必二选一。例如在自定义错误中，把子错误用 errors.Join 合并后再存入字段：
type ValidationErrors struct {
FieldErrors map[string]error // 字段级错误
GlobalErr error // 其他非字段错误（如网络超时）
}
func (e *ValidationErrors) Error() string {
return "validation failed"
}
func (e *ValidationErrors) Unwrap() error {
// 合并所有子错误供 errors.Is 使用
errs := make([]error, 0, len(e.FieldErrors)+1)
for _, err := range e.FieldErrors {
errs = append(errs, err)
}
if e.GlobalErr != nil {
errs = append(errs, e.GlobalErr)
}
return errors.Join(errs...)
}
这样既保持结构清晰，又不失标准错误生态的便利性。
