为何Bash的while循环返回PIPESTATUS为1而非0？

问题背景 #

在GNU bash 5.2.15环境中，执行以下命令时出现PIPESTATUS[0]与$?输出不一致的情况：

# 输出1
while false; do true; done; echo "${PIPESTATUS[0]}"
# 输出0
while false; do true; done; echo $?

而当用break终止循环时，两者输出均为0：

while true; do true; break; done; echo "${PIPESTATUS[0]}"

问题解答 #

1. 为何PIPESTATUS与实际退出码存在差异？

• $?返回的是整个while复合命令的退出状态：根据Bash规则，当循环因条件不满足（条件命令返回非0）且循环体从未执行时，while命令的退出码为0；若循环体执行过，则退出码为循环体最后一次执行的命令的状态。
• PIPESTATUS[0]记录的是while复合命令中最后执行的单个简单命令的退出码：在while false; do true; done中，循环体从未执行，最后执行的是条件命令false，其退出码为1，因此PIPESTATUS[0]输出1。

两者的本质区别在于：$?针对整个复合命令的整体状态，PIPESTATUS[0]针对复合命令内部最后执行的单个简单命令的状态。

2. 除break终止的循环外，所有while循环的PIPESTATUS都会是1吗？

不是。PIPESTATUS[0]的值等于循环终止时最后执行的条件命令的退出码，这个值取决于条件命令本身的退出状态：

• 若条件命令返回非1的非0值（比如grep未找到匹配时返回2），PIPESTATUS[0]会对应这个值：

  # 输出2
  while grep "nonexistent" /dev/null; do true; done; echo "${PIPESTATUS[0]}"
  

• 只有当条件命令返回1时，PIPESTATUS[0]才会是1。

3. 这是否可用于可靠区分循环是因条件不满足还是break终止？

不能可靠区分，存在以下例外情况：

• 当循环条件是管道命令时，PIPESTATUS[0]仅记录管道第一个命令的退出码，无法反映条件整体的退出状态。比如循环因管道最后一个命令返回非0终止，但PIPESTATUS[0]可能为0：

  # 循环因grep返回1终止，但PIPESTATUS[0]是echo的退出码0
  while echo test | grep "nonexistent"; do true; done; echo "${PIPESTATUS[0]}"
  

• 若循环体中使用return、exit等其他方式终止循环，PIPESTATUS[0]会被这些命令的状态覆盖，无法区分是条件不满足还是主动终止。

内容的提问来源于stack exchange，提问作者AneesAhmed777