使用`set -eu`时正确的EXIT和ERR陷阱行为

与ERR和EXIT陷阱一起使用set -e（errexit），set -u（nounset）时，我观察到一些奇怪的行为。它们似乎相关，因此将它们放在一个问题中似乎是合理的。

1）set -u不触发ERR陷阱

• 码：

  #!/bin/bash
  trap 'echo "ERR (rc: $?)"' ERR
  set -u
  echo ${UNSET_VAR}

• 预期：ERR陷阱被调用，RC！= 0
• 实际：未调用ERR陷阱，RC == 1
• 注意：set -e不改变结果

2）set -eu在EXIT陷阱中使用退出代码是0而不是1

• 码：

  #!/bin/bash
  trap 'echo "EXIT (rc: $?)"' EXIT
  set -eu
  echo ${UNSET_VAR}

• 预期：调用EXIT陷阱，RC == 1
• 实际：调用EXIT陷阱，RC == 0
• 注意：使用时set +e，RC ==1。当任何其他命令引发错误时，EXIT陷阱将返回正确的RC。
• 编辑：关于该主题的一篇SO帖子带有一个有趣的注释，表明这可能与所使用的Bash版本有关。使用Bash 4.3.11测试此代码段会导致RC = 1，所以更好。不幸的是，目前无法在所有主机上升级Bash（从3.2.51开始），因此我们必须提出其他解决方案。

谁能解释这些行为中的任何一个？

搜索这些主题不是很成功，考虑到有关Bash设置和陷阱的帖子数量，这令人惊讶。虽然有一个论坛主题，但是结论并不令人满意。

来自man bash：

• set -u
  • 治疗尚未设定的变量和除特殊参数的其他参数"@"和"*"执行参数扩展时为错误。如果尝试对未设置的变量或参数进行扩展，则外壳程序将显示一条错误消息，如果不是-i交互式的，则将以非零状态退出。

POSIX指出，如果发生扩展错误，则当扩展与特殊的内置shell （无论如何通常都会忽略这一区别，因此可能无关紧要）或其他任何实用程序相关联时，非交互式shell 都应退出。。bash

• Shell错误的后果：
  • 一个膨胀误差是一个当所定义的外壳膨胀时出现字展开被执行（例如，"${x!y}"因为!不是有效的操作者） ; 如果能够在标记化期间而不是在扩展期间检测到它们，则实现可以将它们视为语法错误。
  • [A] n交互式外壳应在不退出的情况下将诊断消息写入标准错误。

也来自man bash：

• trap ... ERR
  • 如果sigspec是ERR，则在满足以下条件的情况下，只要管道（可能由单个简单命令组成），列表或复合命令返回非零退出状态，就会执行命令arg：
    • 该ERR如果失败的命令是立即下命令列表的一部分不执行陷阱while或until关键字...
    • if声明中测试的一部分
    • ...在&&或||列表中执行的命令的一部分，但末尾&&或||... 之后的命令除外
    • ...管道中的任何命令，但最后一个...
    • ...或者使用来反转命令的返回值!。
  • 这些是errexit -e选项遵循的相同条件。

上面请注意，ERR陷阱全都是关于其他命令返回的评估。但是，当发生扩展错误时，不会运行任何命令以返回任何内容。在您的示例中，echo 永远不会发生 -因为在shell评估和扩展其参数时，它会遇到一个-unset变量，该变量已由显式shell选项指定，导致立即退出当前的脚本化shell。

因此，将执行EXIT陷阱（如果有的话），并且外壳程序将以一条诊断消息退出，并且退出状态为0以外的状态-恰如其应。

至于rc：0事情，我希望这是某种特定于版本的错误-可能与两个EXIT触发器同时发生，而另一个触发另一个退出代码（不应该发生）有关。而且无论如何，使用bash由安装的最新二进制文件pacman：

bash <<\IN
    printf "shell options:\t$-\n"
    trap 'echo "EXIT (rc: $?)"' EXIT
    set -eu
    echo ${UNSET_VAR}
IN

我添加了第一行，因此您可以看到shell的条件是脚本化shell的条件-它不是交互式的。输出为：

shell options:  hB
bash: line 4: UNSET_VAR: unbound variable
EXIT (rc: 1)

以下是最近变更日志中的一些相关说明：

• 修复了导致异步命令设置不$?正确的错误。
• 修正了由产生引起错误消息扩展的错误中 for的命令有错误的行号。
• 修复了导致SIGINT和SIGQUITtrap在异步子Shell命令中不可用的错误。
• 修复了中断处理导致交互式shell忽略第二个和后续SIGINT的问题。
• 在运行trap那些信号的处理程序时，shell不再阻止接收信号，并允许大多数 trap处理程序以递归方式运行 （在trap处理trap程序执行时运行处理程序）。

我认为最相关的是最后一个或第一个-或可能是两者的结合。一个trap处理程序是其本质异步的，因为它的整个工作就是等待和处理异步信号。然后您使用-eu和同时触发两个$UNSET_VAR。

因此，也许您应该只进行更新，但是如果您喜欢自己，可以使用完全不同的外壳来完成。

（我正在使用bash 4.2.53）。对于第1部分，bash手册页仅显示“将一条错误消息写入标准错误，并且将退出非交互式shell”。它并没有说将调用ERR陷阱，尽管我同意如果这样做会很有用。

务实的是，如果您真正想要的是更清晰地处理未定义的变量，则可能的解决方案是将大部分代码放入函数中，然后在子Shell中执行该函数并恢复返回代码和stderr输出。这是一个以“ cmd（）”为函数的示例：

#!/bin/bash
trap 'rc=$?; echo "ERR at line ${LINENO} (rc: $rc)"; exit $rc' ERR
trap 'rc=$?; echo "EXIT (rc: $rc)"; exit $rc' EXIT
set -u
set -E # export trap to functions

cmd(){
 echo "args=$*"
 echo ${UNSET_VAR}
 echo hello
}
oops(){
 rc=$?
 echo "$@"
 return $rc # provoke ERR trap
}

exec 3>&1 # copy stdin to use in $()
if output=$(cmd "$@" 2>&1 >&3) # collect stderr, not stdout 
then    echo ok
else    oops "fail: $output"
fi

猛扑我得到

./script my stuff; echo "exit was $?"
args=my stuff
fail: ./script: line 9: UNSET_VAR: unbound variable
ERR at line 15 (rc: 1)
EXIT (rc: 1)
exit was 1