用于测试变量的感叹号在 bash shell 中是否为真

Question

我知道在 shell 中感叹号可以反转条件的结果。这里我想用它来测试变量是真还是假。

#! /bin/bash
bat=false
if [ ! $bar ]; then
    echo 'bar is false'
else
   echo 'bar is true'
fi

我期待“酒吧是假的”。然而结果却恰恰相反。然后我使用“$bar”==“false”。没错。

那么感叹号的使用技巧是什么。当我们测试文件时，它只会反转结果吗？

Answer 1

有关[ 或test 实用程序的便携使用的详细信息，请参阅test 的POSIX 规范。

如果你使用[ ! $bar ]，你就是在玩火。

• 如果$bar为空字符串，则退化为单参数形式的test，即参数为!，并成功退出，因为!不是空字符串。

• 如果$bar不是一个空字符串，那么参数是!和$bar的值，它确定非空字符串是非空的，然后反转条件，所以它以失败状态退出。

您通常应该编写[ ! "$bar" ]，如果$bar 为空，它将正常工作。您可以（可以说应该）使用显式测试：

• [ -z "$bar" ] 测试空（零长度）字符串，并且
• [ -n "$bar" ] 测试非空字符串

但引号是强制性的，以避免混淆。 non-empty 和 zero-length 是助记词。

$ bar=
$ [ ! $bar ] || echo Test failed
$ bar=xyz
$ [ ! $bar ] || echo Test failed
Test failed
$ [ ! "$bar" ] || echo Test failed
Test failed
$ bar=
$ [ ! "$bar" ] || echo Test failed
$ [ -n "$bar" ] || echo Test failed
Test failed
$ [ -z "$bar" ] || echo Test failed
$ 

有些人更喜欢 Bash (Korn shell, ...) 运算符 [[，它的行为不同。您可以试验此代码主题的变体：

set -x
bar=
[ ! $bar ] || echo Test failed
bar=xyz
[ ! $bar ] || echo Test failed
[ ! "$bar" ] || echo Test failed
bar=
[ ! "$bar" ] || echo Test failed
[ -n "$bar" ] || echo Test failed
[ -z "$bar" ] || echo Test failed
bar=xyz
[ -n "$bar" ] || echo Test failed
[ -z "$bar" ] || echo Test failed

bar=
[[ ! $bar ]] || echo Test failed
bar=xyz
[[ ! $bar ]] || echo Test failed
[[ ! "$bar" ]] || echo Test failed
bar=
[[ ! "$bar" ]] || echo Test failed
[[ -n "$bar" ]] || echo Test failed
[[ -z "$bar" ]] || echo Test failed
bar=xyz
[[ -n "$bar" ]] || echo Test failed
[[ -z "$bar" ]] || echo Test failed
bar=
[[ -n $bar ]] || echo Test failed
[[ -z $bar ]] || echo Test failed
bar=xyz
[[ -n $bar ]] || echo Test failed
[[ -z $bar ]] || echo Test failed
set +x  # Unnecessary if you save this in a script file and don't dot (source) it

它将（可能）帮助您了解正在发生的事情。不过，输出非常冗长。

Answer 2

tl;dr

[ ! $bar ] 将$bar 视为字符串，并且任何非空 字符串都被视为“真” - 包括文字false ;换句话说：[ ! 'true' ] && [ ! 'false' ] both 评估为“false”，因为在这两种情况下操作数都是非空字符串，! 否定结果。

因此，必须使用字符串比较：

bar=false
if [ ! "$bar" = 'true' ]; then  # same as: [ "$bar" != 'true' ]
    echo 'bar is false'
else
    echo 'bar is true'
fi

在 Bash 中，您还可以使用 [[ ! $bar == 'true' ]] 或 [[ $bar != 'true' ]]；除非你需要保持 POSIX 兼容，I suggest using [[ ... ]]。

---

在[ ... ] 和[[ ... ]]（特定于Bash）的上下文中，默认情况下变量值是字符串，并且通常是POSIX-像 shell没有明确的布尔数据类型。

一元运算符!将其操作数隐式解释为布尔值，字符串在布尔上下文中解释如下：

• 只有一个空字符串被认为是“false”（退出代码1(!)）
• 任何非空字符串 - 包括文字 false - 被视为“真”（退出代码0( ！））

因此，! $bar 的计算结果为“假”，因为 $bar - 包含非空字符串 'false' - 计算结果为“真”，而 ! 将其反转。

---

!也可以用在条件之外直接否定命令的成功状态（包括[）。
由于false 和true 也以命令名 的形式存在（通常作为shell 内置命令），您可以 执行以下操作，但请注意它只能按预期工作变量值可以是文字 false 或 true：

bar=false
if ! "$bar"; then
   echo 'bar is false'
else
   echo 'bar is true'
fi

---

背景资料

类似 POSIX 的 shell 只有 2 种基本（标量）数据类型：

• 字符串（默认）：

  • 在[ ... ] 和[[ ... ]] 条件句中，运算符=（Bash 中的==）,,,>,>=` 执行字符串 em> 比较。

• 整数：

  • 在[ ... ] 和[[ ... ]] 条件中，必须使用不同的算术 运算符（-eq、lt、le、gt、ge）进行数值比较

  1234563 .
  在 Bash 中，您还可以将(( ... )) 用作算术条件。

注意：根据 POSIX，您不能将变量键入为整数（因为没有办法声明 shell 变量），所以它只是隐式 在使用算术运算符的比较中/在算术上下文中视为一个。
然而，在 Bash 中，您可以使用declare -i / local -i声明整数变量，但在条件/算术上下文中，它仍然是运算符/算术上下文的选择，它决定了值是否被视为字符串或整数。

---

Shell 中的布尔值隐式表示为退出代码，在通常的布尔到整数映射的反转中：

• “true”映射到退出代码0(!)
• “false”表示为退出代码1(!) 或任何其他非零退出代码。

Answer 3

if 测试命令的结果，不能直接测试变量的值。在这种情况下，您将它与test/[ 命令结合使用，这是一个普通命令，可以在任何地方使用。

[ -f ./foo.txt ] && echo "foo.txt exists"

或等效

test -f ./foo.txt && echo "foo.txt exists"

两者都测试路径./foo.txt是否存在文件。

根据您所说的“true”，您可以使用test 或[ shell 内置函数来确定一个变量是否等于另一个，以及用于测试目录或文件是否存在等其他一些功能。

您可以使用if [ -z "$variable" ]; then ...; fi 来检查变量是否为空字符串。

如果你想检查变量是否被设置，甚至是一个空值，你可以使用参数扩展[ -z "${var+x}" ]。当var 未定义时，它只会计算为true（意味着退出状态为零）。

如果要将变量与固定字符串进行比较，可以使用 [ "$var" = "some-string" ] 或 case，例如

case "$var" in
   some-string)
     dostuff
   ;;
esac

请注意，您可以使用! 否定test/[ 的结果。

if ! [ -z "$var" ]; then
    do-something
fi

否定条件。

但是，! 作为test/[ 的参数也是有效的

if [ ! -z "$var" ]; then
    do-something
fi

意思是一样的。