为什么 bash 条件表达式中的某些字符串比较运算符周围不需要空格？

Question

这归结为这样一个事实：像&, ;, (, |, <, >, tab 这样的字符是元字符在 shell 语法中。它们形成自己的标记（或者可以组合成更多标记，例如;;, |&, ||...）。这与[、{、!、-和等字符不同=，这些字符类似于其中的字母 ² 和数字。

在 Korn shell 的构造内部[[...]]，shell 理解一种单独的微语言，但它遵循与外部大致相同的标记规则。

出于同样的原因，在之外[[...]]，您可以执行以下操作：

(echo a>file|tr a b&)

并且不必写它：

( echo a > file | tr a b & )

或者甚至是类似的东西if((1))then<file&&(uname)fi。

在这里，您可以执行以下操作：

[[(a>b||b<d)]]

as (、>、|和)是 shell 元字符。

元字符必须用引号引起来（无论是用'...', "...", \, $'...'...）才能按字面意思理解。

[[x]]无法工作，因为 shell 只能看到一个[[x]]令牌。并且[[启动该[[...]]构造的关键字甚至不会被识别。[[ a==b ]]与不同[[ a == b ]]，如在[[...]]微语言中一样，a==b是单个标记，因此其解释与相同[[ -n 'a==b' ]]。

[本身只是一个普通命令，因此它的解析方式与其他命令相同。

[ a>b ]

[使用aand作为参数运行]，其输出重定向到b, 与相同[ a ] > b，就像与orecho a>b ]相同。echo a ] > b>b echo a ]

请注意，它的内部((...))（也与 ksh）不同，它也带有自己的类似 C 的微语言，但这次标记化规则不同。例如，您可以编写((var=123+1))or ((a==b))，但不需要((var = 123 + 1))or ((a == b))。

^{1{参与大括号扩展，也是 shell 保留字，但在标记化之后进行处理，[但在解析赋值时参与标记化。a[1 + 1]=foo在 bash 或 ksh（不是 zsh）中被解析为一个赋值词，而不是作为参数a[1运行。是一个保留字，如，但也参与历史扩展，尽管这只适用于 shell 的交互式调用。+1]=foo!{}

^{-² 请注意，一些运算符中涉及字母和，[[...]]例如-nt, -eq, -lt...}

Answer 1