为什么设置 -e; true && false && true 不退出？

Question

根据this accepted answer，使用set -e 内置应该足以让bash 脚本在第一个错误时退出。然而，下面的脚本：

#!/usr/bin/env bash

set -e

echo "a"
echo "b"
echo "about to fail" && /bin/false && echo "foo"
echo "c"
echo "d"

打印：

$ ./foo.sh 
a
b
about to fail
c
d

删除echo "foo" 会停止脚本；但为什么呢？

Answer 1

因为这个答案不够具体。

应该说（粗体字是我的补充）：

#任何后续的simple命令失败都会导致shell脚本立即退出

因为手册页是这样写的：

-e      Exit  immediately if a simple command (see SHELL GRAMMAR
        above) exits with a non-zero status.  The shell does not
        exit  if  the  command that fails is part of the command
        list immediately following a  while  or  until  keyword,
        part  of the test in an if statement, part of a && or ││
        list, or if the command’s return value is being inverted
        via  !.   A  trap on ERR, if set, is executed before the
        shell exits.

SHELL GRAMMAR 就这样扩展了：

SHELL GRAMMAR
   Simple Commands
       A simple command is a sequence of optional  variable  assignments  fol-
       lowed  by  blank-separated  words and redirections, and terminated by a
       control operator.  The first word specifies the command to be executed,
       and  is  passed  as  argument  zero.  The remaining words are passed as
       arguments to the invoked command.

       The return value of a simple command is its exit status,  or  128+n  if
       the command is terminated by signal n.

Answer 2

为了简化 EtanReisner 的详细回答，set -e 仅在出现“未捕获”错误时退出。在你的情况下：

echo "about to fail" && /bin/false && echo "foo"

失败代码/bin/false 后跟&& 测试其退出代码。由于&& 测试了退出代码，因此假设程序员知道他在做什么并且预计该命令可能会失败。因此，脚本不会退出。

相比之下，考虑：

echo "about to fail" && /bin/false

程序不会在/bin/false 的退出代码上进行测试或分支。因此，当/bin/false 失败时，set -e 将导致脚本退出。

/bin/false 失败时退出的替代方案

考虑：

set -e
echo "about to fail" && /bin/false ; echo "foo"

如果/bin/false 失败，此版本将退出。与使用&& 的情况一样，最终语句echo "foo" 因此只有在/bin/false 成功时才会执行。

Answer 3

我在 Bash 脚本中遇到了 set -e，但无法理解在 && 或 || 列表中最后一个 && 或 || 之后的命令评估会发生什么。我知道http://man7.org/linux/man-pages/man1/bash.1.html 对set -e 的以下引用：

如果失败的命令是 (...) 的一部分，shell 不会退出 在&& 或|| 列表中执行的任何命令，除了命令 在最后的&& 或|| 之后（...）

为了测试这个，我写了一个小的 Bash 脚本：

#!/bin/bash

bash -c "set -e ; true           ; echo -n A"
bash -c "set -e ; false          ; echo -n B"
bash -c "set -e ; true  && true  ; echo -n C"
bash -c "set -e ; true  && false ; echo -n D"
bash -c "set -e ; false && true  ; echo -n E"
bash -c "set -e ; false && false ; echo -n F"
bash -c "set -e ; true  || true  ; echo -n G"
bash -c "set -e ; true  || false ; echo -n H"
bash -c "set -e ; false || true  ; echo -n I"
bash -c "set -e ; false || false ; echo -n J"

echo ""

打印出来：

ACEFGHI

---

关于A：

true 没有非零状态。因此，shell 不会退出。

关于乙：

false 确实具有非零状态，并且不是&& 或|| 列表的一部分。因此，shell 退出。

关于C：

这是一个&& 或|| 列表。我们将不得不查看最后一个&& 或|| 之后的命令。该命令是true，它不具有非零状态。因此，是否对命令进行评估并不重要 - shell 不会以任何方式退出。

关于 D：

这是一个&& 或|| 列表。我们将不得不查看最后一个&& 或|| 之后的命令。这一次，命令是false，它确实具有非零状态。所以我们必须检查false 是否正在被评估——确实是这样，因为&& 正在关注true。因此，shell 退出。

关于E：

与 C 的推理相同：true 是最后一个 && 或 || 之后的命令。因此，shell 不会退出。

关于 F：

类似于D：这是一个&& 或|| 列表。我们将不得不查看最后一个&& 或|| 之后的命令。同样，命令是false，它确实具有非零状态。不过这次没关系，因为第一个命令也是false。由于它是 && 列表，因此不会评估第二个 false。因此，shell 不会退出。

关于 G：

与 C 或 E 的推理相同：true 是最后一个 && 或 || 之后的命令。因此，shell 不会退出。

关于 H：

这是一个&& 或|| 列表。我们将不得不查看最后一个&& 或|| 之后的命令。这个命令是false，它确实有一个非零状态，但它不会被评估，因为||前面是true。因此，shell 不会退出。

关于我：

与 C、E 或 G 的推理相同：true 是最后一个 && 或 || 之后的命令.因此，shell 不会退出。

关于 J：

这是&& 或|| 列表。我们将不得不查看最后一个&& 或|| 之后的命令。这个命令是false，它确实有一个非零状态。由于|| 前面是false，第二个false 将被评估。因此，shell 确实退出了。

---

您应该能够将这些测试用例应用于您的案例：true && false && true。由于最后一个&& 或|| 之后的命令是true，它不具有非零状态，因此&& 或|| 之前的命令无关紧要，shell 也不会退出方式。