Утверждение ( англ. assertion ) в программировании — оператор , в котором предикат ( логическое выражение ) должен иметь всегда истинное значение в данной части кода . Программы проверяют утверждения, фактически оценивая предикат во время выполнения кода , и, если в действительности предикат ложен, программа преднамеренно останавливается или генерирует исключение .

Утверждения могут делать код удобнее для прочтения, помогать компилятору скомпилировать код или обнаружить дефекты в программе.

Примеры

Следующий код содержит два утверждения: x > 0 и x > 1, и они действительно истинны в указанных пунктах во время выполнения:

x = 1;
assert x > 0;
х++;
assert x > 1;

Утверждение в следующем коде на языке Python ложное, поэтому вызывает исключение:

a = 1
b = 2
assert a == 1  # строка, реализующая утверждение
try:
    assert b == 3  # это утверждение вызовет ошибку
except AssertionError:
    print("b has to be equal 3")

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

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 26 июня 2012 )