Винятки

Зміст

Спадкування винятків

У PHP реалізовано модель винятків, аналогічну тим, що використовуються в інших мовах програмування. Виняток у PHP може бути викинуто (throw) і спіймано (catch). Код може бути укладений у блок try, щоб полегшити обробку потенційних винятків. У кожного блоку try має бути як мінімум один відповідний блок catchилиfinally

Якщо викинутий виняток, а в поточній області видимості функції немає блоку catch, виняток буде "підніматися" по стеку викликів до зухвалої функції, доки не знайде відповідний блок catch. Усі блоки finally, які зустрінуться на цьому шляху, будуть виконані. Якщо стек викликів розгортається до глобальної області видимості, не зустрічаючи відповідного блоку catch, програма завершується з невиправною помилкою, якщо не було встановлено глобальний обробник винятків.

Викинутий об'єкт повинен наслідувати (instanceof) інтерфейс Throwable. Спроба викинути об'єкт, який не є таким, призведе до непоправної помилки PHP.

Починаючи з PHP 8.0.0, ключове слово throw є виразом і може бути використаний у будь-якому контексті виразу. У попередніх версіях воно було твердженням і мало розташовуватися в окремому рядку.

`catch`

Блокcatch визначає, як реагувати на викинутий виняток. Блок catch визначає один або декілька типів винятків або помилок, які він може обробити, і, за бажанням, змінну, якій можна привласнити виняток (вказівка змінної була обов'язковою до версії PHP 8.0.0). Перший блок catch, з яким зіткнеться викинутий виняток чи помилка і відповідає типу викинутого об'єкта, обробить об'єкт.

Декілька блоків catch можуть бути використані для перехоплення різних класів винятків. Нормальне виконання (коли виняток не викинуто у блоці try) будет продолжаться после последнего блокаcatch, Визначеного в послідовності. Винятки можуть бути викинуті (throw) (або повторно викинуті) усередині блоку catch. В іншому випадку виконання буде продовжено після блоку catch, який був викликаний.

При виникненні виключення, код, який слідує за твердженням, не буде виконаний, а PHP спробує знайти перший відповідний блок catch. . Якщо виняток не спіймано, буде видана помилка PHP з повідомленням "Uncaught Exception ...", якщо обробник не був визначений за допомогою функції set_exception_handler()

Починаючи з версії PHP 7.1.0, у блоці catch можна вказувати кілька винятків, використовуючи символ . Це корисно, коли різні винятки із різних ієрархій класів обробляються однаково.

Починаючи з версії PHP 8.0.0, ім'я змінної для упійманого виключення є необов'язковим. Якщо воно не вказано, блок catch буде виконано, але не матиме доступу до викинутого об'єкта.

`finally`

Блокfinally також може бути вказаний після або замість блоків catch. Код у блоці finally завжди виконуватиметься після блоків tryиcatchнезалежно від того, чи було викинуто виняток і до відновлення нормального виконання.

Одна з помітних взаємодій відбувається між блоком finally та оператором return. Якщо оператор return зустрічається усередині блоків tryилиcatch, блокfinally все одно буде виконано. Більше того, оператор return виконається, коли зустрінеться, але результат буде повернутий після виконання блоку finally. Крім того, якщо блок finally також містить оператор return, возвращается значение из блокаfinally

Глобальний обробник винятків

Якщо виключення дозволено поширюватися на глобальну область видимості, це може бути перехоплено глобальним обробником винятків, якщо він встановлено. Функція set_exception_handler() може встановити функцію, яка буде викликана замість блоку catch, якщо не буде викликано жодного іншого блоку. Ефект по суті такий самий, як якби вся програма була обгорнута в блок try-catch з цією функцією як catch

Примітки

Зауваження :

Внутрішні функції PHP переважно використовують звіт про помилки, тільки сучасні об'єктно-орієнтовані модулі використовують винятки. Однак помилки можна легко перевести у винятки за допомогою класу ErrorException. Однак ця техніка працює тільки з помилками, що виправляються.

Приклад #1 Перетворення звітів про помилки на виключення
Loading...

Підказка

БиблиотекаСтандартна бібліотека PHP (SPL) надає велику кількість вбудованих винятків