Коли використовувати твердження і коли використовувати виняток

Більшу частину часу я буду використовувати виняток, щоб перевірити стан у своєму коді, мені цікаво, коли настає відповідний час для використання твердження?

Наприклад,

Group group=null;
try{
    group = service().getGroup("abc");
}catch(Exception e){
    //I dont log error because I know whenever error occur mean group not found
}

if(group !=null)
{
    //do something
}

Чи можете ви вказати, як тут укладається твердження? Чи варто використовувати твердження?

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

Твердження повинні використовуватися для перевірки того, що ніколи не повинно відбуватися, тоді як виняток слід використовувати для перевірки того, що може статися.

Наприклад, функція може ділитися на 0, тому слід використовувати виняток, але твердження може бути використане для перевірки того, що жорсткий диск раптово зникає.

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

Зауважте, що if(group != null)це не твердження, а лише умовне.

Я не знаю (список може бути неповним і занадто довгим, щоб вмістити коментар), я б сказав:

• використовувати винятки під час перевірки параметрів, переданих загальнодоступним або захищеним методам та конструкторам
• використовувати винятки під час взаємодії з користувачем або коли ви очікуєте, що клієнтський код відновиться після надзвичайної ситуації
• використовувати винятки для вирішення проблем, які можуть виникнути
• використовувати твердження під час перевірки попередніх умов, пост-умов та інваріантів приватного / внутрішнього коду
• використовуйте твердження, щоб надати зворотній зв’язок собі або своїй команді розробників
• використовуйте твердження при перевірці речей, які навряд чи трапляться в іншому випадку, це означає, що у вашій заявці є серйозні проблеми
• використовуйте твердження, щоб заявити речі, які ви (нібито) знаєте, що є правдою

Іншими словами, винятки стосуються надійності вашої програми, а твердження - її коректності.

Твердження розроблені як дешеві для написання, ви можете використовувати їх майже скрізь, і я використовую це правило: чим більше твердження твердження виглядає дурніше, тим цінніше воно і чим більше інформації він вбудовує. Під час налагодження програми, яка не веде себе правильно, ви обов'язково перевірите більш очевидні можливості відмов, виходячи зі свого досвіду. Тоді ви перевірите наявність проблем, які просто не можуть трапитися: саме тоді твердження дуже допомагають та економлять час.

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

Крім того, ви повинні прочитати статтю Oracle про ствердження, щоб побачити більше випадків, коли потрібно використовувати або не використовувати.

Як правило:

• Використовуйте твердження для перевірки внутрішньої узгодженості, де це зовсім не має значення, якщо хтось їх вимикає. (Зверніть увагу, що javaкоманда за замовчуванням вимикає всі твердження.)
• Використовуйте регулярні тести для будь-яких перевірок, що не слід вимикати. Сюди входять захисні перевірки, що захищають від можливої ​​шкоди, спричиненої помилками, та будь-які дані / запити перевірки / все, що надається користувачами або зовнішніми службами.

Наступний код вашого запитання - це поганий стиль та потенційно баггі

try {
    group = service().getGroup("abc");
} catch (Exception e) {
    //i dont log error because i know whenever error occur mean group not found
}

Проблема полягає в тому, що ви не знаєте, що виняток означає, що група не була знайдена. Можливо також, що service()виклик кинув виняток, або що він повернувся, nullщо потім викликало a NullPointerException.

Коли ви ловите "очікуваний" виняток, ви повинні ловити лише той виняток, якого ви очікуєте. Захоплюючи java.lang.Exception(і особливо не записуючи його), ви ускладнюєте діагностувати / налагоджувати проблему та потенційно дозволяєте додатку робити більше шкоди.

Ну, ще в Microsoft, рекомендація полягала в тому, щоб викидати винятки у всіх API, які ви робите доступними, і використовувати Asserts у всіляких припущеннях, які ви робите для внутрішнього коду. Це дещо нечітке визначення, але я думаю, що кожен розробник повинен провести лінію.

Що стосується використання винятків, як випливає з назви, їх використання повинно бути винятковим, тому для коду, який ви подаєте вище, getGroupвиклик повинен повернутися, nullякщо не існує послуги. Виняток має відбуватися лише в тому випадку, якщо мережеве посилання йде вниз або щось подібне.

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

Відповідно до цього документа http://docs.oracle.com/javase/6/docs/technotes/guides/language/assert.html#design-faq-general , "Заява твердження підходить для непублічної передумови, постусловості та інваріанта класу Перевірка загальнодоступних передумов все-таки повинна проводитися за допомогою перевірок усередині методів, які призводять, зокрема, задокументовані винятки, такі як IllegalArgumentException та IllegalStateException. "

Якщо ви хочете дізнатися більше про передумову, постусловість та інваріант класів, перевірте цей документ: http://docs.oracle.com/javase/6/docs/technotes/guides/language/assert.html#usage-conditions . Він також містить приклади використання тверджень.

Тестування на null зафіксує лише нулі, що спричиняють проблеми, тоді як спроба / catch, як у вас є, призведе до будь-якої помилки.

Загалом, спробувати / зловити безпечніше, але трохи повільніше, і ви повинні бути обережними, щоб ви виявили всі види помилок, які можуть виникнути. Тож я б сказав, використовуйте спробувати / ловити - одного дня код getGroup може змінитися, і вам просто може знадобитися ця більша мережа.

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

Зізнаюся, я трохи розгублений вашим запитанням. Якщо умова твердження не виконується, викидається виняток. Конфузно це називається AssertionError . Зауважте, що це не перевірено , як (наприклад) IllegalArgumentException, яке кидається в дуже схожих обставинах.

Тож використовуючи твердження на Java

1. є більш стислим засобом написання блоку умови / кидання
2. дозволяє включити / вимкнути ці перевірки за допомогою параметрів JVM. Зазвичай я залишаю ці перевірки постійно, якщо вони не впливають на виконання часу або не мають подібного штрафу.

Дивіться розділ 6.1.2 (Затвердження проти іншого коду помилки) документації Sun за наступним посиланням.

http://www.oracle.com/technetwork/articles/javase/javapch06.pdf

Цей документ дає найкращі поради, які я бачив, коли використовувати твердження. Цитування з документа:

"Хорошим правилом є те, що ви повинні використовувати твердження для виняткових випадків, про які ви хочете забути. Твердження - це найшвидший спосіб вирішити та забути стан або стан, про який ви не очікуєте, що потрібно буде. мати справу з."

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