Твердження (програмування)

Матеріал з Вікіпедії — вільної енциклопедії.

Зміст

1 Рекомендоване застосування
- 1.1 Твердження та перевірка помилок
2 Джерела інформації
3 Дивіться також
- 3.1 Ресурси інтернет

Тве́рдження (англ. Assertion), в програмуванні — висловлювання на мові програмування в якому робиться припущення щодо властивостей змінних або стану програми. Це висловлювання формулюється в такому вигляді, що припускається його значення істина. Більшість мов програмування використовують твердження для перевірки таких припущень, однак, інші використовують їх для документування проектних рішень. У разі, якщо твердження не виконується, це може вказувати на наявність помилки в програмі.

[ред.] Рекомендоване застосування

[ред.] Твердження та перевірка помилок

Важливо розрізняти помилки алгоритмів програми та помилки, які виникають під час виконання програми:

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

Твердження не є способом обробки помилок часу виконання. Наприклад, застосування тверджень для обробки введених користувачем даних є прикладом поганої розробки.

Твердження можуть використовуватись для перевірки того, що припущення, зроблене програмістом, залишається вірним і під час роботи програми. Приклад такого застосування наведено в наступному тексті програми на мові Java:

 int total = countNumberOfUsers();
 if (total % 2 == 0) {
     // total парне
 } else {
     // total не парне
     assert(total % 2 == 1);
 }

В мові програмування Java, «%» є оператором обчислення залишку від ділення (а не модуля) — у випадку, якщо перший його операнд від'ємний, результат також може бути від'ємним. В цьому прикладі, програміст зробив припущення, що кількість користувачів завжди не від'ємна, і залишок від ділення на 2 завжди дорівнюватиме 0 або 1. Твердження робить це припущення явним — якщо метод countNumberOfUsers поверне від'ємне число, це свідчитиме про дефект програми.

Іноді, твердження ставлять в ті частини коду, які вважаються недосяжними. Наприклад, твердження можуть ставитись в частину default вислову switch в програмах на мовах C, C++, та Java. Про випадки, які програміст навмисно залишив не обробленими, буде одразу повідомлено.

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