Лекция
Это продолжение увлекательной статьи про try-catch .
...
{
// code, it'll always be executed}Код в приведенном выше примере почти то же самое с единственным исключением, что мы добавили блок finally после блока catch. И, как мы обсуждали, код в этом блоке всегда будет выполняться.
Типичные прецеденты, которые мы могли бы придумать для использования блока finally, обычно связаны с очисткой ресурсов. Например, если вы открыли соединение с базой данных или файл на диске в блоке try, вы можете выполнять задачи очистки, такие как закрытие соединения в блоке finally, так как это гарантировано.
Обработка исключений - это ключевой навык кодирования, и вы должны подумать над тем, как будут обрабатываться исключения при разработке ваших приложений. Это поможет вам обнаружить и восстановить непредвиденные ошибки в вашем приложении. Надеюсь, что этот пост вдохновит вас написать лучший код обработки ошибок!
Во время выполнения программы могут возникать ситуации, когда состояние внешних данных, устройств ввода-вывода или компьютерной системы в целом делает дальнейшие вычисления в соответствии с базовым алгоритмом невозможными или бессмысленными. Классические примеры подобных ситуаций приведены ниже.
Исключительные ситуации, возникающие при работе программы, можно разделить на два основных типа: синхронные и асинхронные, принципы реакции на которые существенно различаются.
Некоторые типы исключений могут быть отнесены как к синхронным, так и к асинхронным. Например, инструкция деления на ноль формально должна приводить к синхронному исключению, так как логически оно возникает именно при выполнении данной команды, но на некоторых платформах за счет глубокой конвейеризации исключение может фактически оказаться асинхронным.
В отсутствие собственного механизма обработки исключений для прикладных программ наиболее общей реакцией на любую исключительную ситуацию является немедленное прекращение выполнения с выдачей пользователю сообщения о характере исключения. Можно сказать, что в подобных случаях единственным и универсальным обработчиком исключений становится операционная система. Например, в операционную систему Windows встроена утилита Dr. Watson, которая занимается сбором информации о необработанном исключении и ее отправкой на специальный сервер компании Microsoft.
Возможно игнорирование исключительной ситуации и продолжение работы, но такая тактика опасна, так как приводит к ошибочным результатам работы программ или возникновению ошибок впоследствии. Например, проигнорировав ошибку чтения из файла блока данных, программа получит в свое распоряжение не те данные, которые она должна была считать, а какие-то другие. Результаты их использования предугадать невозможно.
Обработка исключительных ситуаций самой программой заключается в том, что при возникновении исключительной ситуации управление передается некоторому заранее определенному обработчику — блоку кода, процедуре, функции, которые выполняют необходимые действия.
Существует два принципиально разных механизма функционирования обработчиков исключений.
Существует два варианта подключения обработчика исключительных ситуаций к программе: структурная и неструктурная обработка исключений.
Неструктурная обработка исключений реализуется в виде механизма регистрации функций или команд-обработчиков для каждого возможного типа исключения. Язык программирования или его системные библиотеки предоставляют программисту как минимум две стандартные процедуры: регистрации обработчика и разрегистрации обработчика. Вызов первой из них «привязывает» обработчик к определенному исключению, вызов второй — отменяет эту «привязку». Если исключение происходит, выполнение основного кода программы немедленно прерывается и начинается выполнение обработчика. По завершении обработчика управление передается либо в некоторую наперед заданную точку программы, либо обратно в точку возникновения исключения (в зависимости от заданного способа обработки — с возвратом или без). Независимо от того, какая часть программы в данный момент выполняется, на определенное исключение всегда реагирует последний зарегистрированный для него обработчик. В некоторых языках зарегистрированный обработчик сохраняет силу только в пределах текущего блока кода (процедуры, функции), тогда процедура разрегистрации не требуется. Ниже показан условный фрагмент кода программы с неструктурной обработкой исключений:
УстановитьОбработчик(ОшибкаБД, ПерейтиНа ОшБД)
// На исключение "ОшибкаБД" установлен обработчик - команда "ПерейтиНа ОшБД"
... // Здесь находятся операторы работы с БД
ПерейтиНа СнятьОшБД // Команда безусловного перехода - обход обработчика исключений
ОшБД: // метка - сюда произойдет переход в случае ошибки БД по установленному обработчику
... // Обработчик исключения БД
СнятьОшБД:
// метка - сюда произойдет переход, если контролируемый код выполнится без ошибки БД.
СнятьОбработчик(ОшибкаБД)
// Обработчик снят
Неструктурная обработка — практически единственный вариант для обработки асинхронных исключений, но для синхронных исключений она неудобна: приходится часто вызывать команды установки/снятия обработчиков, всегда остается опасность нарушить логику работы программы, пропустив регистрацию или разрегистрацию обработчика.
Структурная обработка исключений требует обязательной поддержки со стороны языка программирования — наличия специальных синтаксических конструкций. Такая конструкция содержит блок контролируемого кода и обработчик (обработчики) исключений. Наиболее общий вид такой конструкции (условный):
НачалоБлока ... // Контролируемый код ... если (условие) то СоздатьИсключение Исключение2 ... Обработчик Исключение1 ... // Код обработчика для Исключения1 Обработчик Исключение2 ... // Код обработчика для Исключения2 ОбработчикНеобработанных ... // Код обработки ранее не обработанных исключений КонецБлока
Здесь «НачалоБлока» и «КонецБлока» — ключевые слова, которые ограничивают блок контролируемого кода, а «Обработчик» — начало блока обработки соответствующего исключения. Если внутри блока, от начала до первого обработчика, произойдет исключение, то произойдет переход на обработчик, написанный для него, после чего весь блок завершится и исполнение будет продолжено со следующей за ним команды. В некоторых языках нет специальных ключевых слов для ограничения блока контролируемого кода, вместо этого обработчик (обработчики) исключений могут быть встроены в некоторые или во все синтаксические конструкции, объединяющие несколько операторов. Так, например, в языке Ада любой составной оператор (begin — end) может содержать обработчик исключений.
«ОбработчикНеобработанных» — это обработчик исключений, которые не соответствуют ни одному из описанных выше в данном блоке. Обработчики исключений в реальности могут описываться по-разному (один обработчик на все исключения, по одному обработчику на каждый тип исключения), но принципиально они работают одинаково: при возникновении исключения находится первый соответствующий ему обработчик в данном блоке, его код выполняется, после чего выполнение блока завершается. Исключения могут возникать как в результате программных ошибок, так и путем явной их генерации с помощью соответствующей команды (в примере — команда «СоздатьИсключение»). С точки зрения обработчиков такие искусственно созданные исключения ничем не отличаются от любых других.
Блоки обработки исключений могут многократно входить друг в друга, как явно (текстуально), так и неявно (например, в блоке вызывается процедура, которая сама имеет блок обработки исключений). Если ни один из обработчиков в текущем блоке не может обработать исключение, то выполнение данного блока немедленно завершается, и управление передается на ближайший подходящий обработчик более высокого уровня иерархии. Это продолжается до тех пор, пока обработчик не найдется и не обработает исключение или пока исключение не выйдет из обработчиков заданных программистом и не будет передано системному обработчику по умолчанию, аварийно закроющему программу.
Иногда бывает неудобно завершать обработку исключения в текущем блоке, то есть желательно, чтобы при возникновении исключения в текущем блоке обработчик выполнил какие-то действия, но исключение продолжило бы обрабатываться на более высоком уровне (обычно так бывает, когда обработчик данного блока не полностью обрабатывает исключение, а лишь частично). В таких случаях в обработчике исключений генерируется новое исключение или возобновляется, с помощью специальной команды, ранее появившееся. Код обработчиков не является защищенным в данном блоке, поэтому созданное в нем исключение будет обрабатываться в блоках более высокого уровня.
Помимо блоков контролируемого кода для обработки исключений, языки программирования могут поддерживать блоки с гарантированным завершением. Их использование оказывается удобным тогда, когда в некотором блоке кода, независимо от того, произошли ли какие-то ошибки, необходимо перед его завершением выполнить определенные действия. Простейший пример: если в процедуре динамически создается какой-то локальный объект в памяти, то перед выходом из этой процедуры объект должен быть уничтожен (чтобы избежать утечки памяти), независимо от того, произошли после его создания ошибки или нет. Такая возможность реализуется блоками кода вида:
НачалоБлока
... // Основной код
Завершение
... // Код завершения
КонецБлока
Заключенные между ключевыми словами «НачалоБлока» и «Завершение» операторы (основной код) выполняются последовательно. Если при их выполнении не возникает исключений, то затем выполняются операторы между ключевыми словами «Завершение» и «КонецБлока» (код завершения). Если же при выполнении основного кода возникает исключение (любое), то сразу же выполняется код завершения, после чего весь блок завершается, а возникшее исключение продолжает существовать и распространяться до тех пор, пока его не перехватит какой-либо блок обработки исключений более высокого уровня.
Принципиальное отличие блока с гарантированным завершением от обработки — то, что он не обрабатывает исключение, а лишь гарантирует выполнение определенного набора операций перед тем, как включится механизм обработки. Нетрудно заметить, что блок с гарантированным завершением легко реализуется с помощью обычного механизма структурной обработки (для этого достаточно поставить команду генерации исключения непосредственно перед завершением контролируемого блока и правильно написать код обработчика), но наличие отдельной конструкции позволяет сделать код более прозрачным и защищает от случайных ошибок.
Люди обречены на ошибки, а программисты-люди. Приложения могут аварийно завершать работу или прекращать работу по разным причинам. Сбой может произойти во время разработки приложения OR во время производства, когда приложение уже выпущено. Теперь эту заминку можно классифицировать тремя способами:
1) Ошибки - Когда причиной ошибки является ошибка, допущенная разработчиком, она называется ошибкой. Разработчик может быть хорошо опытным, но все равно может написать плохой код по ошибке. Например, объявленный файловый объект может не быть удален и позже может вызвать утечку памяти, что является ошибкой. Обычно во время разработки корпоративных приложений тестировщики улавливают ошибки и классифицируют их по степени критичности. Но могут быть моменты, когда даже команда тестирования может упустить возможность поймать ошибку. Что ж, это опасно!
2) Исключения - Исключением может быть Системное исключение или Исключение приложения. Теперь предположим, что файл, анализируемый кодом, был удален кем-то из места поиска, тогда может возникнуть исключение "File Not Found". Такие исключения обычно обрабатываются хорошо написанным кодом с помощью обработчиков исключений. Эти ошибки обычно возникают во время выполнения. Иногда их может быть трудно предотвратить, но, безусловно, они могут быть обработаны хорошим кодом. Может возникнуть ситуация, когда программист может поймать исключение только с помощью хорошего кода, но не может предотвратить его.
3) Ошибки конечного пользователя - Ошибка может быть вызвана вводом, сделанным конечным пользователем. Например, недопустимая строка может быть введена в Textbox, который ожидает число. Эти типы ошибок могут быть обработаны с помощью элементов управления, таких как RegularExpressionValidator, или кода, который обрабатывает ввод с клавиатуры, мыши, стилуса. Эти ошибки, если они не будут эффективно обработаны разработчиком, могут вызвать ужасные кошмары. Например, приложение может быть взломано или повреждено с помощью SQL инъекций, если вообще, поля ввода допускают плохой ввод, который может взломать код.
Три вышеприведенных пункта представляют собой широкие категории, на которые можно разделить ошибки
Есть много причин для исключения, обычно включая следующие категории:
Пользователь ввел недопустимые данные.
Открываемый файл не существует.
Соединение было прервано во время сетевого взаимодействия или переполнена память JVM.
Некоторые из этих исключений вызваны ошибками пользователя, некоторые - ошибками программы, а другие - физическими ошибками. -
Чтобы понять, как работает обработка исключений Java, вам необходимо освоить следующие три типа исключений:
Проверенные исключения: наиболее характерными проверяемыми исключениями являются те, которые вызваны ошибками или проблемами пользователя, которые не могут быть предвидены программистами. Например, при открытии несуществующего файла возникает исключение, которое нельзя просто игнорировать во время компиляции.
Исключения времени выполнения. Исключения времени выполнения - это исключения, которых программисты могут избежать. В отличие от проверенных исключений, исключения времени выполнения можно игнорировать во время компиляции.
Ошибка. Ошибка - это не исключение, а проблема, не зависящая от программиста. Ошибки в коде обычно игнорируются. Например, при переполнении стека возникает ошибка, и их невозможно проверить при компиляции. Чтобы
Из рисунка видно, что все типы исключений являются подклассами встроенного класса Throwable, поэтому Throwable находится на вершине иерархии классов исключений.
Затем Throwable разделен на две разные ветви, одна из которых - Error, что означает, что вы не хотите, чтобы программа вас перехватила, или это ошибки, которые программа не может обработать. Другая ветвь - это исключение, которое представляет ненормальную ситуацию, которую может уловить пользовательская программа, или исключение, которое программа может обработать. Среди них Exception делится на исключение времени выполнения (RuntimeException) и исключение не во время выполнения.
Исключения Java можно разделить на непроверенное исключение и проверенное исключение.
Различия и связи между этими исключениями будут подробно описаны ниже:
Error：Объект класса Error создается Java
Виртуальная машина создается и создается. Большинство ошибок не имеют ничего общего с операциями, выполняемыми автором кода. Например, ошибка работы виртуальной машины Java (Virtual
MachineError), когда у JVM больше нет ресурсов памяти, необходимых для продолжения операции, он появится
OutOfMemoryError. Когда возникают эти исключения, виртуальная машина Java (JVM) обычно выбирает поток для завершения; и когда виртуальная машина пытается выполнить приложение, например, ошибка определения класса (NoClassDefFoundError), ошибка связи (LinkageError). Эти ошибки нельзя проверить, поскольку они связаны с возможностями управления и обработки приложения.
, и большинство из них не разрешены во время работы программы. В случае хорошо спроектированного приложения, даже если ошибка все же возникает, оно не должно по существу пытаться справиться с ненормальной ситуацией, которую оно вызывает. В Java ошибки обычно описываются с помощью подкласса Error.
Exception：В ветви Exception есть важный подкласс RuntimeException. Этот тип исключения автоматически определяет ArrayIndexOutOfBoundsException (индекс массива выходит за границы), NullPointerException (исключение нулевого указателя), ArithmeticException (арифметическое исключение), MissingResourceException (отсутствует ресурс), ClassNotFoundException (не удается найти класс) и другие исключения, эти исключения не являются проверенными исключениями, программа может выбрать захват обработки или не обрабатывать. Эти исключения обычно вызваны логическими ошибками программы.Программы должны избегать таких исключений, насколько это возможно с логической точки зрения; исключения, отличные от RuntimeException, вместе называются исключениями, не относящимися к среде выполнения, которые принадлежат классу Exception и его подклассам. С точки зрения синтаксиса программы это исключение, которое необходимо обработать. Если оно не обработано, программа не может быть скомпилирована. Такие как IOException, SQLException и т. Д. И определяемые пользователем исключения Exception обычно не настраивают исключения проверки.
1. В try {} есть оператор возврата, затем будет выполнен код в finally {} сразу после попытки. Когда он будет выполнен, до или после возврата?
Ответ: он будет выполнен до того, как метод вернется к вызывающему. Чтобы
2. Как язык Java обрабатывает исключения? Как использовать ключевые слова: throws, throw, try, catch и, наконец,?
Ответ: Java использует объектно-ориентированные методы для обработки исключений, классифицирует различные исключения и предоставляет хороший интерфейс. В Java каждое исключение - это объект, который является экземпляром класса Throwable или его подклассов. Когда в методе возникает исключение, создается объект исключения. Объект содержит информацию об исключении. Метод, вызывающий этот объект, может перехватить исключение и обработать его. Обработка исключений Java достигается с помощью пяти ключевых слов: try, catch, throw, throws и finally. Как правило, try используется для выполнения программы. Если система генерирует объект исключения, его можно поймать по его типу или обработать, всегда выполняя блок кода (наконец); используется try Чтобы указать программу для предотвращения всех исключений; предложение catch сразу после блока try используется для указания типа исключения, которое вы хотите перехватить; оператор throw используется для явного генерирования исключения; throws используется для объявления того, что метод может вызывать Всевозможные исключения (конечно, при объявлении исключений разрешены стоны); наконец, чтобы гарантировать, что часть кода выполняется независимо от того, какие аномальные условия возникают; операторы try могут быть вложенными, всякий раз, когда встречается оператор try, аномальная структура будет Войдите в стек исключений, пока не будут выполнены все операторы try. Если оператор try следующего уровня не обрабатывает исключение, стек исключений будет выполнять операцию pop до тех пор, пока не встретит оператор try, который обрабатывает это исключение, или, наконец, не вызовет исключение для JVM.
3. В чем сходство и различие между исключениями времени выполнения и проверенными исключениями?
Ответ: Аномалии указывают на ненормальные условия, которые могут возникнуть во время работы программы. Исключения во время выполнения указывают на аномалии, которые могут возникнуть при нормальной работе виртуальной машины. Это обычная операционная ошибка и обычно не возникает, если программа разрабатывается без проблем. Отмеченное исключение связано с контекстом, в котором выполняется программа. Даже если программа спроектирована правильно, это все равно может быть вызвано проблемами в использовании. Компилятор Java требует, чтобы методы объявляли генерирующие проверенные исключения, которые могут возникнуть, но не требует, чтобы они объявляли генерирование неперехваченных исключений времени выполнения. Исключениями, такими как наследование, часто злоупотребляют в объектно-ориентированном программировании. Следующие рекомендации приведены для использования исключений в Effective Java:
-Не используйте обработку исключений для обычного потока управления (хорошо спроектированный API не должен заставлять вызывающего его использовать исключения для обычного потока управления)
- использовать отмеченные исключения для исправимых ситуаций и исключения времени выполнения для ошибок программирования.
- Избегайте ненужного использования отмеченных исключений (можно использовать некоторые методы определения состояния, чтобы избежать исключений)
- присвоить приоритет стандартным исключениям
- исключения, создаваемые каждым методом, должны быть задокументированы.
-Сохранение атомарности исключений
- Не игнорировать перехваченное исключение в catch
Многие программисты почему-то считают, что исключения и ошибки — это одно и то же. Кто-то постоянно кидает exception, кто-то через errorHandler превращает ошибки в исключения. Некоторые пытаются увеличить производительность, используя исключения. Но, на самом деле, exception и ошибки — это совершенно разные механизмы. Не надо одним механизмом заменять другой. Они созданы для разных целей.
В стандартной библиотеке (SPL) PHP предоставляет готовый набор базовых классов и интерфейсов для исключений. В 7-ой версии этот набор был расширен интерфейсом Throwable. Вот диаграмма всех имеющихся в версии 7 типов (изображение — ссылка):
Достоинств у Exception много, опишу лишь некоторые (возможно, я выражаюсь неточно или даже безграмотно, но мне было просто лень выискивать научные термины для описания преимуществ, потому описаны они «своими словами»):
Возможности обработки стандартных ошибок PHP крайне ограничены:
Исключение-это исключительное, но ожидаемое обстоятельство, что-то редкое, но может произойти по целому ряду причин. Очевидные примеры включают случаи, когда файл (например, файл журнала) не может быть найден или пользовательский ввод не преобразуется в целое число. Исключения thrown - они должны быть пойманы. Ошибки обычно невосстанавливаются. Скажем, например, у вас есть блок кода, который будет вставлять строку в базу данных. Возможно, этот вызов не удался (дублированный идентификатор) - вы захотите иметь "ошибку", которая в этом случае является "Исключением". Когда вы вставляете эти строки, вы можете сделать что-то вроде этого
Ошибка - это ошибка в коде, которая приводит к неправильному результату, который может вызвать или не вызвать исключение.
Некоторые примеры ошибок:
Вы делаете некоторые вычисления, и из-за ошибок округления (скажем) выводится "23.9", а не "24". Это было бы ошибкой, но не вызывает исключения.
Вы создаете имя файла, но неправильно указываете путь, что приводит к исключению "file not found". Это может быть ошибка, но вызовет исключение.
Ясно, что стандартный механизм обработки ошибок устарел и присутствует в языке только из соображений совместимости.
Ошибки - это старый способ обработки условия ошибки во время выполнения. Как правило, код выполняет вызов с чем-то вроде set_error_handler перед выполнением некоторого кода. Следуя традиции прерывания языка ассемблера. Вот как выглядит код BASIC.
on error :divide_error
print 1/0
print "this won't print"
:divide_error
if errcode = X
print "divide by zero error"
Было трудно убедиться, что set_error_handler будет вызываться с правильным значением. И что еще хуже, вызов может быть сделан для отдельной процедуры, которая изменит обработчик ошибок. Плюс много раз звонки были перемежаны с помощью вызовов set_error_handler и обработчиков. Кодексу было легко быстро выйти из-под контроля. Обработка исключений пришла на помощь путем формализации синтаксиса и семантики того, что действительно делал хороший код.
try {
print 1/0;
print "this won't print";
} catch (DivideByZeroException $e) {
print "divide by zero error";
}
Нет отдельной функции или риска вызова неправильного обработчика ошибок. Теперь код гарантированно находится в одном месте. Плюс мы получаем лучшие сообщения об ошибках.
PHP использовал только обработку ошибок, когда многие другие языки уже превратились в предпочтительную модель обработки исключений. В конечном итоге разработчики PHP реализовали обработку исключений. Но, вероятно, поддержка старого кода, они сохраняли обработку ошибок и предоставляли способ заставить обработку ошибок выглядеть как обработка исключений. Кроме того, нет никакой гарантии, что какой-то код не может reset обработчика ошибок, который должен был обеспечить именно обработка исключений.
Окончательный ответ
Ошибки, которые были закодированы до обработки исключений, были реализованы, вероятно, все еще ошибки. Новые ошибки, вероятно, являются исключениями. Но нет никакой конструкции или логики, к которой относятся ошибки и которые являются исключениями. Он просто основывался на том, что было доступно в то время, когда оно было закодировано, и предпочтении программиста, кодирующего его.
Исключения и ошибки – это когда код делает что-то неправильно. Пользователь более или менее рассчитывает ввести неверную регистрационную информацию. Проверьте правильность имени пользователя / пароля, если нет, перенаправите пользователя на страницу входа ( header('location:login.php?failed=1'); ), а затем, если задано $_GET['failed'] , отобразить сообщение. Это было бы самым простым способом.
Что касается исключений / ошибок … вы должны придерживаться исключений. Вы бросаете исключение, а затем вы его поймаете и решаете. Я думаю, что trigger_error больше предназначен для распространения ошибки обратно клиенту, когда вы не знаете, как обрабатывать ошибку в блоке catch.
Ошибки — это то, что нельзя исправить, об этом
продолжение следует...
Часть 1 Обработка исключительных ситуаций try-catch , В чем разница между исключениями и ошибками?
Часть 2 Как создавать пользовательские исключения - Обработка исключительных ситуаций try-catch ,
Часть 3 Блок Finally - Обработка исключительных ситуаций try-catch , В чем
Часть 4 Исключения - Обработка исключительных ситуаций try-catch , В чем разница
Часть 5 Ошибки не всегда являются ошибками - Обработка исключительных ситуаций try-catch
Исследование, описанное в статье про try-catch , подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое try-catch , исключения , ошибки , в чем разница между исключениями и ошибками?, обработка исключительных ситуаций и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Выполнение скриптов на стороне сервера PHP (LAMP) NodeJS (Backend)
Комментарии
Оставить комментарий
Выполнение скриптов на стороне сервера PHP (LAMP) NodeJS (Backend)
Термины: Выполнение скриптов на стороне сервера PHP (LAMP) NodeJS (Backend)