Утверждение (программирование)
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 15 октября 2017; проверки требуют 7 правок.
Утверждение (англ. 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")
Это заготовка статьи о компьютерах. Вы можете помочь проекту, дополнив её. |
В другом языковом разделе есть более полная статья Assertion (computing) (англ.). |
В этой статье не хватает ссылок на источники информации. |