Assertions

Der assert Ausdruck ist ein Debuggingfeature, mit dem Sie einen Ausdruck testen können. Bei Einem Fehler im Debugmodus generiert eine Assertion ein Systemfehlerdialogfeld.

Syntax

assert condition

Bemerkungen

Der assert Ausdruck hat Typ bool -> unit.

Die assert Funktion wird in Debug.Assert. Dies bedeutet, dass sein Verhalten mit dem direkten Aufrufen Debug.Assert identisch ist.

Die Assertionsüberprüfung ist nur aktiviert, wenn Sie im Debugmodus kompilieren. d. h., wenn die Konstante DEBUG definiert ist. Im Projektsystem wird die DEBUG Konstante standardmäßig in der Debugkonfiguration definiert, aber nicht in der Releasekonfiguration.

Der Assertionsfehlerfehler kann nicht mithilfe der F#-Ausnahmebehandlung abgefangen werden.

Beispiel

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

Siehe auch

• F#-Sprachreferenz