WritableElementsConst
Mise à jour : novembre 2007
La propriété WritableElementsConst spécifie le nombre d'éléments d'un tableau ou une mémoire tampon sur laquelle pointe un pointeur dans lequel il est possible d'écrire 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 constante de size_t ; pour spécifier des éléments accessibles en écriture qui dépendent d'un autre paramètre de la fonction, utilisez la propriété WritableElements.
Exemple
Les deux exemples de code suivants montrent comment utiliser la propriété WritableElementsConst :
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsConst=9)] char* pc);
void f([SA_Pre(Deref=1, Access=SA_Write, WritableElementsConst=9)] char** pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsConst=9)] char* pc);
void f([Pre(Deref=1, Access=Write, WritableElementsConst=9)] char** pc);
Voir aussi
Concepts
Vue d'ensemble de l'annotation