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