WritableElementsLength
Aggiornamento: novembre 2007
La proprietà WritableElementsLength 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 le condizioni Pre e Post e sui tipi di dati puntatore o matrice.
Il valore di questa proprietà è specificato in termini di un altro parametro del buffer. Il numero di elementi nel parametro del buffer viene utilizzato per determinare il numero effettivo di elementi validi di una matrice o di un buffer a cui punta un puntatore.
Esempio
Nel codice riportato di seguito viene illustrato come impostare il valore della proprietà WritableElementsLength utilizzando un parametro del buffer:
// 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[]);
Vedere anche
Concetti
Cenni preliminari sull'annotazione