主页 / unix / 问题 / 676608
Accepted
Martian2020
Asked: 2021-11-09 05:45:40 +0800 CST

-a（文件存在）的 Bash 否定不会改变结果，而对于 ! -e 改变结果

  • 772

我很困惑，但仍然猜想我以某种方式误解了 Bash。

/$ if [   -e /bin/grep ]; then echo yea; else echo nay ; fi
yea
/$ if [ ! -e /bin/grep ]; then echo yea; else echo nay ; fi
nay
/$ if [   -a /bin/grep ]; then echo yea; else echo nay ; fi
yea
/$ if [ ! -a /bin/grep ]; then echo yea; else echo nay ; fi
yea

为什么否定!会逆转-e测试而不是-a测试的效果？

男人 bash 说：

测试：

3 论据

以下条件按所列顺序应用。

  1. 如果第二个参数是上面在条件表达式下列出的二进制条件运算符之一，则表达式的结果是使用第一个和第三个参数作为操作数的二进制测试的结果。当存在三个参数时，-aand运算符被视为二元运算符。-o
  2. 如果第一个参数是!，则该值是使用第二个和第三个参数对双参数测试的否定。

Bash 条件表达式

条件表达式由[[ 复合命令test和[内置命令使用

-a file
如果文件存在则为真。
-b file
如果文件存在并且是块特殊文件，则为真。
-c file
如果文件存在并且是字符特殊文件，则为真。
-d file
如果文件存在并且是目录，则为真。
-e file
如果文件存在则为真。

bash test

2 个回答

  1. Best Answer

    -a既是一元（用于ccessible a，为与 Korn shell 兼容而添加，但在其他方面是非标准的，现在与-ea

    这里根据 POSIX 的要求[ ! -a /bin/grep ]调用二元运算符。[ "$a" -a "$b" ]测试是否为非$a空和 $b非空，这里使用$a==!和$b== /bin/grep。由于两个字符串都是非空的，因此它返回true。

    另请参阅您引用的文本中的“当存在三个参数时，-a 和 -o 运算符被视为二元运算符” 。

    -a一元和二元形式均不推荐使用，一元形式是因为它已被 取代-e，二元形式是因为它会导致不可靠和模棱两可的测试表达式。

    要测试文件是否存在（尽管实际上，它更多的是测试文件是否可访问，是否stat()会在路径上成功¹），请使用[ -e filepath ]. To和两个条件，&&在 的两次调用之间使用[。

    为了测试一个字符串是否为非空，我个人更喜欢这种[ -n "$string" ]形式[ "$string" ]。

    所以：

    • 测试文件是否存在：

      [ -e "$file" ]   # not [ -a "$file" ]
[ ! -e "$file" ] # not [ ! -a "$file" ]

    • 测试两个非空字符串：

      [ -n "$a" ] && [ -n "$b" ] # not [ "$a" -a "$b" ]
[ "$a" ] && [ "$b" ]

    从(aka ) 实用程序的 POSIX 规范中的基本原理test[：

    指定 -a 和 -o 二元基元以及 '(' 和 ')' 运算符的 XSI 扩展已被标记为过时。（许多使用它们的表达式由语法模糊定义，具体取决于被评估的特定表达式。）使用这些表达式的脚本应转换为下面给出的形式。尽管许多实现将继续支持这些过时的形式，但在处理用户提供的输入时，脚本应该非常小心，因为这些输入可能会与这些以及其他基本类型和运算符混淆。

    和：

    早期的提议使用了 KornShell -a 主运算符（具有相同的含义），但它被更改为 -e，因为人们担心人类很可能将 -a 主运算符与 -a 二元运算符混淆。

    yash, bosh, GNU的手册coreutils确实防止在其各自的/实现中使用二进制-a/并且' 手册从未记录过它们²，但不幸的是，包括（GNU shell）在内的许多其他人仍然不阻止它们的使用或弃用它们。-o[testzshbash

    ¹ 更多关于我对相关 stackoverflow Q&A 的回答

    ² a test/ [builtin 仅在 1991 年的 2.0.3 版中添加到 zsh。[[ ... ]]来自 Korn shell 的特殊构造始终是首选，并且有自己的语法 where &&and||用于and和or运算符。

    • 28

  2. Bash 解析[ ! -a WORD ]为-a二元运算符，意思是“和”，被两个单字测试包围，如果非空则为真。因此[ ! -a "" ]是假的，[ ! -a WORD ]如果WORD非空则为真。

    此解析符合POSIX 规范（尽管严格来说它不必这样做，因为-aPOSIX 未指定一元）。顺便说一句，mksh 和 zsh 以相同的方式解析这种情况，但 ksh93 用 unary!后跟 unary来解析它-a。

    为避免歧义，请勿使用已弃用的-a运算符，请使用标准-e运算符，该运算符没有拼写相同的二元运算符。此外，为了避免在较长的极端情况下出现歧义或错误，请使用&&and||作为二元运算符（外部[ … ]或内部[[ … ]]）而不是潜在的歧义-a/ -oinside [ … ]。

    • 13

相关问题