JavaScript. Подробное руководство, 6-е издание, Флэнаган Дэвид

JavaScript. Подробное руководство, 6-е издание

на обложку

Флэнаган Дэвид

Шрифт:

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

Далее приводится более реалистичный пример инструкции

try/catch

. В нем вызываются метод

factorial,

определенный в предыдущем разделе, и методы

prompt

alert