Bash中lexer与expander执行顺序及命令解析机制疑问

案例一：变量扩展拼接命令名 #

$ test='o a'
$ ech$test
a

注：第二行未使用双引号，为实际测试用例

执行后结果等价于运行echo a，Bash能正确识别echo为命令名、a为参数，表面看似乎是变量扩展完成后才进行词法分析，但实际是Bash多阶段解析逻辑的体现。

案例二：含单引号的变量无引号扩展 #

$ test="'"
$ echo $test
'

执行后echo输出一个单引号。若错误认为扩展后是echo '，这会是未闭合引号的无效命令，但实际执行正常，这涉及无引号变量扩展的特殊处理逻辑。

案例三：含单引号的变量带引号扩展 #

$ test="'"
$ echo "$test"
'

执行后同样输出一个单引号。若错误认为扩展后是echo ""'"""，这会是无效命令，但实际运行正常，说明带引号的变量扩展有独立的处理规则。

核心解析流程 #

Bash的命令解析并非简单的「先词法分析再扩展」或「先扩展再词法分析」，而是分多阶段递进处理，核心步骤如下：

1. 初始词法标记：先扫描命令行，将内容拆分为基本语法单元（如命令名、变量引用、引号块等），仅标记需要扩展的部分，暂不替换变量值。
2. 扩展处理：对标记的变量、命令替换等进行值替换，此阶段分两种场景：
   • 无引号扩展：变量值替换后，会按IFS（空格、制表符等默认分隔符）拆分为多个词；扩展出的特殊字符（如单引号、双引号）仅作为普通文本，不会被重新当作语法符号解析。
   • 带双引号扩展：变量值直接替换到双引号内部，双引号本身会被剥离；内部所有字符（除$、反引号、反斜杠）均作为普通文本，不会触发语法解析。
3. 最终命令组装：将处理后的词作为命令名和参数，执行对应命令。

对应案例的具体说明 #

• 案例一：ech$test先被标记为「含变量的语法单元」，扩展后变为echo a，随后按空格拆分为echo和a两个独立词，分别作为命令名和参数执行。
• 案例二：$test无引号扩展后得到单引号'，该字符仅作为普通参数内容，不是语法层面的引号分隔符，因此命令为echo接收一个单引号参数，完全合法。
• 案例三："$test"被标记为「带双引号的变量引用」，扩展时直接将变量值（单引号'）取出，剥离外层双引号后作为单一参数传递给echo，因此能正常输出单引号。

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