Bash 4.4前版本ERR陷阱return等效于return 0的原因及兼容方案

问题现象 #

在Bash v4.4之前的版本（如3.2.57、4.1）中，ERR陷阱内的return语句会被等效为return 0，导致错误状态被意外掩盖，脚本无法按预期终止。而在Bash v4.4.18及更高版本中，该行为被修复，return的参数会被正确传递，错误处理逻辑能够正常执行。

最小复现代码 #

#!/usr/bin/env bash

set -Ee
trap '
TRAP_STATUS=$?
printf "%s\n" "TRAPPED: ${FUNCNAME-}: $TRAP_STATUS"
if [[ -n ${FUNCNAME-} ]]; then
    return $(($TRAP_STATUS * 10))
else
    exit $(($TRAP_STATUS * 10))
fi' ERR

function __return {
    return "$1"
}
function fn {
    printf '%s\n' 'fn'
    __return 1
    printf '%s\n' "inner: $?"
}

printf '%s\n' 'root'
fn
printf '%s\n' "root: $?"

exit 9

低版本（v4.4之前）输出 #

root
fn
TRAPPED: fn: 1
root: 0

脚本最终退出状态为9，说明陷阱中的return 10被当作return 0处理，set -e未触发终止，脚本继续执行到最后的exit 9。

高版本（v4.4.18+）输出 #

root
fn
TRAPPED: fn: 1
TRAPPED: : 10

脚本最终退出状态为100，陷阱中的return 10正确传递了状态，触发后续的ERR陷阱处理，最终按预期终止。

全面示例：低版本的意外续行问题 #

以下示例更直观展示低版本中该行为导致的脚本意外继续执行的问题：

#!/usr/bin/env bash

set -Ee
trap '
TRAP_STATUS=$?
printf "%s\n" "TRAPPED: ${FUNCNAME-}: $TRAP_STATUS"
if [[ ${FUNCNAME-} == "outer" ]]; then
    return 0
elif [[ -n ${FUNCNAME-} ]]; then
    return $(($TRAP_STATUS + 1))
else
    exit $(($TRAP_STATUS + 1))
fi' ERR

function __return {
    return "$1"
}
function inner {
    __return 10 # bash v4.4 completes here
    printf '%s\n' "inner __return (1/2): $?"
    __return 20
    printf '%s\n' "inner __return (2/2): $?"
    return 30
}
function outer {
    inner # bash v4.4 completes here
    printf '%s\n' "outer inner (1/2): $?"
    inner
    printf '%s\n' "outer inner (2/2): $?"
    __return 40
    printf '%s\n' "outer __return (1/2): $?"
    __return 50
    printf '%s\n' "outer __return (2/2): $?"
    return 60
}
function main {
    outer
    printf '%s\n' "main outer (1/2): $?"
    outer
    printf '%s\n' "main outer (2/2): $?"
    __return 70 # bash v4.4 completes here as our ERR trap wishes to ignore outer failures
    printf '%s\n' "main __return (1/2): $?"
    __return 80
    printf '%s\n' "main __return (2/2): $?"
    return 90
}

printf '%s\n' 'root'
main # bash v4.4+ completes here with exit status 72
printf '%s\n' "root: $?"
exit 123 # bash v4.3 and below completes here with exit status 123

• Bash v4.4+：执行到main中的__return 70时触发陷阱，脚本按预期终止，退出状态为72。
• Bash v4.3及以下：陷阱中的return被当作return 0，脚本会继续执行到最后的exit 123，退出状态为123，完全不符合预期。

行为变化的原因 #

Bash v4.4修复了ERR陷阱中return语句的退出状态传递逻辑：

• 在v4.4之前的版本中，ERR陷阱内执行return N时，Shell会忽略N的值，强制将函数的退出状态设为0，同时不会触发set -e的终止逻辑，导致脚本继续执行。
• v4.4及之后的版本中，ERR陷阱内的return参数会被正确传递，函数的退出状态会被设置为指定的N，如果开启了set -e，非0的退出状态会触发脚本终止，同时会继续向上传递错误，触发上层的ERR陷阱（如示例中的根级陷阱）。

该修复属于Bash对错误处理机制的完善，虽未在变更日志中单独高亮，但属于对ERR陷阱执行逻辑的底层修正。

早期版本的兼容方案 #

要在Bash v4.4之前的版本中实现与高版本一致的陷阱行为，可以采用以下方案：

• 避免在ERR陷阱中使用return传递状态：改用exit直接终止脚本，或者在陷阱中设置全局错误变量，然后在函数内显式处理。
• 模拟错误传递：在陷阱中使用return 1，同时将期望的错误状态存入全局变量，后续脚本通过读取该变量判断错误类型。
• 手动触发终止：如果需要终止脚本，在陷阱中执行kill -TERM $$来强制终止，确保错误状态被正确传递。

例如，修改最小复现代码的陷阱逻辑以兼容低版本：

trap '
TRAP_STATUS=$?
printf "%s\n" "TRAPPED: ${FUNCNAME-}: $TRAP_STATUS"
if [[ -n ${FUNCNAME-} ]]; then
    # 用全局变量保存错误状态，然后返回非0触发set -e
    export ERROR_STATUS=$(($TRAP_STATUS * 10))
    return 1
else
    exit $(($TRAP_STATUS * 10))
fi' ERR

之后在脚本中可以通过$ERROR_STATUS获取期望的错误状态。

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