Bash脚本Eval执行失败未触发错误处理的问题排查

我正在开发一款用于Bash脚本的配置文件解析器，支持变量赋值的基础Shell语法，并添加额外验证避免误用。成功场景运行正常，但eval执行失败时错误处理代码并未触发，无法定位原因。以下是复现问题的简化代码：

#!/usr/bin/env bash
shopt -s -o nounset
shopt -s -o errexit
shopt -s -o pipefail
shopt -s globstar
shopt -s extglob
#shopt -s -o xtrace
IFS=$'\n\t'


function loadConf()
{
    local confFileLcl="$1"
    local lineLcl
    local optionLcl
    local valueLcl

    while IFS='' read -r lineLcl
    do
        lineLcl=${lineLcl%%#*}

        case "${lineLcl}" in
        *=*)
            optionLcl="${lineLcl%%=*}"
            valueLcl=${lineLcl#*=}
            valueLcl=${valueLcl//\"/}
            eval "${optionLcl}='${valueLcl}'" || echo  "Failed to set '${optionLcl}'."
        esac
    done <"${confFileLcl}"
}
declare -frt loadConf

# 创建配置文件
echo -e "
var0=\"Value is set\"
var1=\"This is not an integer\"
" > "test.conf"

# 创建预期赋值成功的变量
declare var0="not-set"
# 创建预期赋值失败的整型变量
declare -i var1=42

# 加载配置文件
loadConf "test.conf"

[[ "${var0}" == "Value is set" ]] || echo "Var0 check failed."
[[ "${var1}" -eq 42 ]] || echo "Var1 check failed."

实际执行输出 #

$ ./demo.sh
./demo.sh: line 27: This: unbound variable

（第27行代码为：eval "${optionLcl}='${valueLcl}'" || { echo "Failed to set '${optionLcl}'." ; true; }）

预期输出 #

Failed to set 'var1'.
Var1 check failed.

开启trace模式的执行日志 #

$ ./demo.sh                               
+ IFS='                                   
        '                                 
+ declare -frt loadConf                   
+ echo -e '                               
var0="Value is set"                       
var1="This is not an integer"             
'                                         
+ declare var0=not-set                    
+ declare -i var1=42                      
+ loadConf test.conf                      
+ local confFileLcl=test.conf             
+ local lineLcl                           
+ local optionLcl                         
+ local valueLcl                          
+ IFS=                                    
+ read -r lineLcl                         
+ lineLcl=                                
+ case "${lineLcl}" in                    
+ IFS=                                    
+ read -r lineLcl                         
+ lineLcl='var0="Value is set"'           
+ case "${lineLcl}" in                    
+ optionLcl=var0                          
+ valueLcl='"Value is set"'               
+ valueLcl='Value is set'                 
+ eval 'var0='\''Value is set'\''        
++ var0='Value is set'                    
+ IFS=                                    
+ read -r lineLcl                         
+ lineLcl='var1="This is not an integer"' 
+ case "${lineLcl}" in                    
+ optionLcl=var1                          
+ valueLcl='"This is not an integer"'     
+ valueLcl='This is not an integer'       
+ eval 'var1='\''This is not an integer'\'
++ var1='This is not an integer'          
./demo.sh: line 27: This: unbound variable

问题原因与解决方案 #

核心原因 #

1. errexit模式直接终止脚本：开启了errexit（set -e）选项，当eval执行失败时，Bash会直接终止整个脚本，不会执行||后面的错误处理代码。
2. nounset模式触发额外错误：给整型变量var1赋值字符串时，Bash会尝试将字符串解析为算术表达式，"This"被视为未定义变量，触发nounset错误，直接终止脚本。

解决方案 #

方案1：临时禁用errexit执行eval

在执行eval前后临时关闭errexit，确保错误处理逻辑能正常触发：

# 保存当前errexit状态
local errexit_status=$(shopt -po errexit)
# 临时禁用errexit
set +e
# 执行eval并捕获退出码
eval "${optionLcl}='${valueLcl}'"
local eval_exit=$?
# 恢复原errexit状态
$errexit_status

# 处理错误
if [[ $eval_exit -ne 0 ]]; then
    echo "Failed to set '${optionLcl}'."
fi

方案2：替换eval，使用安全的赋值逻辑（更推荐）

eval存在安全风险，且容易触发严格模式错误，直接用Bash内置的read命令赋值，并针对整型变量做验证：

function loadConf()
{
    local confFileLcl="$1"
    local lineLcl
    local optionLcl
    local valueLcl

    while IFS='' read -r lineLcl
    do
        lineLcl=${lineLcl%%#*}

        case "${lineLcl}" in
        *=*)
            optionLcl="${lineLcl%%=*}"
            valueLcl=${lineLcl#*=}
            valueLcl=${valueLcl//\"/}
            
            # 检查变量是否为整型
            if [[ "$(declare -p "$optionLcl" 2>/dev/null)" =~ "declare -i" ]]; then
                # 验证值是否为整数
                if [[ "$valueLcl" =~ ^[0-9]+$ ]]; then
                    read -r "$optionLcl" <<< "$valueLcl"
                else
                    echo "Failed to set '${optionLcl}'."
                fi
            else
                # 普通变量直接赋值
                read -r "$optionLcl" <<< "$valueLcl"
            fi
        esac
    done <"${confFileLcl}"
}

替换后执行脚本，会得到预期输出：

Failed to set 'var1'.
Var1 check failed.

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