Це помилка в баші? `return` не припиняє функцію, якщо викликається з труби

Останнім часом у мене виникають дивні проблеми з басом. Намагаючись спростити свій сценарій, я придумав цей невеликий фрагмент коду:

$ 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в підрозділах . Вони виконуються в іншому процесі і не впливають на основний процес.

Крім того, я гадаю, що ви бачите недокументовану поведінку баш на (ймовірно) невизначеній специфікації. У функції жодних помилок не встановлюється для returnверхніх рівнів команд підзарядки, і вона просто так поводиться exit.

IMHO - це баш-помилка щодо непослідовної поведінки 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 та оші також поводяться так:

$ 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не виводив, тому що остання частина труби в цих оболонках була виконана в поточній оболонці замість нижньої оболонки. Заява повернення вплинула на поточне середовище оболонки, яка викликала функцію, викликаючи повернення функції негайно, не надрукуючи нічого.

В інтерактивному сеансі 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повідомляється про помилку, але не закінчує оболонку)

Я думаю, що ви отримали очікувану поведінку, в основному, кожна команда в конвеєрі виконується в нижній частині. Ви можете налаштувати себе, намагаючись змінити глобальну змінну вашої функції:

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 правильно вийшов з підшару

.

Більш загальна відповідь полягає в тому, що баш та деякі інші оболонки зазвичай ставлять усі елементи трубопроводу в окремі процеси. Це розумно, коли є командний рядок

програма 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цикл, змушуючи цикл запускатись як допоміжної оболонки, а потім намагаючись повернутися з нижньої частини.