Go errors.Join怎样同时保留多个底层错误为什么结果为空或不符合预期

errors.Join 适合把一次批处理里收集到的多个错误保留下来。它会忽略传入参数中的 nil；如果所有参数都是 nil，返回值就是 nil；只要还有一个非 nil 错误，就会返回一个可以继续用 errors.Is 和 errors.As 检查的组合错误。结果“为空”通常不是 Join 丢了数据，而是输入本身没有可保留的错误。

官方地址：https://pkg.go.dev/errors

判断结果时先看是否为 nil，再用 errors.Is/As 检查其中的底层错误；不要用字符串内容或直接相等比较代替错误树判断。

errors.Join 返回的到底是什么

errors.Join(errA, errB) 并不会把两个错误简单拼成一个普通字符串。只要参数里存在非 nil 错误，返回值就代表一棵包含多个分支的错误树。官方 errors 包把它描述为能够通过 Unwrap() []error 暴露多个子错误，因此调用方仍可以逐个判断原因。

它的输入边界可以概括为三种情况：全是 nil 时返回 nil；只有一个非 nil 错误时仍会得到一个组合错误；有多个非 nil 错误时，这些错误都会被保留下来。中间的 nil 只会被忽略，不会在错误文本里生成空行。

为什么 errors.Join 会得到 nil 或看起来异常

最常见的“空结果”来自这样的聚合代码：循环里没有任何失败项，最后执行 errors.Join(allErrors...)。如果 allErrors 为空，展开后等价于没有传入错误，返回 nil 是设计好的结果，不需要再额外包装一层。

另一种误解来自直接打印组合错误。多个底层错误的文本会按换行连接，所以它可能不像单个错误那样是一行消息；而直接写 joined == errA 也不能判断包含关系。比较对象身份和判断错误树是两件事，应使用 errors.Is(joined, errA)。

用批量收集保留每个底层错误

下面的例子模拟三个独立任务。成功项不向切片写入错误，失败项追加带上下文的错误，最后统一 Join。代码只展示错误聚合方式，不代表已经在本机执行过。

package main

import (
	"errors"
	"fmt"
)

var (
	errConfig = errors.New("配置读取失败")
	errWorker = errors.New("worker 启动失败")
)

func runTasks() error {
	var allErrors []error

	// 成功任务不追加 nil，失败任务保留带任务名的底层原因。
	if err := loadConfig(); err != nil {
		allErrors = append(allErrors, fmt.Errorf("config: %w", err))
	}
	if err := startWorker(); err != nil {
		allErrors = append(allErrors, fmt.Errorf("worker: %w", err))
	}

	// 空切片展开后会得到 nil；有失败项时则保留全部分支。
	return errors.Join(allErrors...)
}

func loadConfig() error {
	// 示例用固定错误表示一次配置任务失败。
	return errConfig
}

func startWorker() error {
	// 示例用固定错误表示另一项独立任务失败。
	return errWorker
}

func main() {
	joined := runTasks()
	if joined == nil {
		// 所有任务成功时没有错误需要上报。
		fmt.Println("全部任务成功")
		return
	}
	if errors.Is(joined, errConfig) {
		// Is 会沿着错误树找到被 %w 包装的配置错误。
		fmt.Println("需要检查配置")
	}
	if errors.Is(joined, errWorker) {
		// 同一个组合错误可以继续检查另一条底层分支。
		fmt.Println("需要检查 worker")
	}
}

这里的关键不是把所有文本拼到一起，而是保留错误关系：fmt.Errorf 用 %w 保留任务上下文，errors.Join 再把多个分支组合起来。这样上层既能展示完整摘要，也能针对某个底层错误做条件处理。

四项排查清单

如果业务需要展示每个错误的机器可读字段，应定义自己的错误类型并用 errors.As 提取，而不是拆分 Error() 返回的换行文本。这样即使错误文案变化，判断逻辑仍然稳定。

相关问题

errors.Join(nil, err) 会返回什么？ 会保留非 nil 的 err，nil 参数被忽略。

为什么要用 errors.Is 而不是比较字符串？ 因为 %w 包装和 Join 都可能改变外层文本，但不会改变可遍历的错误关系。

没有错误时需要主动返回 errors.New("") 吗？ 不需要。无失败项返回 nil，调用方可以按 Go 的错误约定直接判断。