Это ошибка в 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 - 4.2.37 (1) -релиз на Debian Wheezy.

Связанный: /programming//a/7804208/4937930

Это не ошибка, что вы не можете выйти из скрипта или вернуться из функции в exitили returnв подоболочки. Они выполняются в другом процессе и не влияют на основной процесс.

Кроме того, я полагаю, вы видите недокументированное поведение bash в (возможно) неопределенной спецификации. В функции не допускаются ошибки returnна верхнем уровне команд подоболочки, и она просто ведет себя как exit.

ИМХО, это ошибка bash для противоречивого поведения в 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 будет сообщать об ошибке, в то время как внутри ksh, returnвне функции или исходного сценария ведут себя как exit. Большинство других POSIX-оболочек и osh schily также ведут себя так:

$ 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не выводил, потому что последняя часть конвейера в этих оболочках была выполнена в текущей оболочке вместо subshell. Оператор 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.

Так что оператор возврата правильно вышел из подоболочки

,

Более общий ответ заключается в том, что 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цикл, запуск цикла как подоболочки, а затем попытка возврата из подоболочки.