Partager via


WritableElementsLength

Mise à jour : novembre 2007

La propriété WritableElementsLength 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 conditions Pre et Post, et peut être utilisée sur les types de données pointeur ou tableau.

La valeur de cette propriété est spécifiée en tant qu'autre paramètre de mémoire tampon. Le nombre d'éléments dans le paramètre de mémoire tampon est utilisé pour déterminer le nombre réel d'éléments valides d'un tableau ou d'une mémoire tampon pointée par un pointeur.

Exemple

Le code suivant montre comment définir la valeur de la propriété WritableElementsLength à l'aide d'un paramètre de mémoire tampon :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsLength="c") ] char *pc, char c[]);

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

Voir aussi

Concepts

Vue d'ensemble de l'annotation

Autres ressources

Propriétés d'annotation