bash 脚本中逻辑 AND (&&) 和 OR (||) 的悖论，用于检查命令是否成功执行（退出代码 0 被解释为 true）

Question 1

您链接到的帖子中的示例如下：

false && echo "OK"
true || echo "OK"

在这种情况下，对于进程的退出状态，是的，0是真实的，其他任何东西都是虚假的。（是的，这里true是false程序。可能是内置于 shell 中的，但工作原理是一样的。）

来自POSIX 定义(||类似，正如Bash 的文档说）：

AND 列表
控制运算符“&&”表示 AND 列表。格式应为：第一
command1 [ && command2] ...
命令1应予执行。如果其退出状态为零，命令2应被处决，等等……

是的，这与几乎所有其他上下文和编程语言中使用的约定相反。话又说回来，在 C 语言中，函数在成功时返回零，在错误时返回非零错误代码也很常见。这样，您就可以区分不同类型的错误^(*)。当然，如果您的函数需要返回一些有用的值（例如指针），那么这实际上不起作用，并且就 C 语言而言，0 是假的。无论如何，都是不同的。

我认为对实施进行任何假设都不是一个好主意。请记住，在这种情况下，零为真，例如 (true && true) 为 (true)。

_{（*就像家庭一样，快乐的系统调用都是相似的。不快乐的系统调用各有各的不快乐。）}

然后你的例子：

#should result in false, and bash shows 0 as false
echo $(( 1 && 0 ))

在这里，您在算术上下文中使用&&，它不遵守与退出状态相同的规则。这里，0为假，1为真。 (true AND false)也是如此1 && 0，即 (false) 或 0。

# should result in true,  and bash shows 1 as true
echo $(( 1 || 0 ))

与上面类似。

# does not show 'hi'; even though if false is zero per first example, then
# this should be considered success exit code and 'hi' to be shown!!
false && echo 'hi'

这实用程序称为false以状态 1（或至少某个非零值）退出。在这种情况下，这是错误的，因此&&通过短路逻辑跳过了右侧。

# does show 'hi'. It first runs the "echo 'hi'" and interprets its exit
# status of zero as success, but then false stops the 2nd hi.
echo 'hi' && false && echo ' 2nd hi'

一样。

# shows 'hi 2nd hi'
echo 'hi' && (( 1 || 0 )) && echo ' 2nd hi'

您1 || 0在这里使用了，无论哪种方式都是正确的，并且数值在算术上下文中有些消失了。让我们试试这些：

$ echo foo && (( 0 )) && echo bar
foo
$ echo foo && (( 1 )) && echo bar
foo
bar

现在，((...))是一个算术构造（如$((...))），其中 0 为假。与不同$((...))，((...))也是一个命令，因此具有退出状态。如果内部表达式的计算结果为非零（真值），则它以零（真值）退出；如果内部表达式的计算结果为零（假），则为 1（假）。好吧，这可能会令人困惑，但最终结果是，类似 C 的隐式比较在它内部与零工作，并且当将它与 shell 的条件一起使用时，您会得到相同的真值。

因此，while (( i-- )); do ...循环直到i为零。

（(( foo ))不是标准的，但受 ksh/Zsh/Bash 支持。它的标准解释是foo两个嵌套子 shell 内的命令，因此可能会给出“命令 'foo' 未找到”错误。）

还值得指出的是，类似的东西(( true )) && echo maybe可能不会打印任何内容。在算术上下文中，普通单词被视为变量的名称（在许多 shell 中递归地），因此除非将变量true设置为非零值，否则(( true ))将为 false。

_{（来自混淆部门的想法是运行true=0; false=1; true() (exit 1); false() (exit 0);。现在打印什么 true && (( false )) || echo maybe && echo maybe not以及为什么？。）}

Answer