Shell 管道前面的命令失败为什么退出码还是零

在 Bash 里，grep missing input.txt | wc -l 可能打印 0 并返回成功，即使前面的 grep 根本没有找到文件。原因是普通多段管道的退出状态默认取最后一个命令；只要 wc 能正常结束，脚本就可能看不到前置失败。

脚本需要把管道中的错误传到外层时，在 Bash 入口启用 set -o pipefail；需要知道究竟哪一段失败时，在管道执行后立即复制 PIPESTATUS。pipefail 负责整体判断，PIPESTATUS 负责逐段定位。

为什么前面的命令失败，管道却返回零

Bash 手册对管道的定义很明确：没有启用 pipefail 时，管道返回最后一个命令的状态。因此下面的写法并不能证明输入文件存在：

#!/usr/bin/env bash

# 末段 wc 正常结束，整体状态可能仍为 0。
grep 'ERROR' missing.log | wc -l
printf 'pipeline status: %s\n' "$?"

这不是 wc 把错误“修复”了，而是管道聚合规则只把它的状态暴露给调用方。可以把常见边界先记成一张表：

用 pipefail 让管道暴露前置失败

在 Bash 脚本入口写 set -o pipefail，即可改变管道的整体返回规则：只要某一段非零，整体就不会被最后一段的零状态掩盖；若有多段失败，则取最右侧的非零状态。生产脚本通常把它与 -e、-u 一起写成：

#!/usr/bin/env bash
set -euo pipefail

# pipefail 让输入读取或过滤失败传到脚本外层。
cat input.log | grep 'ERROR' | sort

-e 只是在命令返回非零时让脚本按规则退出，并不会单独改变管道的聚合方式，所以不能用 set -e 代替 pipefail。如果某个非零结果是业务上允许的，就把管道放进明确的 if 判断，而不是盲目关闭所有错误处理。

需要逐段定位时读取 PIPESTATUS

整体状态只能回答“这条管道是否失败”。Bash 的 PIPESTATUS 数组保存最近一次前台管道中每个命令的退出状态，顺序与命令段一致。读取它时不要先执行 echo、printf 或其他命令，否则数组可能已经被新的命令覆盖。

#!/usr/bin/env bash
set -o pipefail

# 先完成管道，再立刻复制逐段状态，避免被 printf 改写。
cat input.log | grep 'ERROR' | sort
pipeline_status=("${PIPESTATUS[@]}")

# 下标 0、1、2 分别对应 cat、grep、sort。
printf 'cat=%s grep=%s sort=%s\n' \\
  "${pipeline_status[0]}" "${pipeline_status[1]}" "${pipeline_status[2]}"

这里的两个机制职责不同：pipefail 让调用方先得到可靠的整体失败信号，PIPESTATUS 让日志或分支逻辑继续定位具体命令。若启用了 set -e，需要把允许失败的管道放在条件上下文中，再保存状态。

把 pipefail 写进脚本检查清单

先确认脚本解释器是 Bash：#!/usr/bin/env bash，不要把依赖 pipefail 的脚本直接交给不支持该选项的 sh。再按下面顺序排查：

1. 入口处明确写出 set -o pipefail，不要依赖用户环境里偶然开启的选项。
2. 需要逐段诊断时，在管道下一行第一时间复制 PIPESTATUS。
3. 确认是否是异步管道；Bash 对异步管道的返回状态有单独规则，不能照搬前台管道的判断。
4. 把命令替换、if、|| true 等会改变 errexit 表现的写法单独审查。

官方参考：Bash Pipelines 说明默认状态和 pipefail；The Set Builtin 说明 -e 与选项行为；Bash Variables 说明 PIPESTATUS。这些页面也提醒，管道中的命令通常运行在各自的子 Shell 环境里，脚本变量不要假定能跨段共享。

相关问题

只写 set -e，为什么仍然可能漏掉管道错误？

因为 set -e 处理的是非零状态下的退出行为，普通管道整体仍默认采用最后一段的状态。要让前置失败参与整体判断，必须启用 pipefail。

PIPESTATUS 能不能在 printf 之后再读取？

不建议。它描述的是最近一次相关命令或管道的状态，先执行其他命令可能改变数组；应先用数组复制，再输出或判断。

pipefail 是所有 Shell 都有吗？

不是。它是 Bash 的 Shell 选项，脚本应声明 Bash 解释器；如果必须兼容其他 Shell，就应按目标 Shell 的规范重新设计错误检查。