Potwierdzenia

Wyrażenie assert to funkcja debugowania, której można użyć do testowania wyrażenia. Po awarii w trybie debugowania asercji generuje okno dialogowe błędu systemu.

Składnia

assert condition

Uwagi

Wyrażenie assert ma typ bool -> unit.

Funkcja assert jest rozpoznawana jako Debug.Assert. Oznacza to, że jego zachowanie jest identyczne z wywołaniami Debug.Assert bezpośrednio.

Sprawdzanie asercji jest włączone tylko podczas kompilowania w trybie debugowania; oznacza to, że jeśli stała DEBUG jest zdefiniowana. W systemie projektu domyślnie stała jest definiowana DEBUG w konfiguracji debugowania, ale nie w konfiguracji wydania.

Błąd niepowodzenia asercji nie może zostać przechwycony przy użyciu obsługi wyjątków języka F#.

Przykład

Poniższy przykład kodu ilustruje użycie assert wyrażenia.

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

Zobacz także

• Przewodnik po języku F#