Как получить эффект и полезность set -e внутри функции оболочки?

Из документации set -e:

Если этот параметр включен, если простая команда не выполняется по любой из причин, перечисленных в Последствия ошибок оболочки, или возвращает значение состояния выхода > 0 и не является частью составного списка, следующего за ключевым словом while, until или if, и не является частью списка AND или OR и не является конвейером, которому предшествует зарезервированное слово !, то оболочка должна немедленно завершить работу.

В вашем случае false является частью конвейера, которому предшествует ! и часть if. Таким образом, решение состоит в том, чтобы переписать ваш код так, чтобы это было не так.

Другими словами, здесь нет ничего особенного в функциях. Пытаться:

set -e
! { false; echo hi; }

Вы можете напрямую использовать подоболочку в качестве определения функции и настроить ее на немедленный выход с помощью set -e. Это ограничит область действия set -e только функциональной подоболочкой и впоследствии позволит избежать переключения между set +e и set -e.

Кроме того, вы можете использовать присваивание переменной в тесте if, а затем повторить результат в дополнительном операторе else.

# use subshell for function definition
f() (
   set -exo pipefail
   echo a
   false
   echo Should NOT get HERE
   exit 0
)

# next line also works for non-subshell function given by agsamek above
#if ret="$( set -e && f )" ; then 
if ret="$( f )" ; then
   true
else
   echo "$ret"
fi

# prints
# ++ echo a
# ++ false
# a

В конце концов я пошел с этим, который, по-видимому, работает. Сначала я попробовал метод экспорта, но потом обнаружил, что мне нужно экспортировать каждую глобальную (постоянную) переменную, которую использует скрипт.

Отключите set -e, затем запустите вызов функции внутри подоболочки с включенным set -e. Сохраните статус выхода подоболочки в переменной, снова включите set -e, затем проверьте переменную.

f() { echo "a"; false;  echo "Should NOT get HERE"; }

# Don't pipe the subshell into anything or we won't be able to see its exit status
set +e ; ( set -e; f ) ; err_status=$?
set -e

## cleaner syntax which POSIX sh doesn't support.  Use bash/zsh/ksh/other fancy shells
if ((err_status)) ; then
    echo "f returned false: $err_status"
fi

## POSIX-sh features only (e.g. dash, /bin/sh)
if test "$err_status" -ne 0 ; then
    echo "f returned false: $err_status"
fi

echo "always print this"

Вы не можете запускать f как часть конвейера или как часть списка команд && из || (кроме как последней команды в конвейере или списке), или как условие в if или while, или в других контекстах, которые игнорируют set -e. Этот код также не может находиться ни в одном из этих контекстов, поэтому, если вы используете это в функции, вызывающие должны использовать ту же хитрость подоболочки / сохранения-выхода-статуса. Такое использование set -e для семантики, аналогичной генерированию/перехвату исключений, на самом деле не подходит для общего использования, учитывая ограничения и трудный для чтения синтаксис.

trap err_handler_function ERR имеет те же ограничения, что и set -e, в том смысле, что он не срабатывает при ошибках в контекстах, где set -e не завершает работу при неудачных командах.

Вы можете подумать, что следующее сработает, но это не так:

if ! ( set -e; f );then    ##### doesn't work, f runs ignoring -e
    echo "f returned false: $?"
fi

set -e не действует внутри подоболочки, потому что она запоминает, что находится внутри условия if. Я думал, что наличие подоболочки изменит это, но сработает только нахождение в отдельном файле и запуск на нем целой отдельной оболочки.

Это немного глупо, но вы можете сделать:

export -f f
if sh -ec f; then 
...

Это будет работать, если ваша оболочка поддерживает экспорт -f (bash поддерживает).

Обратите внимание, что это не завершит выполнение скрипта. Эхо после false в f не будет выполнено, равно как и тело if, но будут выполнены операторы после if.

Если вы используете оболочку, не поддерживающую export -f, вы можете получить нужную семантику, запустив sh в функции:

f() { sh -ec '
  echo This will execute
  false
  echo This will not
  '
}

Соедините все команды в вашей функции с оператором &&. Это не слишком сложно и даст желаемый результат.

Это предусмотрено дизайном и спецификацией POSIX. Мы можем прочитать в man bash:

Если составная команда или функция оболочки выполняется в контексте, где -e игнорируется, ни одна из команд, выполняемых в составе составной команды или тела функции, не будет затронута параметром -e, даже если установлен -e и команда возвращает статус ошибки. Если составная команда или функция оболочки устанавливает -e во время выполнения в контексте, где -e игнорируется, этот параметр не будет иметь никакого эффекта, пока составная команда или команда, содержащая вызов функции, не завершится.

поэтому вам следует избегать полагаться на set -e внутри функций.

В следующем примере^{Остин Групп}:

set -e
start() {
   some_server
   echo some_server started successfully
}
start || echo >&2 some_server failed

set -e внутри функции игнорируется, потому что функция является командой в списке И-ИЛИ, отличном от последнего.

Вышеупомянутое поведение указано и требуется POSIX (см.: Желаемое действие):

Настройка -e должна игнорироваться при выполнении составного списка, следующего за зарезервированным словом while, until, if или elif, конвейера, начинающегося с зарезервированного слова !, или любой команды списка И-ИЛИ, отличной от последней.

Примечание/редактирование. Как отметил комментатор, в этом ответе используется bash, а не sh, как в OP, использованном в его вопросе. Я пропустил эту деталь, когда изначально опубликовал ответ. Я все равно оставлю этот ответ, так как он может заинтересовать кого-нибудь из прохожих.

Вы готовы к этому?

Вот способ сделать это с помощью ловушки DEBUG, которая запускается перед каждой командой и создает ошибки, подобные всем идиомам исключения/попытки/перехвата из других языков. Посмотри. Я сделал ваш пример еще одним «звонком» вглубь.

#!/bin/bash

# Get rid of that disgusting set -e.  We don't need it anymore!
# functrace allows RETURN and DEBUG traps to be inherited by each
# subshell and function.  Plus, it doesn't suffer from that horrible
# erasure problem that -e and -E suffer from when the command 
# is used in a conditional expression.
set -o functrace

# A trap to bubble up the error unless our magic command is encountered 
# ('catch=$?' in this case) at which point it stops.  Also don't try to
# bubble the error if were not in a function.
trap '{ 
    code=$?
    if [[ $code != 0 ]] && [[ $BASH_COMMAND != '\''catch=$?'\'' ]]; then
        # If were in a function, return, else exit.
        [[ $FUNCNAME ]] && return $code || exit $code
    fi
}' DEBUG

my_function() {
    my_function2
}

my_function2() {
    echo "the following command could fail:"
    false
    echo "this is after the command that fails"
}

# the || isn't necessary, but the 'catch=$?' is.
my_function || catch=$?
echo "Dealing with the problem with errcode=$catch (⌐■_■)"

echo "run this all the time regardless of the success of my_function"

и вывод:

the following command could fail:
Dealing with the problem with errcode=1 (⌐■_■)
run this all the time regardless of the success of my_function

Я не проверял это в дикой природе, но на мой взгляд, есть куча плюсов:

1. На самом деле не так уж и медленно. Я запускал скрипт в тесном цикле с параметром functrace и без него, и время очень близко друг к другу до 10 000 итераций.

2. Вы можете расширить эту ловушку DEBUG, чтобы распечатать трассировку стека без выполнения всего этого цикла по $FUNCNAME и $BASH_LINENO ерунды. Вы как бы получаете это бесплатно (кроме фактического выполнения эхо-линии).

3. Не нужно беспокоиться об этом shopt -s inherit_errexit.

Я знаю, что это не то, о чем вы спрашивали, но вы можете знать или не знать, что поведение, которое вы ищете, встроено в «сделать». Любая часть процесса «создания», которая завершается с ошибкой, прерывает выполнение. Однако это совершенно другой способ «программирования», чем сценарии оболочки.

Для этого вам нужно будет вызвать вашу функцию во вспомогательной оболочке (внутри квадратных скобок ()).

Я думаю, вы хотите написать свой скрипт следующим образом:

#!/bin/sh -e

my_function() {
    echo "the following command could fail:"
    false
    echo "this is after the command that fails"
}

(my_function)

if [ $? -ne 0 ] ; then
    echo "dealing with the problem"
fi

echo "run this all the time regardless of the success of my_function"

Тогда вывод (по желанию):

the following command could fail:
dealing with the problem
run this all the time regardless of the success of my_function

Если подоболочка не подходит (скажем, вам нужно сделать что-то сумасшедшее, например, установить переменную), вы можете просто проверить каждую команду, которая может дать сбой, и исправить это, добавив || return $?. Это заставляет функцию возвращать код ошибки в случае сбоя.

Это некрасиво, но это работает

#!/bin/sh
set -e

my_function() {
    echo "the following command could fail:"
    false || return $?
    echo "this is after the command that fails"
}

if ! my_function; then
    echo "dealing with the problem"
fi

echo "run this all the time regardless of the success of my_function"

дает

the following command could fail:
dealing with the problem
run this all the time regardless of the success of my_function