function factorial(x) {
// Если входной аргумент не является допустимым значением, возбуждается исключение!
if (х < 0) throw new Error("x не может быть отрицательным");
// В противном случае значение вычисляется и возвращается нормальным образом
for(var f = 1; х>1; f*=x, х--) /* пустое тело цикла */ ;
return f;
}
Когда возбуждается исключение, интерпретатор JavaScript немедленно прерывает нормальное выполнение программы и переходит к ближайшему[7] обработчику исключений. В обработчиках исключений используется конструкция catch инструкции try/catch/finally, описание которой приведено в следующем разделе. Если блок программного кода, в котором возникло исключение, не имеет соответствующей конструкции catch, интерпретатор анализирует следующий внешний блок программного кода и проверяет, связан ли с ним обработчик исключений. Это продолжается до тех пор, пока обработчик не будет найден. Если исключение генерируется в функции, не содержащей инструкции try/catch/finally, предназначенной для его обработки, то исключение распространяется выше, в программный код, вызвавший функцию. Таким образом исключения распространяются по лексической структуре методов JavaScript вверх по стеку вызовов. Если обработчик исключения так и не будет найден, исключение рассматривается как ошибка и о ней сообщается пользователю.
5.6.6. Инструкция try/catch/finally
Инструкция try/catch/finally реализует механизм обработки исключений в JavaScript. Конструкция try в этой инструкции просто определяет блок кода, в котором обрабатываются исключения. За блоком try следует конструкция catch с блоком инструкций, вызываемых, если где-либо в блоке try возникает исключение. За конструкцией catch следует блок finally, содержащий программный код, выполняющий заключительные операции, который гарантированно выполняется независимо от того, что происходит в блоке try. И блок catch, и блок finally не являются обязательными, однако после блока try должен обязательно присутствовать хотя бы один из них. Блоки try, catch и finally начинаются и заканчиваются фигурными скобками. Это обязательная часть синтаксиса, и она не может быть опущена, даже если между ними содержится только одна инструкция.
Следующий фрагмент иллюстрирует синтаксис и назначение инструкции try/catch/finally:
try {
// Обычно этот код без сбоев работает от начала до конца.
// Но в какой-то момент в нем может быть сгенерировано исключение
// либо непосредственно с помощью инструкции throw, либо косвенно -
// вызовом метода, генерирующего исключение.
}
catch (е) {
// Инструкции в этом блоке выполняются тогда и только тогда, когда в блоке try
// возникает исключение. Эти инструкции могут использовать локальную переменную е,
// ссылающуюся на объект Error или на другое значение, указанное в инструкции throw.
// Этот блок может либо некоторым образом обработать исключение, либо
// проигнорировать его, делая что-то другое, либо заново сгенерировать
// исключение с помощью инструкции throw.
}
finally {
// Этот блок содержит инструкции, которые выполняются всегда, независимо от того,
// что произошло в блоке try. Они выполняются, если блок try завершился:
// 1) как обычно, достигнув конца блока
// 2) из-за инструкции break, continue или return
// 3) с исключением, обработанным приведенным в блоке catch выше
// 4) с неперехваченным исключением, которое продолжает свое
// распространение на более высокие уровни
}
Обратите внимание, что за ключевым словом catch следует идентификатор в скобках. Этот идентификатор похож на параметр функции. Когда будет перехвачено исключение, этому параметру будет присвоено исключение (например, объект Error). В отличие от обычной переменной идентификатор, ассоциированный с конструкцией catch, существует только в теле блока catch.
7
К самому внутреннему по вложенности охватывающему обработчику исключений. -Прим. науч. ред.