这是bash中的错误吗？如果从管道调用`return`不会退出功能

最近我在使用bash时遇到了一些奇怪的问题。在尝试简化脚本时，我想到了以下一小段代码：

$ o(){ echo | while read -r; do return 0; done; echo $?;}; o
0
$ o(){ echo | while read -r; do return 1; done; echo $?;}; o
1

return应该没有打印就退出了功能$?，不是吗？好吧，然后我检查了是否可以单独从管道返回：

$ echo | while read -r; do return 1; done
bash: return: can only `return' from a function or sourced script

没有while循环也会发生相同的情况：

$ foo(){ : | return 1; echo "This should not be printed.";}
$ foo
This should not be printed.

我在这里想念什么吗？Google搜索对此一无所获！我的bash版本是Debian Wheezy上的4.2.37（1）-发行版。

相关：https : //stackoverflow.com/a/7804208/4937930

您无法通过子Shell exit或return在子Shell中退出脚本或从函数返回不是错误。它们在另一个进程中执行，并且不影响主进程。

除此之外，我想您在（可能）未定义的规范上看到了bash的未记录的行为。在函数中，不会return在子shell命令的顶层声明任何错误，并且其行为类似于exit。

恕我直言，这是一个return依赖于主语句是否在函数中的不一致行为的bash错误。

#!/bin/bash

o() {
    # Runtime error, but no errors are asserted,
    # each $? is set to the return code.
    echo | return 10
    echo $?
    (return 11)
    echo $?

    # Valid, each $? is set to the exit code.
    echo | exit 12
    echo $?
    (exit 13)
    echo $?
}
o

# Runtime errors are asserted, each $? is set to 1.
echo | return 20
echo $?
(return 21)
echo $?

# Valid, each $? is set to the exit code.
echo | exit 22
echo $?
(exit 23)
echo $?

输出：

$ bash script.sh 
10
11
12
13
script.sh: line 20: return: can only `return' from a function or sourced script
1
script.sh: line 22: return: can only `return' from a function or sourced script
1
22
23

它不是错误，bash而是其记录的行为：

管道中的每个命令都在其自己的子shell中执行

该return指令在函数定义内有效，但也位于子外壳中，它不会影响其父外壳，因此echo无论如何都将执行下一条指令。但是，它是一种非便携式的shell结构，因为POSIX标准允许在子shell（默认）或顶层（允许的扩展名）中执行组成管道的命令。

另外，多命令管道中的每个命令都在子shell环境中。但是，作为扩展，流水线中的任何或所有命令都可以在当前环境中执行。所有其他命令应在当前的外壳环境中执行。

希望您可以bash通过以下两种选择来告诉您期望的行为：

$ set +m # disable job control
$ shopt -s lastpipe # do not run the last command of a pipeline a subshell 
$ o(){ echo | while read -r; do return 0; done; echo $?;}
$ o
$          <- nothing is printed here

根据POSIX文档，未指定在函数或源脚本之外使用return。因此，这取决于您的外壳来处理。

在以下情况下，SystemV Shell将报告错误： kshreturn函数或源脚本之外，行为类似于exit。其他大多数POSIX外壳和schily的osh的行为也一样：

$ for s in /bin/*sh /opt/schily/bin/osh; do
  printf '<%s>\n' $s
  $s -c '
    o(){ echo | while read l; do return 0; done; echo $?;}; o
  '
done
</bin/bash>
0
</bin/dash>
0
</bin/ksh>
</bin/lksh>
0
</bin/mksh>
0
</bin/pdksh>
0
</bin/posh>
0
</bin/sh>
0
</bin/yash>
0
</bin/zsh>
</opt/schily/bin/osh>
0

ksh并且zsh没有输出，因为这些shell中管道的最后一部分是在当前shell中而不是subshel​​l中执行的。return语句影响了当前调用该函数的shell环境，导致该函数立即返回而不打印任何内容。

在交互式会话中，bash仅报告错误但没有终止外壳，没有schily's osh报告错误并终止外壳：

$ for s in /bin/*sh; do printf '<%s>\n' $s; $s -ci 'return 1; echo 1'; done
</bin/bash>
bash: return: can only `return' from a function or sourced script
1
</bin/dash>
</bin/ksh>
</bin/lksh>
</bin/mksh>
</bin/pdksh>
</bin/posh>
</bin/sh>
</bin/yash>
</bin/zsh>
</opt/schily/bin/osh>
$ cannot return when not in function

（zsh在交互式会话中，输出不会终止终端bash，yash并且schily's osh报告了错误但未终止外壳）

我认为您得到了预期的效果，在bash中，管道中的每个命令都在子shell中执行。您可以通过尝试修改函数的全局变量来征服自己：

foo(){ x=42; : | x=3; echo "x==$x";}

顺便说一句，返回是有效的，但它是从子shell返回的。同样，您可以检查以下内容：

foo(){ : | return 1; echo$?; echo "This should not be printed.";}

将输出以下内容：

1
This should not be printed.

所以return语句正确退出了子外壳

。

更为笼统的答案是，bash和其他一些shell通常会将管道的所有元素放入单独的进程中。当命令行为

程序1 | 程序2 | 程序3

因为程序通常无论如何都在单独的进程中运行（除非您说）。但这可能会让您感到意外exec program

命令1 | 命令2 | 命令3

其中部分或全部命令是内置命令。简单的例子包括：

$ a=0
$ echo | a=1
$ echo "$a"
0
$ cd /
$ echo | cd /tmp
$ pwd
/

一个更现实的例子是

$ t=0
$ ps | while read pid rest_of_line
> do
>     : $((t+=pid))
> done
$ echo "$t"
0

在整个while... do... done循环被放入一个子进程，所以它的变化t是不循环结束后，主壳可见。这正是您正在执行的工作– while循环到一个循环中，使该循环作为子Shell运行，然后尝试从子Shell中返回。