![为什么 ksh 中“[[”和“-e xxx”之间需要一个空格?](https://linux22.com/image/913405/%E4%B8%BA%E4%BB%80%E4%B9%88%20ksh%20%E4%B8%AD%E2%80%9C%5B%5B%E2%80%9D%E5%92%8C%E2%80%9C-e%20xxx%E2%80%9D%E4%B9%8B%E9%97%B4%E9%9C%80%E8%A6%81%E4%B8%80%E4%B8%AA%E7%A9%BA%E6%A0%BC%EF%BC%9F.png)
例如,以下命令不起作用:
if [[-e xyz]]; then echo File exists;fi
ksh 给出以下错误
[[-e: command not found
是因为“[[-”有歧义吗?
答案1
最简单的解释是,因为手册上是这样写的,所以和和结束[[ expression ]]
之间必须有空格。但当然我们可以尝试更深入地研究它。shell 的语法有些复杂,并且严重依赖“分词”的概念。特别是, [[
expression
]]
韓國(1)手册指出:
shell 开始解析输入,将其分解为单词。单词是字符序列,由不带引号的空白字符(空格、制表符和换行符)或元字符(<、>、|、;、&、( 和 ))分隔。除了分隔单词外,空格和制表符会被忽略,而换行符通常用于分隔命令。
因此,正如手册中所述,字符序列[[-e
被视为 shell 词。将在内置命令和特殊运算符(如或)ksh
列表中查找此类命令,然后查找外部命令 - 然后 - 没有找到任何命令,因此出现有关未找到命令的错误消息。for
while
在这种情况下[[
,也不是特殊的元字符。如果是,则-e
中的部分[[-e
将被视为 shell 词,而不是其自身的参数[[
。但是,[[
被描述为复合命令,手册中说:
复合命令是使用以下保留字创建的 - 这些字只有在未加引号并且用作命令的第一个字时才被识别(即,它们前面不能有参数分配或重定向):
因此,为了[[
被识别为复合命令,它必须是命令或命令列表的第一个词,根据“词”的先前定义,它必须用空格、制表符或换行符与其他词/参数分隔开。
你已经问过评论:“为什么解析器不能在找到“[[”模式后立即停止,并将其视为条件命令的开始?”简短的回答可能是因为 1)[
语法的影响,因为它最初是一个外部命令,并且对于 POSIX 标准合规性,即使在今天也存在外部命令,以及 2) 因为 shell 解析器就是这样构建的。 Shell 解析器可以识别其他非空格分隔的特殊字符: echo $((2+2))
并且(echo foobar)
工作得很好。也许在未来,当ksh
开发恢复或出现分支或克隆(如mksh
或pdksh
)时,有人会在 中实现无空格语法[[-e
。
也可以看看:
- 按照 POSIX 语法,
[[
它被称为“保留字”(参见Shell 命令语言第 2.9 节)。根据 POSIX 定义,保留字必须用空格分隔。相比之下,(
是一个运算符,标准在第 2.9 节中指出“表示包括标记之间的空格,在某些地方,<blank>
s 不是必需的(当其中一个标记是运算符时)”。参见相关讨论: POSIX Shell 语法:为什么大括号组需要第一个空格而子 shell 不需要?
答案2
需要注意的是[
是一个命令,而 bash 和 ksh 中的 shell 关键字[[
基于[
。
[[
使用方式与 类似[
。有时您甚至可以用 替换,[
]
而[[
]]
不会改变行为。与[
任何命令一样,使用 时,命令与其参数之间必须有一个空格。这同样适用于[[
。
我们以前只有/usr/bin/[
。现在大多数 shell 都[
内置了 以提高效率 — 但语法是一样的。在提供 的 shell 中[[
,它充当更加多功能替代[
。
[
以下是bash 中的描述:
$ help [
[: [ arg... ]
Evaluate conditional expression.
This is a synonym for the "test" builtin, but the last argument must
be a literal `]', to match the opening `['.
因此,[
它等同于test
(除了]
在最后需要参数)。help test
将提供更多详细信息。您可以将其与进行比较help [[
。
还有一个外部命令的手册页[
(man \[
)。
如果是
if [[-e
- 那里既不是命令,
[
也不[[
是命令。完整的单词[[-e
是。 - 这
if [[-e
使得它成为真/假的测试。所以是否存在命令[[-e
?
是因为“[[-”有歧义吗?
是的。或者不是。[[-e
事实就是如此:shell 无法理解任何内容,因此它认为这是自己的命令。;-)
答案3
该空间是一个分隔符并且是必需的。正如你所看到的shellcheck
:
$ shellcheck gmail-browse-msgs-algorithm.sh
In gmail-browse-msgs-algorithm.sh line 847:
[[$Today != "${DaysArr[ i + DAY_DELETED_ON_NDX ]}" ]] && continue
^-- SC1035: You need a space after the [[ and before the ]].
(ksh 和 bash 都支持[[
空格,但如果没有空格则无法工作。Shellcheck 使用包含该错误行的类似 ksh 和 bash 脚本给出完全相同的输出。)
为什么需要分隔符与标记和词典。
答案4
由于[[-e
可以参与 shell 扩展(它可以像
echo [[-e]*
为了列出以[
和之间的字母开头的所有文件(包括),如果和是特殊字符,不参与正常的由空格控制的单词拆分,e
那将是一团糟。[
]