ValidElements
Aggiornamento: novembre 2007
La proprietà ValidElements 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 con tipi di dati puntatore o matrice. Il valore di questa proprietà è un'espressione che include un altro parametro che specifica il numero effettivo di elementi validi.
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà ValidElements.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);
Vedere anche
Concetti
Cenni preliminari sull'annotazione