Марейн Хавербеке - Выразительный JavaScript

function promptNumber(question) {

var result = Number(prompt(question, ""));

if (isNaN(result)) return null;

else return result;

}

console.log(promptNumber("Сколько пальцев видите?"));

Это надёжная стратегия. Теперь любой код, вызывающий promptNumber, должен проверять, было ли возвращено число, и если нет, как-то выйти из ситуации – спросить снова, или задать значение по-умолчанию. Или вернуть специальное значение уже тому, кто его вызвал, сообщая о неудаче.

Во многих таких случаях, когда ошибки возникают часто и вызывающий функцию код должен принимать их во внимание, совершенно допустимо возвращать специальное значение как индикатор ошибки. Но есть и минусы. Во-первых, что, если функция и так может вернуть любой тип значения? Для неё сложно найти специальное значение, которое будет отличаться от допустимого результата.

Вторая проблема – работа со специальными значениями может замусорить код. Если функция promptNumberвызывается 10 раз, то надо 10 раз проверить, не вернула ли она null. Если реакция на nullзаключается в возврате nullна уровень выше, тогда там, где вызывался этот код, тоже нужно встраивать проверку на null, и так далее.

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

Код, встретивший проблему в момент выполнения, может поднять (или выкинуть) исключение (raise exception, throw exception), которое представляет из себя некое значение. Возврат исключения напоминает некий «прокачанный» возврат из функции – он выпрыгивает не только из самой функции, но и из всех вызывавших её функций, до того места, с которого началось выполнение. Это называется развёртыванием стека (unwinding the stack). Может быть, вы помните стек функций из главы 3… Исключение быстро проматывает стек вниз, выкидывая все контексты вызовов, которые встречает.

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

Пример:

function promptDirection(question) {

var result = prompt(question, "");

if (result.toLowerCase() == "left") return "L";

if (result.toLowerCase() == "right") return "R";

throw new Error("Недопустимое направление: " + result);

}

function look() {

if (promptDirection("Куда?") == "L")

return "дом";

else

return "двух разъярённых медведей";

}

try {

console.log("Вы видите", look());

} catch (error) {

console.log("Что-то не так: " + error);

}

Ключевое слово throwиспользуется для выбрасывания исключения. Ловлей занимается кусок кода, обёрнутый в блок try, за которым следует catch. Когда код в блоке tryвыкидывает исключение, выполняется блок catch. Переменная, указанная в скобках, будет привязана к значению исключения. После завершения выполнения блока catch, или же если блок tryвыполняется без проблем, выполнение переходит к коду, лежащему после инструкции try/catch.

В данном случае для создания исключения мы использовали конструктор Error. Это стандартный конструктор, создающий объект со свойством message. В современных окружениях JavaScript экземпляры этого конструктора также собирают информацию о стеке вызовов, который был накоплен в момент выкидывания исключения – так называемое отслеживание стека (stack trace). Эта информация сохраняется в свойстве stack, и может помочь при разборе проблемы – она сообщает, в какой функции случилась проблема и какие другие функции привели к данному вызову.

Обратите внимание, что функция lookполностью игнорирует возможность возникновения проблем в promptDirection. Это преимущество исключений – код, обрабатывающий ошибки, нужен только в том месте, где происходит ошибка, и там, где она обрабатывается. Промежуточные функции просто не обращают на это внимания.

Ну, почти.

Представьте следующую ситуацию: функция withContextжелает удостовериться, что во время её выполнения переменная верхнего уровня contextсодержит специальное значение контекста. В конце выполнения функция восстанавливает прежнее значение переменной.

var context = null;

function withContext(newContext, body) {

var oldContext = context;

context = newContext;

var result = body();

context = oldContext;

return result;

}

Что, если функция bodyвыбросит исключение? В таком случае вызов withContextбудет выброшен исключением из стека, и переменной contextникогда не будет возвращено первоначальное значение.

Но у инструкции tryесть ещё одна особенность. За ней может следовать блок finally, либо вместо catch, либо вместе с catch. Блок finallyозначает «выполнить код в любом случае после выполнения блока try». Если функции надо что-то подчистить, то подчищающий код нужно включать в блок finally.

function withContext(newContext, body) {

var oldContext = context;

context = newContext;

try {

return body();

} finally {

context = oldContext;

}

}

Заметьте, что нам больше не нужно сохранять результат вызова bodyв отдельной переменной, чтобы вернуть его. Даже если мы возвращаемся из блока try, блок finallyвсё равно будет выполнен. Теперь мы можем безопасно сделать так:

try {

withContext(5, function() {

if (context < 10)

throw new Error("Контекст слишком мал!");

});

} catch (e) {

console.log("Игнорируем: " + e);

}

// → Игнорируем: Error: Контекст слишком мал!

console.log(context);

// → null

Несмотря на то, что вызываемая из withContextфункция «сломалась», сам по себе withContextпо-прежнему подчищает значение переменной context.

Когда исключение доходит до низа стека и его никто не поймал, его обрабатывает окружение. Как именно – зависит от конкретного окружения. В браузерах описание ошибки выдаётся в консоль (она обычно доступна в меню «Инструменты» или «Разработка»).

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