WritableBytesConst
Aggiornamento: novembre 2007
La proprietà WritableByteConst specifica il numero di byte 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 tipo size_t.
Per specificare i byte modificabili che dipendono da un altro parametro per la funzione, utilizzare la proprietà WritableBytes.
Esempio
Nell'esempio di codice riportato di seguito viene illustrato come utilizzare la proprietà WritableBytesConst:
// C
#include <codeanalysis\sourceannotations.h>
void f ([Pre(WritableBytesConst=3)] char *pc);
// C++
#include <codeanalysis\sourceannotations.h>
using namespace vc_attributes;
void f ([Pre(WritableBytesConst=3)] char *pc);
Vedere anche
Concetti
Cenni preliminari sull'annotazione