Проверочные утверждения (F#)
Выражение assert — это функция отладки, которую можно использовать для проверки значения выражения.В случае отрицательного результата тестирования в режиме отладки утверждение создает системное диалоговое окно ошибки.
assert condition
Заметки
Выражение assert имеет тип bool -> unit.
В приведенной выше синтаксической конструкции condition представляет собой логическое выражение для проверки.Если выражение имеет значение true, выполнение продолжается без каких-либо происшествий.Если выражение имеет значение false, формируется системное диалоговое окно ошибки.Заголовок диалогового окна ошибки содержит строку Ошибка при выполнении утверждения.Диалоговое окно содержит трассировку стека, позволяющую определить место сбоя проверочного утверждения.
Проверка утверждений действует только при компиляции в режиме отладки, т. е. если определена константа DEBUG.По умолчанию в системе проектов константа DEBUG определена в отладочной конфигурации, но не в конфигурации выпуска.
Сбой проверочного утверждения нельзя перехватить с помощью механизма обработки исключений F#.
.gif "Примечание") Примечание |
|---|
Функция assert разрешается в метод System.Diagnostics.Debug.Assert.Дополнительные сведения см. в разделе Assert. |
Следующий пример кода иллюстрирует использование выражения assert.
let subtractUnsigned (x : uint32) (y : uint32) =
assert (x > y)
let z = x - y
z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u