WritableElements
Aggiornamento: novembre 2007
La proprietà WritableElements specifica il numero di elementi di una matrice o di un buffer a cui punta un puntatore in cui è possibile scrivere correttamente. Può essere utilizzata per gli attributi Pre e Post e sui tipi di dati puntatore o matrice. Il valore di questa proprietà è un'espressione che include un altro parametro che specifica il numero effettivo di elementi modificabili. Questo tipo di parametro può essere qualsiasi tipo integrale compreso nell'intervallo size_t e contiene il numero effettivo di elementi modificabili.
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà 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);
Vedere anche
Concetti
Cenni preliminari sull'annotazione