Assertions

  • Article

L’expression assert est une fonctionnalité de débogage que vous pouvez utiliser pour tester une expression. En cas d’échec en mode débogage, une assertion génère une boîte de dialogue d’erreur système.

Syntaxe

assert condition

Notes

L’expression assert a le type bool -> unit.

La fonction assert est résolue en Debug.Assert. Cela signifie que son comportement équivaut à appeler Debug.Assert directement.

La vérification d’assertion est activée uniquement quand vous compilez en mode débogage, autrement dit, si la constante DEBUG est définie. Dans le système de projet, par défaut, la constante DEBUG est définie dans la configuration Debug, mais pas dans la configuration Release.

L’erreur d’échec d’assertion ne peut pas être interceptée avec la gestion des exceptions F#.

Exemple

L’exemple de code suivant illustre l’utilisation de l’expression assert.

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

Voir aussi