使用set -E -T时如何避免陷阱处理程序相互干扰？

你的代码中开启了set -E（让ERR陷阱在函数/子shell执行错误时触发）和set -T（让RETURN陷阱被函数的陷阱处理程序继承），导致err_trap执行完毕后触发RETURN陷阱，提前将全局变量ERR_FLAG重置为0，最终函数返回的错误码不符合预期。以下是避免这类陷阱干扰的几种最佳实践：

1. 在陷阱处理程序中临时禁用其他陷阱 #

进入陷阱函数时，先暂存当前的其他陷阱设置并临时禁用，处理完核心逻辑后再恢复，避免嵌套触发。

修改后的陷阱函数示例：

err_trap() {
    # 暂存当前RETURN陷阱设置并临时禁用
    local prev_return_trap=$(trap -p RETURN)
    trap - RETURN
    
    echo "hit err_trap - setting ERR_FLAG"
    ERR_FLAG=1
    
    # 恢复原RETURN陷阱
    eval "$prev_return_trap"
}

return_trap() {
    # 可选：如果RETURN陷阱执行时也可能触发ERR陷阱，同样暂存并禁用
    local prev_err_trap=$(trap -p ERR)
    trap - ERR
    
    echo "hit return_trap - resetting ERR_FLAG (was: $ERR_FLAG)"
    ERR_FLAG=0
    
    eval "$prev_err_trap"
}

这样err_trap执行结束后不会触发RETURN陷阱，ERR_FLAG能保留到f1的return语句执行。

2. 用标记变量区分陷阱执行上下文 #

设置全局标记变量，标识当前是否正在执行陷阱处理逻辑，避免多个陷阱嵌套触发。

示例代码：

export ERR_FLAG=0
export IN_TRAP=0

err_trap() {
    (( IN_TRAP )) && return
    IN_TRAP=1
    
    echo "hit err_trap - setting ERR_FLAG"
    ERR_FLAG=1
    
    IN_TRAP=0
}

return_trap() {
    (( IN_TRAP )) && return
    IN_TRAP=1
    
    echo "hit return_trap - resetting ERR_FLAG (was: $ERR_FLAG)"
    ERR_FLAG=0
    
    IN_TRAP=0
}

当一个陷阱正在执行时，另一个陷阱触发会直接返回，避免交叉修改全局变量。

3. 按需关闭set -T（如果业务允许） #

如果你的场景不需要让RETURN陷阱被陷阱处理函数继承，可以直接关闭set -T，仅保留set -E：

set -E  # 移除set -T

这样只有函数正常返回时才会触发RETURN陷阱，err_trap执行完毕不会触发RETURN陷阱，ERR_FLAG的修改逻辑不会被提前打断。

4. 减少全局变量依赖，用返回值传递错误状态 #

全局变量容易被陷阱干扰，改用函数返回值直接传递错误状态，从根源避免陷阱对全局变量的修改冲突：

#!/bin/bash
set -E

f1() {
    local err_code=0
    false || err_code=1
    echo "f1: err_code=$err_code - will return it"
    return "$err_code"
}

f2() {
    f1
    local ret=$?
    echo "f2: f1 returned $ret"
    return "$ret"
}

f2
final_ret=$?
echo "final return code=$final_ret"

这种方式无需依赖全局变量，直接通过函数返回值传递错误状态，逻辑更清晰，也避免了陷阱之间的干扰。

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