WritableElementsConst
Aggiornamento: novembre 2007
La proprietà WritableByteConst 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 con tipi di dati puntatore o matrice.
Il valore di questa proprietà è una costante di size_t. Per specificare elementi modificabili che dipendono da un altro parametro per la funzione, utilizzare la proprietà WritableElements.
Esempio
Nei due esempi di codice riportati di seguito viene illustrato come utilizzare la proprietà 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);
Vedere anche
Concetti
Cenni preliminari sull'annotazione