Potwierdzenia (F#)
assert Wyrażenie jest funkcja debugowania, którego można używać do testowania wyrażenie.W przypadku awarii w trybie debugowania potwierdzenia generuje okno dialogowe błędu systemu.
assert condition
Uwagi
assert Wyrażenie ma typ bool -> unit.
W poprzednich składni condition reprezentuje wyrażenie logiczne, które ma być badane.Jeśli wyrażenie ma true, wykonanie nadal nienaruszone.Jeśli daje wynik false, generowany jest okno dialogowe błędu systemu.Okno dialogowe błędu ma podpis, który zawiera ciąg Assertion Failed.Okno dialogowe zawiera śledzenie stosu, który wskazuje, gdzie wystąpił błąd potwierdzenia.
Sprawdzanie potwierdzenia jest włączone tylko wtedy, gdy skompilować w trybie debugowania; oznacza to, że jeśli stała DEBUG jest zdefiniowany.W systemie project domyślnie DEBUG stała jest zdefiniowany w konfiguracji debugowania, ale nie w konfiguracji wydania.
Błąd potwierdzenia błędu nie złowionych przy użyciu F# obsługi wyjątków.
[!UWAGA]
assert Funkcja jest rozpoznawany jako System.Diagnostics.Debug.Assert.Aby uzyskać więcej informacji, zobacz Assert.
Poniższy przykład kodu ilustruje użycie assert wyrażenie.
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