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 de buffer. O número de elementos no parâmetro buffer é usado para determinar o número real de elementos válidos de uma matriz ou uma apontada 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[]);