Shell脚本中[命令-o选项仅接单个变量时的返回逻辑疑问

Shell中的[不是内置语法关键字，是和ls、grep等价的独立可执行命令（别名为test，仅要求调用时最后一个参数必须是]作为闭合标识），它的判断逻辑完全由传入的参数个数、参数内容决定。你遇到的反常结果，本质是不同参数数量下-o的语义完全不同，加上未加引号的变量触发单词拆分，改变了实际传参。

复现场景 #

测试用例1 #

foo="example"
if [ -o $foo ]; then
        foo="true"
        echo $foo
fi

执行后无任何输出，判断结果为假。

测试用例2 #

foo=" "
if [ -o $foo ]; then
        foo="true"
        echo $foo
fi

执行后输出true，判断结果为真。

-o的语义规则 #

很多人误以为-o是固定的逻辑或操作符，实际上它的作用完全随[命令收到的判断参数（不含闭合用的]）数量变化：

• 收到≥3个判断参数时，-o才是二元逻辑或操作符，用来连接左右两个独立判断表达式，任意一侧为真则整体返回真，也就是常见的[ 表达式1 -o 表达式2 ]用法，你提到的[ $foo -o $foo ]返回真正是触发了这个逻辑。
• 收到2个判断参数时，如果第一个参数是-o，它会被识别为一元选项判断符，作用是检查第二个参数指定的Shell选项（即set -o 选项名对应的开关，比如errexit、noclobber等）是否处于开启状态，和逻辑或没有任何关系。
• 收到1个判断参数时，不会识别任何选项，只要这个参数是非空字符串，就直接返回真。

结果解释 #

1. 测试用例1中，foo="example"，变量展开后实际执行的命令是[ -o example ]，传给[的判断参数为-o、example共2个，触发Shell选项检查逻辑：判断名为example的Shell选项是否开启。默认环境下不存在名为example的内置选项，因此判断返回假，不会进入分支。
2. 测试用例2中，foo被赋值为一个空格而非空值，且引用$foo时未加双引号，Shell会对变量展开结果做单词拆分，空白字符会被直接丢弃，最终实际执行的命令是[ -o ]——传给[的判断参数只有-o这一个非空字符串，触发单参数非空即真的规则，因此判断返回真，进入分支输出结果。

避坑建议 #

• [命令中引用变量始终加双引号，避免意外的单词拆分、通配符展开改变实际传参
• POSIX规范已不推荐在[中使用-o/-a做逻辑连接，更稳妥的写法是用||/&&连接两个独立的[判断，例如[ "$a" = "x" ] || [ "$b" = "y" ]

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