Bash中errexit模式为何不传递给命令替换子shell，却可传递给常规子shell？

这不是Bug，是Bash遵循POSIX标准的设计行为，核心原因是set -e的生效规则在命令替换子shell中有特殊例外，而常规子shell的行为与主shell完全一致。

核心规则说明 #

set -e（errexit模式）的作用是：当任何简单命令返回非零退出码时，立即终止当前shell——但存在一系列例外场景，其中与子shell相关的关键规则是：

1. 命令替换子shell$(...)/反引号：在命令替换内部，只有当子shell中的最后一个命令返回非零码时，才会触发set -e终止子shell；如果非零命令不是最后一个，后续命令会继续执行，子shell不会终止。
2. 常规子shell(...)：完全继承主shell的set -e规则，只要任何简单命令返回非零码（且不在其他例外场景，比如if判断、&&/||链等），就会立即终止子shell。

此外，Bash对赋值语句有额外例外：主shell/常规子shell中的赋值命令（如var=$(...)），即使命令替换返回非零码，也不会触发set -e终止当前shell——这也是你第一个示例中foo()能继续执行后续echo命令的核心原因。

结合你的测试案例解析 #

第一个示例 #

• a=$(foo)：命令替换子shell执行foo()，其中somevar=$(echo foo; exit 42)是主逻辑中的赋值命令，即使内部命令替换返回42，赋值命令的非零码不会触发set -e，foo()继续执行到最后两个echo命令（退出码0），因此整个$(foo)的退出码是0，外层脚本不会终止。
• (foo)：常规子shell执行foo()，同样因为赋值命令的例外规则，somevar=$(...)的非零码不会触发子shell终止，foo()执行到最后退出码0，子shell正常退出，外层脚本继续运行。
• foo：直接在主shell执行，逻辑和常规子shell一致，不会终止，最后退出码0。

第二个测试脚本解析 #

• Run 1：a=$(b=$(exit 42); echo "möp")，命令替换内部的最后一个命令是echo "möp"（退出码0），子shell不会触发set -e，外层脚本继续，退出码0。
• Run 2：a=$(b=$(exit 43))，命令替换内部的最后一个命令是赋值语句b=$(exit 43)，其退出码为43（内部命令替换的退出码），因此命令替换子shell触发set -e终止，外层脚本因为set -e生效，收到非零退出码后终止。
• Run 3：a=$((exit 44); echo "möp")，命令替换内部最后一个命令是echo "möp"（退出码0），子shell不终止，外层继续。
• Run 4：a=$((exit 45))，命令替换内部的常规子shell因exit 45触发set -e终止，命令替换的退出码是45，但外层的赋值命令属于例外场景，不会触发set -e，所以外层脚本继续。
• Run 5：a=$(exit 46; echo "möp")，命令替换内部最后一个命令是exit 46，子shell触发set -e终止，命令替换退出码46，外层脚本因为该命令不属于例外场景，触发set -e终止。
• Run 6/7：常规子shell中exit 47/exit 48是最后一个命令，触发set -e终止子shell，外层脚本收到非零退出码后终止。

总结 #

这种行为是POSIX标准和Bash设计的结果，目的是避免命令替换中临时的非零退出码意外终止整个脚本——毕竟命令替换的核心是获取输出，而非严格校验每一步的退出码。如果需要在命令替换中严格触发errexit，可以显式检查退出码（比如somevar=$(cmd || exit $?)），或者在命令替换内部重新启用set -e并确保最后一个命令的退出码符合预期。

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