Використовувати твердження проти викидання винятків?

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

Тож коли я повинен робити що: коли доцільно використовувати твердження і коли доцільно кинути виняток?

Твердження повинні використовуватися лише для перевірки умов, які повинні бути логічно неможливими помилковими (читайте: перевірки здорового стану). Ці умови повинні базуватися лише на входах, створених вашим власним кодом. Будь-які перевірки, засновані на зовнішніх входах, повинні використовувати винятки.

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

Твердження використовуються для пошуку помилок програмування. Ваші програми повинні працювати так само добре, коли всі твердження видалені.

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

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

Наприклад, в C,

int printf(const char *fmt, ...)
{
  assert(fmt);  // may fail in debug build but not in production build
  if (!fmt) return -1; // handle gracefully in production build
  ...
}

Винятки мають бути вбудовані у виробничі комплекси. Альтернативою для виключення є помилка повернення, а не твердження.

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

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