为什么 ksh 中“[[”和“-e xxx”之间需要一个空格?

为什么 ksh 中“[[”和“-e xxx”之间需要一个空格?

例如,以下命令不起作用:

if [[-e xyz]]; then echo File exists;fi

ksh 给出以下错误

[[-e: command not found

是因为“[[-”有歧义吗?

答案1

最简单的解释是,因为手册上是这样写的,所以和和结束[[ expression ]]之间必须有空格。但当然我们可以尝试更深入地研究它。shell 的语法有些复杂,并且严重依赖“分词”的概念。特别是, [[expression]]韓國(1)手册指出:

shell 开始解析输入,将其分解为单词。单词是字符序列,由不带引号的空白字符(空格、制表符和换行符)或元字符(<、>、|、;、&、( 和 ))分隔。除了分隔单词外,空格和制表符会被忽略,而换行符通常用于分隔命令。

因此,正如手册中所述,字符序列[[-e被视为 shell 词。将在内置命令和特殊运算符(如或)ksh列表中查找此类命令,然后查找外部命令 - 然后 - 没有找到任何命令,因此出现有关未找到命令的错误消息。forwhile

在这种情况下[[,也不是特殊的元字符。如果是,则-e中的部分[[-e将被视为 shell 词,而不是其自身的参数[[。但是,[[被描述为复合命令,手册中说:

复合命令是使用以下保留字创建的 - 这些字只有在未加引号并且用作命令的第一个字时才被识别(即,它们前面不能有参数分配或重定向):

因此,为了[[被识别为复合命令,它必须是命令或命令列表的第一个词,根据“词”的先前定义,它必须用空格、制表符或换行符与其他词/参数分隔开。


你已经问过评论:“为什么解析器不能在找到“[[”模式后立即停止,并将其视为条件命令的开始?”简短的回答可能是因为 1)[语法的影响,因为它最初是一个外部命令,并且对于 POSIX 标准合规性,即使在今天也存在外部命令,以及 2) 因为 shell 解析器就是这样构建的。 Shell 解析器可以识别其他非空格分隔的特殊字符: echo $((2+2))并且(echo foobar)工作得很好。也许在未来,当ksh开发恢复或出现分支或克隆(如mkshpdksh)时,有人会在 中实现无空格语法[[-e

也可以看看:

答案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那将是一团糟。[]

相关内容