关于POSIX Shell比较运算符及[...]语法定义的技术咨询

问题背景 #

我正在学习Shell命令语言的语法（用于编写解析器），但始终找不到比较操作的语法定义。比如这段代码：

x=10
while [ $x -gt 0 ]
do
    #do something
    x=$(($x-1))
done

其中[ $x -gt 0 ]的语法在POSIX Shell命令语言规范里找不到定义——[...]没出现在语法规则里，]也没被列为标点/运算符标记。规范里只提过[]用于正则表达式括号，以及[在字符串中可能需要引用，没对这个结构做更多说明。

问题 #

1. 比较运算符属于POSIX规范内容，还是被广泛认可的扩展？（我倾向于前者，因为示例来自POSIX规范）
2. 在哪里可以找到Shell比较运算符或[...]的通用语法定义？

解答 #

问题1：比较运算符与[...]是否属于POSIX规范 #

[...]完全属于POSIX规范内容，但你找错了方向：它不是Shell的语法结构，而是test命令的等价写法——[是一个独立的标准实用工具（多数Shell会把它实现为内置命令来提升效率），]只是[命令要求的最后一个参数，用来匹配开头的[，没有特殊语法意义。

包括-gt、-eq这类比较运算符，都是[（即test）命令的参数选项，POSIX规范对这些参数的用法有明确定义。

问题2：语法定义的查找位置 #

• POSIX标准：直接查看test/[命令的规范文档，里面详细定义了所有支持的比较规则（字符串比较、数值比较、文件测试等），以及[命令的参数格式（要求最后一个参数必须是]）。
• Shell官方手册：如果使用Bash、Zsh这类兼容POSIX的Shell，它们的手册（比如man bash里的CONDITIONAL EXPRESSIONS章节）会包含POSIX标准内容，同时补充自身的扩展特性。
• 权威参考资料：GNU Bash手册、POSIX实用工具手册里的test条目，都是可靠的通用参考来源。

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