Какова логика выхода при неудаче в блоках и подсистемах в Bash? [дубликат]

Вопрос или проблема

set -e
{ echo a; false; echo b; } || echo c 

a
b

set -e
{ echo a; false; echo b; false;} || echo c 

a
b
c

set -e
{ echo a; false; echo b; }

a

Ответ или решение

Вопрос, поднятый вами о поведении Bash в отношении выхода из блоков и подссылок при возникновении ошибки, действительно интересен и требует детального рассмотрения. Основная суть проблемы заключается в том, что команда set -e, предназначенная для прерывания выполнения скрипта при возникновении ошибки, может вести себя иначе в блоках кода и при использовании логических операторов && и ||. Давайте подробно разберем эту логику.

Логика работы set -e

Когда вы устанавливаете флаг set -e, Bash прекращает выполнение скрипта, как только одна из команд возвращает ненулевой код возврата (что обычно указывает на ошибку). Однако это правило работает не всегда, особенно в контексте комбинирования команд с использованием логических операторов.

Рассмотрим ваш пример:

set -e
{ echo a; false; echo b; } || echo c

Здесь, несмотря на то что команда false возвращает ненулевой код выхода и, казалось бы, должна остановить выполнение блока, Bash ведет себя иначе из-за конструкции с ||. В этом случае Bash интерпретирует весь блок { ... } как одну команду. Поскольку перед || имеется команда, которая, в данном случае, успешно завершается (то есть echo a, которая успешно выводит ‘a’), enfin, set -e не завершает выполнение скрипта после ошибки false. Вместо этого, он обрабатывает код выхода блока и принимает его как успех, что в итоге приводит к тому, что команда echo b также выполняется.

Аналогичная ситуация наблюдается в вашем следующем примере:

set -e
{ echo a; false; echo b; false;} || echo c

В этом случае команда false в конце блока ничего не меняет, так как выполнение блока { ... } уже завершилось, и её код не учитывается при интерпретации условия ||.

Почему && работает иначе

Когда вы заменяете || на &&, логика выполняется иначе:

set -e
{ echo a; false; echo b; } && echo c

Здесь, если блок { ... } завершится с ошибкой, то echo c не будет выполнена, потому что результат условия && будет ложным. Таким образом, после возникновения ошибки выполнение останавливается, и последующие команды не выполняются. Это и объясняет, почему добавление && создает более очевидное поведение при наличии ошибок.

Как добиться желаемого поведения

Если вы хотите, чтобы Bash возвращал в конце блока после ошибки, и выполнять последующий код, можно воспользоваться следующими подходами:

1. Использование команд && вместо ;: как было показано выше, комбинирование с && будет корректно обрабатывать ошибки.

2. Пространственные блоки: вы можете обернуть ваши команды в функцию и вызывать ее, что разрешает использование set -e:

set -e
my_function() {
    echo a
    false
    echo b
}
my_function || echo c

В этом случае, когда команда false возвращает ошибку, вы сможете корректно обработать её в ||.

Заключение

Поведение set -e в Bash может сбивать с толку, особенно в контексте блоков и логических операторов. Понимание того, как Bash интерпретирует коды выхода команд в закрытых блоках и подшеллах, поможет вам правильно строить свои скрипты. Будьте внимательны к тому, как вы используете логические операторы, и попробуйте оборачивать команды в функции, чтобы избежать неожиданных результатов в вашем коде.