ValidElementsLength
A propriedade ValidElementsLength especifica tanto o número de elementos de uma matriz quanto um buffer apontado por um ponteiro que podem ser legalmente lidos.Essa propriedade é permitida em atributos Pré e Pós e pode ser usada em dados do tipo ponteiro e matriz.
O valor desta propriedade é especificado em termos de outro parâmetro buffer.O número de elementos no parâmetro buffer é usado para determinar o número real de elementos válido de uma matriz ou uma apontado por um ponteiro de buffer.
Exemplo
O código a seguir mostra como definir o valor da propriedade ValidElementsLength utilizando um parâmetro buffer:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsLength="c") ] char *pc, char c[]);