Partager via


WritableElements

Mise à jour : novembre 2007

La propriété WritableElements spécifie soit le nombre d'éléments d'un tableau, soit une mémoire tampon sur laquelle pointe un pointeur dans lequel vous pouvez écrire légalement. Cette propriété est autorisée sur les attributs Pre et Post, et peut être utilisée sur les 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 accessibles en écriture. Le type du paramètre de taille peut être tout type intégral dans la plage size_t. Ce paramètre contient le nombre réel d'éléments accessibles en écriture.

Exemple

Le code suivant illustre l'utilisation de la propriété Tainted WritableElements :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableElements="*c")] char *pc, size_t *c);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([Pre(WritableElements="*c")] char *pc, size_t *c);

Voir aussi

Concepts

Vue d'ensemble de l'annotation

Autres ressources

Propriétés d'annotation