Share via

Påståenden

  • Artikel

Uttrycket assert är en felsökningsfunktion som du kan använda för att testa ett uttryck. Vid fel i felsökningsläge genererar ett intyg en dialogruta för systemfel.

Syntax

assert condition

Kommentarer

Uttrycket assert har typen bool -> unit.

Funktionen assert matchas till Debug.Assert. Det innebär att dess beteende är identiskt med att ha anropat Debug.Assert direkt.

Kontroll av försäkran aktiveras endast när du kompilerar i felsökningsläge. om konstanten DEBUG har definierats. I projektsystemet definieras konstanten DEBUG som standard i felsökningskonfigurationen, men inte i versionskonfigurationen.

Det går inte att fånga upp kontrollfelet med hjälp av F#-undantagshantering.

Exempel

Följande kodexempel illustrerar användningen av assert uttrycket.

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

Se även