Loading AI tools
предикат в программе, указывающий на то, что разработчик предполагает этот предикат в этом месте программы всегда истинным Из Википедии, свободной энциклопедии
Утверждение (англ. 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) (англ.). |
![]() | В статье не хватает ссылок на источники (см. рекомендации по поиску). |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.