为何Shell中myVar=hello [ "$myVar" ]执行失败？手册未提及相关行为？

问题背景 #

我在Shell语法手册中看到：

简单命令是由可选变量赋值序列，后接空白分隔的单词和重定向，并以控制操作符结尾的命令。

于是编写了如下测试脚本：

#!/usr/bin/bash
if myVar=hello [ "$myVar" ]; then echo "$myVar"; else echo fail "$myVar"; fi

执行结果：

$ ./test.sh 
fail

按照手册的理解，脚本应该正常运行，但实际执行失败。ShellCheck给出SC2097警告：该赋值仅对子进程可见，解释为前置赋值仅作为后续命令的环境变量存在。我疑惑手册未提及此行为，且按此逻辑[命令应能访问myVar，为何脚本输出fail？

问题原因解析 #

核心问题出在Shell的解析顺序和前置赋值的作用范围上：

1. 变量替换先于命令执行：当Shell处理myVar=hello [ "$myVar" ]这行代码时，会先完成所有变量替换操作。此时$myVar在当前Shell环境中还未被赋值，会被替换成空字符串，所以实际执行的命令变成了myVar=hello [ "" ]。
2. 前置赋值的作用范围：myVar=hello确实会作为后续[命令的环境变量，但[命令收到的参数已经是替换后的空字符串了——变量替换发生在赋值生效之前，所以[命令拿到的是空参数，[ "" ]会返回非零状态码，导致条件判断失败，进入else分支。
3. 手册的描述没错，但需要注意：简单命令中的赋值序列是给后续命令的执行环境设置变量，而不是在当前Shell提前生效。变量替换是Shell在解析整个命令行时完成的，此时赋值还没生效。

正确写法示例 #

如果要让赋值生效后再进行判断，需要把赋值和判断拆成两个独立的Shell命令：

#!/usr/bin/bash
if myVar=hello && [ "$myVar" ]; then 
    echo "$myVar"
else 
    echo fail "$myVar"
fi

或者用分号分隔：

#!/usr/bin/bash
if myVar=hello; [ "$myVar" ]; then 
    echo "$myVar"
else 
    echo fail "$myVar"
fi

这两种写法中，myVar=hello先在当前Shell环境中完成赋值，之后的[ "$myVar" ]就能正确读取到变量值，条件判断会成功，输出hello。

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