Assertionen

  • Artikel

Beschreibt den Ausdruck assert, der eine Debugfunktion zum Testen eines Ausdrucks ist. Bei einem Fehler im Debugmodus generiert eine Assertion ein Dialogfeld „Systemfehler“.

Syntax

assert condition

Bemerkungen

Der assert Ausdruck hat Typ bool -> unit.

Die assert Funktion wird in Debug.Assert aufgelöst. Dies bedeutet, dass sein Verhalten mit dem direkten Aufrufen von 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 dargestellt.

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

Weitere Informationen