Bash子shell陷阱异常问题：为何添加echo后无法触发ERR陷阱？

默认情况下子shell不会继承主shell的陷阱，但以下两个测试脚本出现了完全不同的执行结果，引发困惑：

测试脚本1 #

function set_trap_for_exception() {
  function _on_error() {
    echo "error start"
    exit 1
  }
  trap '_on_error "$BASH_COMMAND" $LINENO' ERR
}

function is_hygon_cpu() {
  vendor_id=$(lscpu | grep "value is not exist")
}

function main()
{
        set_trap_for_exception
        is_hygon_cpu

}

main

执行时，vendor_id=$(lscpu | grep "value is not exist")命令会报错（grep未匹配到内容返回非零），未设置-E选项，但输出为error start，主shell的ERR陷阱被触发。

测试脚本2 #

function set_trap_for_exception() {
  function _on_error() {
    echo "error start"
    exit 1
  }
  trap '_on_error "$BASH_COMMAND" $LINENO' ERR
}

function is_hygon_cpu() {
 echo "start"
 vendor_id=$(lscpu | grep "value is not exist")
 echo "end"
}

function main()
{
        set_trap_for_exception
        is_hygon_cpu

}

main

执行时输出为start和end，相同的报错命令未触发陷阱。

问题 #

为何会出现这种情况？函数内的命令对陷阱是否有影响？添加echo后为何无法捕获异常？

原因解析 #

这本质是Bash中ERR陷阱的触发规则导致的，核心点在于：

• ERR陷阱的触发前提是：某个命令返回非零退出状态，且这个状态没有被后续命令覆盖，也没有被显式的错误处理逻辑（如&&、||、if判断）捕获。
• 函数的退出状态由其内部最后一个执行的命令的退出状态决定。

对脚本1的分析 #

is_hygon_cpu函数内只有vendor_id=$(...)这一条命令：

1. 命令替换中的子shell（lscpu | grep ...）执行失败，grep返回非零，因此整个vendor_id=$(...)命令的退出状态为非零。
2. 函数的退出状态就是这个非零值，且主shell中调用is_hygon_cpu后没有后续命令，这个非零状态直接传递到主shell的执行上下文。
3. 主shell的ERR陷阱检测到未被处理的非零退出状态，因此触发_on_error函数。

对脚本2的分析 #

is_hygon_cpu函数内vendor_id=$(...)之后还有echo "end"命令：

1. 虽然vendor_id=$(...)命令返回非零，但后续的echo "end"执行成功（返回0）。
2. 函数的退出状态被最后一个命令的0状态覆盖，主shell接收到的是函数执行成功的信号。
3. 由于没有未被处理的非零状态，主shell的ERR陷阱不会被触发。

另外需要明确：命令替换的子shell确实不会继承主shell的ERR陷阱，但子shell的退出状态会传递给父shell的命令替换表达式，而陷阱是否触发取决于父shell中这个表达式的退出状态是否成为最终未被处理的状态。

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