为什么 `if $(true) ;那么……fi`成功了吗？

Question

灵感来自this question:

当条件是命令替换且命令不产生输出时，if 语句应该做什么？

注意：示例是if $(true); then ...，而不是if true ; then ...

例如，给定：

if $(true) ; then echo yes ; else echo no ; fi

我认为$(true) 应该替换为true 命令的输出，这没什么。然后它应该等同于：

if "" ; then echo yes ; else echo no ; fi

打印no，因为没有名称是空字符串的命令，或者到这个：

if ; then echo yes ; else echo no ; fi

这是一个语法错误。

但实验表明，如果命令没有输出，if 语句会根据命令的状态而不是输出将其视为真或假。

这是一个演示该行为的脚本：

#!/bin/bash

echo -n 'true:          ' ; if true          ; then echo yes ; else echo no ; fi
echo -n 'false:         ' ; if false         ; then echo yes ; else echo no ; fi
echo -n '$(echo true):  ' ; if $(echo true)  ; then echo yes ; else echo no ; fi
echo -n '$(echo false): ' ; if $(echo false) ; then echo yes ; else echo no ; fi
echo -n '$(true):       ' ; if $(true)       ; then echo yes ; else echo no ; fi
echo -n '$(false):      ' ; if $(false)      ; then echo yes ; else echo no ; fi
echo -n '"":            ' ; if ""            ; then echo yes ; else echo no ; fi
echo -n '(nothing):     ' ; if               ; then echo yes ; else echo no ; fi

这是我得到的输出（Ubuntu 11.04，bash 4.2.8）：

true:          yes
false:         no
$(echo true):  yes
$(echo false): no
$(true):       yes
$(false):      no
"":            ./foo.bash: line 9: : command not found
no
./foo.bash: line 10: syntax error near unexpected token `;'
./foo.bash: line 10: `echo -n '(nothing):     ' ; if               ; then echo yes ; else echo no ; fi'

前四行的行为符合我的预期； $(true) 和 $(false) 行令人惊讶。

进一步的实验（此处未显示）表明，如果$( 和) 之间的命令产生输出，则其退出状态不会影响if 的行为。

我看到 bash、ksh、zsh、ash 和 dash 的行为相似（但在某些情况下出现不同的错误消息）。

我在 bash 文档或 POSIX“Shell 命令语言”规范中没有看到任何解释这一点的内容。

（或者我可能遗漏了一些明显的东西。）

编辑：根据接受的答案，这是另一个行为示例：

command='' ; if $command ; then echo yes ; else echo no ; fi

或者，等效地：

command=   ; if $command ; then echo yes ; else echo no ; fi

Answer 1

请参阅 language spec 的第 2.9.1 节。第一部分的最后一句话是：

如果有命令名，执行将按照命令搜索和执行中的描述继续执行。如果没有命令名称，但该命令包含命令替换，则该命令应以执行的最后一个命令替换的退出状态完成。否则，该命令将以零退出状态完成。

$(true) 正在扩展为空字符串。 shell解析空字符串，发现没有给出命令，遵循上述规则。

Answer 2

可能有 两个 退出代码需要考虑。首先，另外两个实验应该会有所帮助：

# if $(echo true; false) ; then echo yes ; else echo no ; fi
yes

inner 命令由于false 而退出失败。但这无关紧要，因为命令的输出是非空的，因此会执行输出 ("true") 并且其退出代码具有优先权。

# if $(echo false; true) ; then echo yes ; else echo no ; fi
no

同样，$( ) 里面的命令行是成功的，但是输出是 no，因为输出 ("false") 优先。

$( ) 中的命令的退出状态是相关的当且仅当输出为空或只有空格。如果输出为空，则没有要执行的命令列表，因此看起来 shell 将退回到 inner 命令的退出状态。

Answer 3

似乎正在发生的事情是bash 保持最后执行的命令的退出状态

这可以解释为什么$(true) 和$(false) 在if 测试中具有不同的行为。它们都产生不计为执行的空命令，但它们具有不同的退出代码。

一旦您对具有输出的命令使用命令替换，$() 就会尝试将该输出作为命令执行，而 该 尝试的退出代码现在是用于if测试

Answer 4

当条件是命令替换且命令不产生输出时，if 语句应该做什么？

输出无关紧要。重要的是退出代码：

   if list; then list; [ elif list; then list; ] ... [ else
   list; ] fi
          The if list is executed.  If its exit status is zero,
          the then list is executed.  Otherwise, each elif list
          is executed in turn, and if its exit status is zero,
          the corresponding then list is executed and the
          command completes.  Otherwise, the else list is
          executed, if present.  The exit status is the exit
          status of the last command executed, or zero if no
          condition tested true.

如果您将 $(echo true) 和 $(echo false) 替换为其他内容，您可能会看到发生了什么：

$ if $(echo false) ; then echo yes ; else echo no ; fi
no
$ if $(echo command-does-not-exist) ; then echo yes ; else echo no ; fi
command-does-not-exist: command not found
no
$ 

$(..) 运行命令，然后if 执行结果（在这种情况下，只是true 或false 或does-not-exist）。一个空的$() 启动一个子shell，它成功运行到完成并返回一个退出代码0：

$ if $() ; then echo yes ; else echo no ; fi
yes

Aaron 提出了一些有趣的观点：

$ if $(echo true; false) ; then echo yes ; else echo no ; fi
yes
$ if $(echo 'true ; false') ; then echo yes ; else echo no ; fi
yes
$ if true ; false ; then echo yes ; else echo no ; fi
no

$ if $(echo false ; true) ; then echo yes ; else echo no ; fi
no
$ if $(echo 'false ; true') ; then echo yes ; else echo no ; fi
no
$ if false ; true ; then echo yes ; else echo no ; fi
yes
$ 

似乎在执行通过$() 子shell 构造的命令时，第一个命令的退出状态很重要。