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

for(var f = 1; х>1; f*=x, х--) /* пустое тело цикла */ ;

return f;

}

Когда возбуждается исключение, интерпретатор JavaScript немедленно прерывает нормальное выполнение программы и переходит к ближайшему [7] К самому внутреннему по вложенности охватывающему обработчику исключений. -Прим. науч. ред. обработчику исключений. В обработчиках исключений используется конструкция catch инструкции try/catch/finally , описание которой приведено в следующем разделе. Если блок программного кода, в котором возникло исключение, не имеет соответствующей конструкции catch , интерпретатор анализирует следующий внешний блок программного кода и проверяет, связан ли с ним обработчик исключений. Это продолжается до тех пор, пока обработчик не будет найден. Если исключение генерируется в функции, не содержащей инструкции try/catch/finally , предназначенной для его обработки, то исключение распространяется выше, в программный код, вызвавший функцию. Таким образом исключения распространяются по лексической структуре методов JavaScript вверх по стеку вызовов. Если обработчик исключения так и не будет найден, исключение рассматривается как ошибка и о ней сообщается пользователю.

Инструкция 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() клиентского JavaScript для организации ввода и вывода:

try {

// Запросить число у пользователя

var n = Number(prompt("Введите положительное число",""));

// Вычислить факториал числа, предполагая, что входные данные корректны

var f = factorial(n);

// Вывести результат

alert(n + "! = " + f);

}

catch (ex) { // Если данные некорректны, управление будет передано сюда

alert(ех); // Сообщить пользователю об ошибке

}

Это пример инструкции try/catch без конструкции finally . Хотя finally используется не так часто, как catch , тем не менее иногда эта конструкция оказывается полезной. Однако ее поведение требует дополнительных объяснений. Блок finally гарантированно исполняется, если исполнялась хотя бы какая-то часть блока try , независимо от того, каким образом завершилось выполнение программного кода в блоке try . Эта возможность обычно используется для выполнения заключительных операций после выполнения программного кода в предложении try .

В обычной ситуации управление доходит до конца блока try , а затем переходит к блоку finally , который выполняет необходимые заключительные операции. Если управление вышло из блока try как результат выполнения инструкций return , continue или break , перед передачей управления в другое место выполняется блок finally .

Если в блоке try возникает исключение и имеется соответствующий блок catch для его обработки, управление сначала передается в блок catch , а затем - в блок finally . Если отсутствует локальный блок catch , то управление сначала передается в блок finally , а затем переходит на ближайший внешний блок catch , который может обработать исключение.