Утверждение - это утверждение, которое прерывает программу, когда оно оценивается как ложное. Assert обычно используется для отладки и ситуаций, которые никогда не должны происходить.
Обычно плохая практика заключается в использовании утверждений в развернутом программном обеспечении, поскольку оно обычно предоставляет информацию, полезную только для программистов; исключения предпочтительны в этом случае. Кроме того, утверждения не предназначены для использования при проверке входных данных или в других ситуациях, когда предпочтения являются предпочтительными.
Тем не менее, утверждения могут часто использоваться при проектировании, чтобы убедиться, что проектные требования соблюдены (например, при проектировании по контракту), и при отладке, чтобы гарантировать, что код, который является неправильным, дает сбой как можно быстрее. Утверждения часто дают номера строк и имена файлов, что упрощает отслеживание ошибок в коде, чем при использовании других методов, таких как дампы ядра.
C и C ++ имеют assert в «assert.h». Большинство других языков имеют assert как встроенный (Python, Ruby, Java и другие).