Утверждение (программирование) — большая энциклопедия. Что такое Утверждение (программирование)

Утверждение (программирование)


Материал из свободной энциклопедии

Утверждение (англ. 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")



О сайте infor24.ru Наш сайт является неофициальным ресурсом, который несет людям знания. Он открыт и бесплатен для любого пользователя. Сайт infor24.ru - большая статейная библиотека со статьями на различные тематики для всех и каждого.

Основа этой страницы находится в Вики. Текст доступен по официальной лицензии CC BY-SA 3.0 Unported License.

Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. infor24.ru является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation). Сайт infor24.ru является неофициальным сайтом.

E-mail: admin@infor24.ru