Valide
Mise à jour : novembre 2007
La propriété Valid spécifie si une valeur satisfait les contraintes de validité de son type. Cette propriété est autorisée sur les attributs Pre et Post et peut être utilisée sur tout type de données.
La propriété Valid doit être définie à l'aide de l'une des valeurs suivantes :
SA_Yes - la valeur est valide.
SA_No - la valeur n'est pas valide.
SA_Maybe - la valeur peut être valide.
Les contraintes de validité des divers types intégrés sont les suivantes :
Types intégral et virgule flottante – la valeur a été initialisée, c'est-à-dire qu'elle ne contient pas de données non valides.
Bool - la valeur est True ou False.
Types pointeur - le pointeur est NULL ou pointe sur un emplacement de mémoire accessible. La valeur située à l'emplacement pointé par le pointeur n'est pas nécessairement valide. La validité de cette valeur est déterminée par la valeur de la propriété Valid pour le niveau de déréférencement directement au-dessus de celui de la valeur du pointeur.
Types référence - comme les types pointeur, sauf qu'un type référence ne peut pas être NULL.
Exemple
Le code suivant illustre l'utilisation de la propriété Valid :
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Valid=SA_Yes) ] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Valid=Yes) ] char *pc);
Voir aussi
Concepts
Vue d'ensemble de l'annotation