为什么 $() 中的命令打印的 {1,2} 没有插值？

Question

我在一个目录中，其中有两个文本文件：

$ touch test1.txt
$ touch test2.txt

当我尝试使用某种模式列出文件（使用 Bash）时，它可以工作：

$ ls test?.txt
test1.txt  test2.txt
$ ls test{1,2}.txt
test1.txt  test2.txt

然而，当一个模式由包含在 中的命令产生时$()，只有一种模式有效：

$ ls $(echo 'test?.txt')
test1.txt  test2.txt
$ ls $(echo 'test{1,2}.txt')
ls: cannot access test{1,2}.txt: No such file or directory

这里发生了什么？为什么模式{1,2}不起作用？

Answer 1

这是两件事的结合。首先，大括号扩展不是匹配文件名的模式：它是纯粹的文本替换 - 请参阅`a[bc]d`（括号）和 `a{b,c}d`（括号）之间的区别是什么？. 其次，当您在双引号 ( ls $(…))之外使用命令替换的结果时，发生的只是模式匹配（和分词：“split+glob”运算符），而不是完整的重新解析。

使用ls $(echo 'test?.txt')，命令echo 'test?.txt'输出字符串test?.txt（带有最后的换行符）。命令替换的结果是字符串test?.txt（没有最后的换行符，因为命令替换会去除尾随的换行符）。这种未加引号的替换经过分词，产生一个由单个字符串组成的列表，test?.txt因为其中没有空格字符（更准确地说，没有字符 in $IFS）。然后这个单元素列表的每个元素都会进行有条件的通配符扩展，并且由于?字符串中有通配符，通配​​符扩展确实发生了。由于模式test?.txt至少匹配一个文件名，列表元素test?.txt被匹配模式的文件名列表替换，产生包含两个元素的列表test1.txt和test2.txt。最后ls用两个参数test1和调用test2。

使用ls $(echo 'test{1,2}')，命令echo 'test{1,2}'输出字符串test{1,2}（带有最后的换行符）。命令替换产生字符串test{1,2}。这个未加引号的替换经过分词，产生一个由单个字符串组成的列表test{1,2}。然后，这个单元素列表的每个元素都会进行条件通配符扩展，因为字符串中没有通配符，所以它什么也不做（元素保持原样）。因此ls使用单个参数调用test{1,2}。

为了进行比较，以下是ls $(echo test{1,2}). 该命令echo test{1,2}输出字符串test1 test2（带有最后的换行符）。命令替换产生字符串test1 test2（没有最后的换行符）。这种未加引号的替换经过分词，产生两个字符串test1和test2。然后，由于两个字符串都不包含通配符，因此它们被单独留下，因此ls使用两个参数test1和调用test2。

Answer 2

展开的顺序是：大括号展开；波浪号扩展、参数和变量扩展、算术扩展和命令替换（以从左到右的方式完成）；分词；和文件名扩展。

命令替换后不会发生大括号扩展。您可以使用 eval 强制进行另一轮扩展：

eval echo $(echo '{1,2}lala')

它的结果是：

1lala 2lala

Answer 3

这个问题非常特定于bash，这是因为他们决定bash将大括号扩展与文件名扩展（通配）分开，并在所有其他扩展之前先执行它。

从bash联机帮助页：

展开的顺序是：大括号展开；波浪号扩展、参数和变量扩展、算术扩展和命令替换（以从左到右的方式完成）；分词；和路径名扩展。

在您的示例中，bash只有在执行命令替换 (the $(echo ...))后才会看到您的大括号，但为时已晚。

这与所有其他 shell 不同，后者在路径名扩展（globbing）之前（有些甚至作为其一部分）执行大括号扩展。这包括但不限于csh首次发明支架扩展的地方。

$ csh -c 'ls `echo "test{1,2}.txt"`'
test1.txt test2.txt
$ ksh -c 'ls $(echo "test{1,2}.txt")'
test1.txt  test2.txt

$ var=nope var1=one var2=two bash -c 'echo $var{1,2}'
one two
$ var=nope var1=one var2=two csh -c 'echo $var{1,2}'
nope1 nope2

后者的例子是在相同csh，zsh，ksh93，mksh或fish。

另外，请注意，大括号扩展作为 globbing 的一部分也可以通过glob(3)库函数（至少在 Linux 和所有 BSD 上）和其他独立实现（例如在 perl: 中perl -le 'print join " ", <test{1,2}.txt>'）使用。

为什么以不同的方式做bash这件事背后可能有一个故事，但 FWIW 我找不到任何合乎逻辑的解释，而且我发现所有事后合理化都没有说服力。