Проверочные утверждения

  • Статья

Выражение assert — это функция отладки, которую можно использовать для тестирования выражения. При сбое в режиме отладки утверждение создает диалоговое окно системной ошибки.

Синтаксис

assert condition

Замечания

Выражение assert имеет тип bool -> unit.

Функция assert разрешается Debug.Assertв . Это означает, что его поведение идентично вызову Debug.Assert напрямую.

Проверка утверждений включается только при компиляции в режиме отладки, то есть, если константа DEBUG определена. По умолчанию в системе проекта константу определяются в конфигурации отладки, DEBUG но не в конфигурации выпуска.

Ошибка сбоя утверждения не может быть обнаружена с помощью обработки исключений F#.

Пример

В следующем примере кода показано использование 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

См. также