assert |
Assertion |
|---|---|
| Rust | |
Syntaxe
|
macro_rules! assert { ($cond:expr $(,)?) => { ... }; ($cond:expr, $($arg:tt)+) => { ... }; } |
Description
Cette macro permet de vérifier qu'une expression booléenne est vraie à l'exécution, et déclenche une panique si ce n'est pas le cas.
Remarques
- Permet de confirmer qu'une expression booléenne est vraie à l'exécution.
- La macro panic! sera invoquée si l'expression fournie ne peut pas être évaluée comme vraie à l'exécution.
Utilisations
Les assertions sont toujours vérifiées dans les versions de débogage et de publication, et ne peuvent pas être désactivées. Consultez debug_assert! pour connaître les assertions désactivées par défaut dans les versions de publication.
Le code non sécurisé peut s'appuyer sur assert! pour appliquer des invariants d'exécution dont la violation peut entraîner une insécurité.
D'autres cas d'utilisation d'assert! incluent le test et l'application d'invariants d'exécution dans du code sécurisé (dont la violation ne peut entraîner une insécurité).
Messages personnalisés
Cette macro possède une seconde forme, où un message d'alerte personnalisé peut être fourni avec ou sans paramètres de formatage. Consultez std::fmt pour la syntaxe de cette forme. Les expressions utilisées comme arguments de formatage ne seront évaluées qu'en cas d'échec de l'assertion.
Exemples
- // le message de panique pour ces assertions est la valeur stringifiée de l'expression donnée.
- assert!(true);
-
- fn some_computation() -> bool { true } // une fonction très simple
-
- assert!(some_computation());
-
- // affirmer avec un message personnalisé
- let x = true;
- assert!(x, "x n'était pas vrai !");
-
- let a = 3; let b = 27;
- assert!(a + b == 30, "a = {}, b = {}", a, b);