ValidElementsConst
A propriedade ValidElementsConst especifica tanto o número de elementos de uma matriz quanto um buffer apontado por um ponteiro que pode ser legalmente lido.Essa propriedade é permitida em atributos Pré e Pós e pode ser aplicada a dados do tipo ponteiro ou matriz.O valor desta propriedade é uma constante do tipo size_t.
Para especificar elementos válidos que dependem de outro parâmetro para a função, use a propriedade ValidElements.
Exemplo
O código a seguir mostra como usar a propriedade 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);