Assertions

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

Remarques

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

La assert fonction est résolue en Debug.Assert. Cela signifie que son comportement est identique à avoir appelé Debug.Assert directement.

La vérification des assertions est activée uniquement lorsque 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 DEBUG constante est définie dans la configuration de débogage, mais pas dans la configuration Release.

L’erreur d’échec d’assertion ne peut pas être interceptée à l’aide de 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

• Référence du langage F#