ValidElements
A propriedade ValidElements Especifica o número de elementos de uma matriz ou um buffer apontada por um ponteiro que pode ser lido legalmente. Essa propriedade é permitida em atributos Pré e Pós e pode ser usada em dados de tipos ponteiro ou matriz. O valor desta propriedade é uma expressão que envolve o outro parâmetro, que especifica o número real de elementos válidos.
Exemplo
O código a seguir mostra como usar a propriedade 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);