Відмінності в роботі блоків обробки виключень

На рис. 6.1 представлені три варіанти фрагмента програми, в якій відбувається помилка часу виконання. Кожен з фрагментів складається з трьох процедур, які послідовно викликають одна одну. Помилка відбувається в третій. На рисунку показані три варіанти роботи в залежності від виду блоку обробки, що використовується або без нього.

У першому варіанті обробка помилки не проводиться (чого в принципі не повинно бути в коректно створеній програмі). Другий варіант дозволяє локалізувати виняток, тобто не дати йому вийти за межі будь-якого фрагменту програми.

Рисунок 6.1. Механізм обробки виключних ситуацій.

Завдяки цьому залишається можливість продовження нормального виконання програми. Далі ми зупинимось більш докладніше на кожному з варіантів.

Програма на схемі «» не обробляє виняткову ситуацію і працює таким чином. Спочатку виконується Процедура 1 до моменту виклику Процедури 2. Шлях коректного (безпомилкового) виконання програми показаний суцільною лінією. Потім Процедура 2 виконується до моменту виклику Процедури 3. Процедура 3 виконується, і в ній відбувається помилка, що тягне автоматичне створення об'єкта виключення і пошук обробника, який відповідає даному виключенню.

Так як Процедура 3 не перетворює виняткову ситуацію, то вона завершується, управління передається в викликану нею Процедуру 2, і вже там починається пошук обробника виключення (напрямок потоку виконання при виникненні виняткової ситуації показано пунктирною лінією). Однак Процедура 2 також не містить обробника винятків, відповідно, вона буде перервана, а управління перейде до Процедури 1. Процедура 1 не містить обробника помилок, отже, також буде перервана. В результаті фрагмент програми, викликавший але не обробивший помилку, взагалі втрачає керування.

Тепер розглянемо схему «б». Програма, представлена на ній працює аналогічно до схеми «а» до моменту повернення управлення в Процедуру 2 при виникненні виключення. Виклик процедури 3 в Процедурі 2 був зроблений з блоку обробки Try.. Except, тому управління передається в секцію Except цього блоку, після закінчення якої фрагмент програми продовжує своє нормальне виконання.

На схемі «в» представлений фрагмент програми, що має блок обробки виключень Try.. Finally. Його робота аналогічна попередньому випадках, за винятком того, що після завершення блоку Finally.. End, Процедура 2 не продовжуватиме свою роботу, а завершиться, і управління перейде в Процедуру 1. Далі фрагмент буде працювати аналогічно представленому на рисунку «а».

Дата добавления: 2014-01-04