Обработка исключений - История изменений

Raw mat в 11:51, 13 июля 2013

2013-07-13T11:51:57Z

Внесённые изменения

82.190.117.18: gyaygTuHAC

2011-11-07T18:18:39Z

gyaygTuHAC

63.119.11.20: zwCtAHoTSQrnrzve

2011-11-06T11:58:23Z

zwCtAHoTSQrnrzve

109.230.216.225: LCercYtjwqHWe

2011-11-06T02:18:11Z

LCercYtjwqHWe

50.19.122.157: GuaoVFQFrygLH

2011-11-04T13:13:03Z

GuaoVFQFrygLH

50.97.176.147: mnVmoZYfmSlVDWReKnC

2011-11-03T14:21:42Z

mnVmoZYfmSlVDWReKnC

Внесённые изменения

79.142.112.246: /* Исключения и работа с ресурсами */

2011-11-03T10:08:28Z

‎Исключения и работа с ресурсами

213.141.161.129 в 04:37, 29 октября 2009

2009-10-29T04:37:56Z

213.141.161.129: /* Исключения и работа с ресурсами */

2009-10-29T04:35:22Z

‎Исключения и работа с ресурсами

213.141.161.129: /* Генерация исключения */

2009-10-29T04:22:03Z

‎Генерация исключения

← Предыдущая		Версия 18:18, 7 ноября 2011
Строка 1:		Строка 1:
−	~~BIwJiz <a href~~="http://~~obkglbjbwpow~~.com/~~">obkglbjbwpow<~~/a>	+	KIoC4G , [url=http://nnjaktlupulq.com/]nnjaktlupulq[/url], [link=http://jafvhrkelksm.com/]jafvhrkelksm[/link], http://gakhwzhmfuzn.com/

← Предыдущая		Версия 11:58, 6 ноября 2011
Строка 1:		Строка 1:
−	~~If my problem was~~ a ~~Death Star, this artcile is a photon torpedo~~.	+	BIwJiz <a href="http://obkglbjbwpow.com/">obkglbjbwpow</a>

← Предыдущая		Версия 02:18, 6 ноября 2011
Строка 1:		Строка 1:
−	~~Eqiacj~~ , ~~[url=http://jhjgyxadvdda~~.~~com/]jhjgyxadvdda[/url], [link=http://kbaydyjkuroo.com/]kbaydyjkuroo[/link], http://jonvlmrlumne.com/~~	+	If my problem was a Death Star, this artcile is a photon torpedo.

← Предыдущая		Версия 13:13, 4 ноября 2011
Строка 1:		Строка 1:
−	~~Wow~~, ~~that's a really cevler way of thinking about it!~~	+	Eqiacj , [url=http://jhjgyxadvdda.com/]jhjgyxadvdda[/url], [link=http://kbaydyjkuroo.com/]kbaydyjkuroo[/link], http://jonvlmrlumne.com/

@@ Строка 136: / Строка 136: @@
 То есть, не стоит ловить исключение только потому что это можно сделать. Смысл всей технологии в том, что ошибки обрабатываются в тех местах, где их можно исправить. <!--Приведем парочку примеров разных ситуаций, иллюстрирующих проблему. Допустим, мы пишем библиотечный код работы с сетевыми соединениями, который представляет собой надстройку над сокетами. В процессе чтения из сокеты мы можем столкнуться с ошибкой чтения.-->
-== Исключения и работа с ресурсами ==
+Yup, that shuold defo do the trick!
-−
-Основная проблема при работе со внешними ресурсами заключается в том, что их надо освобождать. Конечно, в нашем случае существует сборщик мусора, который рано или поздно обнаружит "ничейный" объект и инициирует процедуру его удаления. При этом, грамотно написанный unmanaged объект должен произвести все необходимые операции по освобождению ассоциированного с ним ресурса (файла, сетевого соединения, графической сущности и т. д.).
-−
-Однако, может пройти длительное время, прежде чем сборщик мусора "спохватится" и начнет свою работу. В случае небольших программ и того хуже — он может быть вызван всего раз — при завершении работы программы. Таким образом, если программа представляет собой например скрипт, создающий на экране некоторые графические сущности или объекты виртуального пространства, то весь этот "мусор" будет маячить перед глазами до того момента, пока программист не озаботится его удалением.
-−
-Разумеется, грамотно написанная программа должна освобождать ресурсы как можно быстрее (не путать с обычными объектами). Обычно это осуществляется вызовом специального unmanaged метода, который и производит все необходимые манипуляции на низком уровне. Тогда код работы с ресурсом может выглядеть как-то так:
-<source lang="kpp">
-var resource = MyResource.open("some initial data"); // создаем ресурс
-resource.bla(bla);                                   // работаем с ресурсом
-foo(resource);
-//...
-resource.release();                                  // освобождаем ресурс
-</source>
-−
-В приведенном выше примере, метод <tt>release()</tt> является финализатором, который освобождает ресурс. Логическая ошибка такого кода в том, что он будет корректно работать только в случае нормальной работы программы. В случае если код работы с ресурсом возбудит исключение, управление будет передано "наверх" минуя оставшуюся часть кода, в том числе и оператор финализации. В результате, ассоциированные с этим блоком кода ресурсы не будут освобождены тогда, когда этого хотелось разработчику.
-−
-В принципе, можно попробовать схитрить и обернуть данный код в <tt>'''try'''</tt> блок, а в блоке перехвата исключений проводить принудительную финализацию ресурса. Тогда код будет выглядеть как-то так:
-<source lang="kpp">
-var resource = MyResource.open("some initial data");   // создаем ресурс
-try {
-  resource.bla(bla);                                   // работаем с ресурсом
-  foo(resource);
-  //...
-  resource.release();                                  // освобождаем ресурс
-} catch (Exception e) {
-  resource.release();                                  // освобождаем ресурс
-  throw e;                                             // вторично выбрасываем исключение
-−
-</source>
-−
-С функциональной точки зрения этот код корректен. Ресурс финализируется в любом случае, вне зависимости от того, каким образом управление покинуло защищаемый блок кода. Однако с точки зрения удобства использования и "прозрачности" такой код не очень хорош. Тело программы перегружается повторяющимися конструкциями, код становится менее читаем; не говорим уже о том, что можно банально забыть вписать строку финализации в обработчик исключения (или забыть изменить ее при смене процедуры финализации). В общем и целом, такой подход производит больше проблем чем решает.
-−
-Для того чтобы сказать компилятору, что некоторый код необходимо выполнить в любом случае, независимо от того что произошло выше, необходимо использовать ключевое слово <tt>'''ensure'''</tt>. Тогда вышеприведенный код примет следующий вид:
-<source lang="kpp">
-var resource = MyResource.open("some initial data");   // создаем ресурс
-try {
-  resource.bla(bla);                                   // работаем с ресурсом
-  foo(resource);
-  // ...
-} ensure {
-  resource.release();                                  // освобождаем ресурс
-−
-</source>
-−
-Обратите внимание, что код финализации записан всего один раз, отдельно от основного кода. Никаких промежуточных объектов исключения и прочей "шелухи" не наблюдается. Всю работу по организации потока управления компилятор берет на себя. От нас требуется только корректно записать код работы с объектом.
-−
-Конструкция работает следующим образом: сначала вызывается инициализатор ресурса, то есть первая строка. Затем управление передается в защищаемый блок. Если все прошло гладко и исключений выброшено не было, то после защищаемого блока вызывается <tt>'''ensure'''</tt> блок а затем управление передается дальше по коду.
-−
-Если же где то в защищаемом коде было выброшено исключение, управление <em>сперва</em> передается в <tt>'''ensure'''</tt> блок, а потом выброшенное исключение передается "наверх"; то есть управление будет передано ближайшему <tt>'''catch'''</tt> блоку, способному обработать данный класс исключений. Самое главное заключается в том, что освобождение ресурса гарантируется в любом случае.

@@ Строка 8: / Строка 8: @@
 * Ввод данных, не соответствующий требуемому формату (например строки, когда ожидалось число)
 * Ошибка выделения памяти
-* Падение метеорита, война, нашествие иноплянетян и т. д.
+* Падение метеорита, война, нашествие инопланетян и т. д.
 Все вышеперечисленные события так или иначе могут произойти в ходе работы программы, однако, с точностью предсказать их практически невозможно, можно только оценить вероятность. Хорошая программа так и делает: в тех местах, где могут потенциально произойти исключительные ситуации, вставляется код, проверяющий состояние и производящий некоторые действия по "ликвидации последствий". Например, в случае ошибки связи, программа может попытаться установить соединение заново, в то время как при ошибке внезапного конца файла, остается только уведомить об этом пользователя, показав соответствующее сообщение об ошибке.
@@ Строка 114: / Строка 114: @@
 Таким образом, при объявлении переменной исключения, мы можем указывать ее тип и потом ссылаться на
-специфические поля объектов, соответствущих этому типу:
+специфические поля объектов, соответствующих этому типу:
 <source lang=kpp>
 try {
@@ Строка 135: / Строка 135: @@
 Блоки перехвата исключений должны вставляться только в тех местах, где вы точно знаете, как надо поступить при возникновении исключения. Если такой уверенности нет — смело пропускайте исключение "мимо ушей". Рано или поздно оно будет словлено там, где программа располагает бо́льшими сведениями относительно дальнейшей модели поведения.
-То есть, не стоит ловить исключение только потому что это можно сделать. Смысл всей технологии в том, что ошибки обрабатываются в тех местах, где их можно исправить. <!--Приведем парочку примеров разных ситуаций, иллюстирующих проблему. Допустим, мы пишем библиотечный код работы с сетевыми соединениями, который представляет собой надстройку над сокетами. В процессе чтения из сокеты мы можем столкнуться с ошибкой чтения.-->
+То есть, не стоит ловить исключение только потому что это можно сделать. Смысл всей технологии в том, что ошибки обрабатываются в тех местах, где их можно исправить. <!--Приведем парочку примеров разных ситуаций, иллюстрирующих проблему. Допустим, мы пишем библиотечный код работы с сетевыми соединениями, который представляет собой надстройку над сокетами. В процессе чтения из сокеты мы можем столкнуться с ошибкой чтения.-->
 == Исключения и работа с ресурсами ==

@@ Строка 57: / Строка 57: @@
   | <tt>EFailed</tt> || операция не удалась (и все тут)
   |-
-  | <tt>EAagain</tt> || по тем или иным причинам требуется повтор операции
+  | <tt>EAgain</tt> || по тем или иным причинам требуется повтор операции
   |-
   | <tt>EDenied </tt> || действие запрещено!
@@ Строка 71: / Строка 71: @@
   | <tt>ETimeout  </tt> || истекло время ожидания чего-либо
   |-
-  | <tt>EStreamError</tt> || ошибка [[потока]]
+  | <tt>EStreamError</tt> || ошибка [[Потоки|потока]]
   |-
-  | <tt>ERegexpError</tt> || ошибка при разборе [[регулярного выражения]]
+  | <tt>ERegexpError</tt> || ошибка при разборе [[Регулярные выражения|регулярного выражения]]
   |-
   | <tt>EAbstractError</tt> || попытка вызова [[Классы и объекты#Методы|абстрактного метода]]