ValidBytesConst
Aggiornamento: novembre 2007
La proprietà ValidBytesConst specifica il numero di byte di una matrice o di un buffer a cui punta un puntatore che è possibile leggere correttamente. Può essere utilizzata per gli attributi Pre e Post e può essere applicata solo ai tipi di dati puntatore o matrice.
Il valore di questa proprietà è una costante di tipo size_t. Per specificare un numero di byte leggibili che dipendono da un altro parametro alla funzione, utilizzare la proprietà ValidBytes.
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà ValidBytesConst.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=2)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2)][SA_Post(ValidBytesConst=4)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2), SA_Post(ValidBytesConst=4)] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesConst=2)] char*pc);
-or-
void f([Pre(ValidBytesConst=2)][Post(ValidBytesConst=4)] char *pc);
-or-
void f([Pre(ValidBytesConst=2), Post(ValidBytesConst=4)] char *pc);
Vedere anche
Concetti
Cenni preliminari sull'annotazione