ValidElements
Mise à jour : novembre 2007
La propriété ValidElements spécifie soit le nombre d'octets d'un tableau, soit une mémoire tampon sur laquelle pointe un pointeur qui peut être lu légalement. Cette propriété est autorisée sur les attributs Pre et Post, et peut être utilisée sur des types de données pointeur ou tableau. La valeur de cette propriété est une expression impliquant un autre paramètre qui spécifie le nombre réel d'éléments valides.
Exemple
Le code suivant illustre l'utilisation de la propriété ValidElements :
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);
Voir aussi
Concepts
Vue d'ensemble de l'annotation