По-друге, мені було цікаво, чи хтось знає, у чому різниця між винятками (у царині потоку управління винятками) та Винятками (наприклад, що використовується у Java).
Але чи є вони в основному для захисту системи від збоїв шляхом припинення користувальницької програми?
Відповіді:
Існують винятки, щоб дозволити обробку винятків , яка може уникнути збоїв, але загалом запобігає небажаній чи непередбачуваній поведінці системи. Наприклад, якщо час підключення моєї програми до бази даних закінчується, це зазвичай не збирається збою системи, але якщо я залежав від даних із бази даних, виняток може дозволити мені трактувати цю ситуацію, що не має даних, інакше, ніж зазвичай.
Скажімо, за замовчуванням моя програма відображає сторінку даних на основі того, що було повернуто з бази даних - добре лайно, у мене немає даних. Замість того, щоб представити переплутане подання або продовжувати потенційно недійсну операцію, я можу наздогнати цей виняток і повернутися до іншої бази даних, прочитати з локальних даних, запитати у користувача дані або іншим чином повернути користувача або систему в безпечний стан (імовірно, один це не відразу спричинить той самий виняток!)
Крім того, у системах, де введення користувача може бути причиною / рішенням проблеми, винятки можуть повідомити користувачу про детальну та корисну інформацію про проблему. Замість занадто поширеного "Неопрацьоване виняток сталося в ..." або "Залякування повідомлення про помилку прямо з SQL", ви можете сказати користувачеві щось корисне або принаймні зрозуміле, наприклад "Не вдалося підключитися до ресурсу B."
Створені винятки для спрощення керування помилками. Без винятку, логіка поводження з помилками повинна поширюватися у всій програмі. Будь-яка функція, яка, можливо, може призвести до помилки, повинна якось повернути статус помилки, і за кожним викликом повинно супроводжуватися перевірка на помилку. Часто той, хто телефонує, не може зробити нічого корисного у випадку помилки, а може повернути лише саму помилку. Половина коду програми може бути присвячена обробці помилок. Такий код надзвичайно крихкий. Це занадто просто, щоб не залишати перевірку помилок і збої, або ще гірше, повертати неправильні результати через непомітну помилку.
За винятком, помилки можна перевірити лише в тому місці, де їх можна обробити. Більшість кодів програми можна писати прямолінійно, оскільки функції або повернуть корисне значення, або викинуть виняток.
Суть винятку повинна полягати в повідомленні користувача про виняткові обставини. Якщо з системою щось не вдається, програма повинна знати і дозволити їй обробляти * належним чином.
Однак сказане: ні, винятку не існує, щоб запобігти "збоям" системи. Виняток він дає мені знати, що є проблема. Як діяти визначає, можна визначити, чи система "виходить з ладу".
Також зауважте, що виняток не повинен скасовувати заявку, як ви сказали. Виняток може обробити програміст і виправити або перетворити на якусь значущу помилку для користувача.
* Використання перевірених винятків (винятки, які змушені бути зловленими) є трохи болючим місцем. Деякі (можливо, більшість) розробників вважають, що примусове поводження з винятками громіздке, непотрібне та просто погана практика.
Винятки дозволяють сучасне поводження з помилками, розділяючи місце помилки від обробника помилок. Іноді це також використовується для контролю потоку.
Неопрацьовані винятки припиняють програму. Але вони не відрізняються від колишніх винятків, лише ледачий програміст, який забув включити належні обробники помилок у кожен шлях, робить їх видимими для кінцевого користувача. Я вважаю, що програма, припинена за винятком, зазнала краху як і будь-який інший несподіваний кінець.
ОС дуже добре очищає збої, незалежно від того, як вони вийшли з ладу, тому винятки не створюють безпеки для ОС будь-яким іншим способом, ніж припинення несправних процесів та звільнення їх ресурсів.
Це дуже просто.
Перш ніж були винайдені винятки, кожна функція повинна була повернути вихідний код (помилка / успіх), і будь-який результат або результат з функції потрібно було отримати, передавши йому вказівник на встановлену нею пам'ять.
Проблема полягала в тому, що багато програмістів не пам’ятали / не намагалися перевіряти помилкові коди виходу для кожної окремої функції, а значить, фатальні помилки іноді ігнорувались, що призводило до досить незрозумілої поведінки.
Тому було вирішено - коли трапиться помилка, яку ви не брали до уваги, негайно зазнайте аварії! Обробка винятків AKA.
Винятки - це просто механізм виявлення помилок. Самі по собі вони не приносять користі.
Але виявляючи помилку, вони дозволяють запустити механізми відмовостійкості для відновлення з помилкового стану, перейшовши на стан без помилок (попередній стан або новий). Таким чином, помилка не поширюється на інші частини системи.
Існує експедиція до програма відокремити нормальний потік програми (те, що програма призначена для виконання) від потоку обробки помилок (як програма намагається відновитись у винятковій ситуації).
Це робить код більш зрозумілим і легшим у обслуговуванні.
Розглянемо два фрагменти коду:
try:
do1() # this is obvoiusly a normal
do2() # program flow
except:
oups() # this is exception handling code
Порівняно з цим:
if foo():
thing1() # is this part of normal program flow?
else:
thing2() # or maybe this one? Or both? When?
Звичайно, обробка винятків може використовуватися для запобігання збоїв програми:
try { // very bad code
my();
whole();
ugly();
application();
here();
} catch (Throwable t) {
// pretend it's ok
}
але це не є причиною винятків у сучасних мовах програмування.
Ви також можете використовувати whileі breakзамість цього, ifале це не для чого whileі breakдля чого.