ValidElementsConst
Aggiornamento: novembre 2007
La proprietà ValidElementsConst specifica il numero di elementi 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 ai tipi di dati puntatore o matrice. Il valore di questa proprietà è una costante di tipo size_t.
Per specificare elementi validi che dipendono da un altro parametro per la funzione, utilizzare la proprietà ValidElements.
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà ValidElementsConst.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsConst=4) ] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsConst=4) ] char *pc);
Vedere anche
Concetti
Cenni preliminari sull'annotazione