これは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）-releaseです。

関連：https : //stackoverflow.com/a/7804208/4937930

サブシェルによって、exitまたはreturnサブシェル内でスクリプトを終了したり、関数から戻ることができないのはバグではありません。これらは別のプロセスで実行され、メインプロセスには影響しません。

それに加えて、（おそらく）未定義の仕様で文書化されていないbashの動作を見ていると思います。関数ではreturn、サブシェルコマンドのトップレベルでエラーはアサートされず、単にのように動作しexitます。

私見returnは、メインステートメントが関数内にあるかどうかに依存する一貫性のない動作のためのバッシュバグです。

#!/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が、文書化された動作です：

パイプラインの各コマンドは、独自のサブシェルで実行されます

return命令が関数定義の内側で有効なされているが、同様にサブシェルであること、それは次の命令ように、その親シェルには影響しない、echoにかかわらず、実行されます。それにもかかわらず、POSIX標準では、パイプラインを構成するコマンドをサブシェル（デフォルト）または最上位（許可された拡張）で実行できるため、移植性のないシェル構造です。

さらに、マルチコマンドパイプラインの各コマンドはサブシェル環境にあります。ただし、拡張機能として、パイプラインの一部またはすべてのコマンドを現在の環境で実行できます。他のすべてのコマンドは、現在のシェル環境で実行されます。

うまくいけば、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シェルはエラーを報告しますが、in kshではreturn、関数またはソーススクリプトの外ではのように動作します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これらのシェルでのパイプの最後の部分は、現在のシェルの代わりに、サブシェルで実行されたため、出力されませんでした。returnステートメントは、関数を呼び出した現在のシェル環境に影響を与えたため、関数は何も出力せずにすぐに戻ります。

対話型セッションで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では、パイプライン内の各コマンドがサブシェルで実行されるという予想どおりの動作が得られたと思います。関数のグローバル変数を変更しようとすることで、自分自身を思い浮かべることができます。

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

ちなみに、戻り値は機能していますが、サブシェルから戻ります。もう一度確認できます：

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

次を出力します。

1
This should not be printed.

したがって、returnステートメントはサブシェルを正しく終了しました

。

より一般的な答えは、bashと他のいくつかのシェルは通常、パイプラインのすべての要素を別々のプロセスに配置するということです。これは、コマンドラインが

プログラム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ループにパイプし、ループをサブシェルとして実行させてから、サブシェルから戻ります。