有没有人尝试编写一个修复 errexit 的 shell（`set -e`）？

Question 1

这POSIX标准（参见-e）比 Bash 手册中有关errexitshell 选项的内容更清楚。

启用此选项后，当任何命令失败时（由于 Shell 错误的后果中列出的任何原因或返回大于零的退出状态），shell 应立即退出，就像执行 exit 特殊内置实用程序一样不带任何参数，但以下情况除外：

多命令管道中任何单个命令的失败都不应导致 shell 退出。仅考虑管道本身的故障。

当执行 while、until、if 或 elif 保留字（以 ! 开头的管道）后面的复合列表时，应忽略 -e 设置。保留字，或 AND-OR 列表中除最后一个以外的任何命令。

如果子 shell 命令以外的复合命令的退出状态是在 -e 被忽略时失败的结果，则 -e 不适用于该命令。

此要求分别适用于 shell 环境和每个子 shell 环境。例如，在：

set -e; (false; echo one) | cat; echo two

false 命令导致子 shell 退出而不执行 echo one；然而，执行 echo 2 是因为管道的退出状态 (false; echo one) |猫为零。

显然，示例代码等效于以下伪代码。

( LIST; ) && COMMAND || COMMAND

的退出状态列表为零，因为：

shellerrexit选项被忽略。
返回状态是指定的最后一个命令的退出状态列表，这里true。

因此，执行 AND 列表的第二部分：echo "OK"。

Answer

这POSIX标准（参见-e）比 Bash 手册中有关errexitshell 选项的内容更清楚。

启用此选项后，当任何命令失败时（由于 Shell 错误的后果中列出的任何原因或返回大于零的退出状态），shell 应立即退出，就像执行 exit 特殊内置实用程序一样不带任何参数，但以下情况除外：

多命令管道中任何单个命令的失败都不应导致 shell 退出。仅考虑管道本身的故障。

当执行 while、until、if 或 elif 保留字（以 ! 开头的管道）后面的复合列表时，应忽略 -e 设置。保留字，或 AND-OR 列表中除最后一个以外的任何命令。

如果子 shell 命令以外的复合命令的退出状态是在 -e 被忽略时失败的结果，则 -e 不适用于该命令。

此要求分别适用于 shell 环境和每个子 shell 环境。例如，在：

set -e; (false; echo one) | cat; echo two

false 命令导致子 shell 退出而不执行 echo one；然而，执行 echo 2 是因为管道的退出状态 (false; echo one) |猫为零。

显然，示例代码等效于以下伪代码。

( LIST; ) && COMMAND || COMMAND

的退出状态列表为零，因为：

shellerrexit选项被忽略。
返回状态是指定的最后一个命令的退出状态列表，这里true。

因此，执行 AND 列表的第二部分：echo "OK"。

Question 2

不是“有人尝试过写……”这个问题的答案，而是关于如何完成它的一些想法。好奇是否有人可以提供反馈。

当前脚本解决方案（Python、JavaScript 和较旧的 Perl 等）中的常见方法是使用 try ... catch 块。预期行为是任何错误都会触发异常。此行为与 $? 中捕获错误的 *sh 行为冲突。显然，“-e”未能以大多数开发人员期望的方式正确工作。无需在这里详细说明，因为这已经被广泛记录。

两种可能的方法：

创建更好的set -e：例如，set -ocatcherr具有更好的错误处理能力。
添加新try { list ; }命令，遵循现代脚本解决方案

'-ofailerr` 可以定义如下：

如果任何命令在控制流之外失败（if/while/until），则当前执行上下文应返回 1（如果这是顶级块，则退出）。此更改将有效地迫使开发人员对任何失败的命令提供错误处理，或者明确标记带有可以忽略的错误的命令。
适用于简单的脚本，有效地在未处理的错误上中止。

方法try { list ; }类似，只是语法不同

例子：

function foo {
    cat $* > a.txt
    wc -l a.txt
}

set -oerrfail
foo /non/existing/file    # Will  fail, without executing the "wc -l"

if foo /non/existing/file ; then
   ...
else
   # This is the "catch" block
fi

使用 try 块：

try {
    foo /non/existing/file
    ...
} || { catch-block }

实际上，该 try 相当于“set -oerrofail”，在“if !”下运行命令列表。 { ... } ;然后 { catch 块 }

Answer