Assertionen (F#)
Der assert-Ausdruck ist eine Debugfunktion, mit dem Sie einen Ausdruck testen können. Nach einem Fehler im Debugmodus generiert eine Assertion ein Systemfehlerdialogfeld.
assert condition
Hinweise
Der assert-Ausdruck ist vom Typ bool -> unit.
In der vorherigen Syntax stellt condition einen booleschen Ausdruck dar, der getestet werden soll. Wenn der Ausdruck true ergibt, wird die Ausführung ohne Beeinträchtigung fortgesetzt. Wenn er false ergibt, wird ein Systemfehlerdialogfeld generiert. Das Fehlerdialogfeld enthält eine Beschriftung mit der Zeichenfolge Assertionsfehler. Das Dialogfeld enthält eine Stapelüberwachung, die angibt, wo der Assertionsfehler aufgetreten ist.
Die Assertionsüberprüfung wird nur aktiviert, wenn Sie im Debugmodus kompilieren, d. h., wenn die Konstante DEBUG definiert ist. Im Projektsystem ist die DEBUG-Konstante standardmäßig in der Debugkonfiguration, jedoch nicht in der Releasekonfiguration definiert.
Der Assertionsfehler kann nicht mit der F#-Ausnahmebehandlung abgefangen werden.
Tipp
Die assert-Funktion wird in System.Diagnostics.Debug.Assert aufgelöst. Weitere Informationen finden Sie unter Assert.
Im folgenden Codebeispiel wird die Verwendung des assert-Ausdrucks veranschaulicht.
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