Assertions (F#)
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.
assert condition
Notes
L'expression assert a le type bool -> unit.
Dans la syntaxe précédente, condition représente une expression booléenne à tester. Si l'expression prend la valeur true, l'exécution se poursuit sans être affectée. Si elle prend la valeur false, une boîte de dialogue d'erreur système est générée. La boîte de dialogue d'erreur comprend une légende qui contient la chaîne Échec d'assertion. La boîte de dialogue contient une trace de pile qui indique où l'échec d'assertion s'est produit.
La vérification des assertions est uniquement activée lorsque vous compilez en mode débogage, c'est-à-dire si la constante DEBUG est définie. Par défaut, dans le système de projet, 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 par la gestion des exceptions F#.
Notes
La fonction assert est résolue en System.Diagnostics.Debug.Assert. Pour plus d'informations, consultez Assert.
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