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