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