Bash中感叹号!置于方括号测试内外的行为差异及通用场景疑问

在Bash的条件测试中，感叹号!放在[[ ]]内部和外部的差异核心在于作用范围，单条件和多条件场景下表现完全不同：

1. 单条件测试：无实际差异 #

当测试单个条件时，两种写法的结果完全一致，因为都是对这一个条件的取反。

比如你给出的文件测试：

# 两种写法等价：如果文件存在且为空则退出
[[ ! -s "${file}" ]] && exit 1
! [[ -s "${file}" ]] && exit 1

再比如数字比较场景：

a=3
# 两种写法都表示"a不等于5"，结果都为真
[[ ! $a -eq 5 ]]
! [[ $a -eq 5 ]]

这时候!不管在内部还是外部，都是对整个单条件的退出状态取反，效果没有区别。

2. 多条件组合测试：差异极大 #

当用&&或||组合多个条件时，!的位置直接决定了取反的范围，逻辑会完全不同：

例子1：逻辑与（&&）组合 #

假设要实现"a不等于5 且 b大于10"：

• 内部取反：[[ ! $a -eq 5 && $b -gt 10 ]]
  这里!只作用于第一个子条件$a -eq 5，等价于[[ $a -ne 5 && $b -gt 10 ]]，只有当a≠5且b>10时才为真。

• 外部取反：! [[ $a -eq 5 && $b -gt 10 ]]
  这里!作用于整个复合条件，根据德摩根定律，等价于[[ $a -ne 5 || $b -le 10 ]]，只要a≠5或者b≤10时就为真，和内部取反的逻辑完全相反。

例子2：逻辑或（||）组合 #

假设要实现"a小于0 或者 b不等于0"：

• 内部取反：[[ $a -lt 0 || ! $b -eq 0 ]]
!只作用于第二个子条件$b -eq 0，即当a<0或者b≠0时为真。

• 外部取反：! [[ $a -lt 0 || $b -eq 0 ]]
!作用于整个复合条件，等价于[[ $a -ge 0 && $b -ne 0 ]]，只有当a≥0且b≠0时才为真，和内部取反的逻辑完全对立。

本质原因 #

• [[ ]]内部的!是Bash条件表达式的一部分，仅对紧跟其后的单个子条件取反；
• 外部的!是Shell的命令取反运算符，作用于整个[[ ... ]]命令的退出状态，也就是对所有组合条件的整体结果取反。

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