WritableElementsLength
A propriedade WritableElementsLength especifica o número de elementos de uma matriz ou de um buffer apontado por um ponteiro que pode ser legalmente gravado. Esta propriedade é permitida em condições Pré e Pós e pode ser usada em dados de tipo ponteiro ou 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 WritableElementsLength utilizando um parâmetro buffer:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsLength="c") ] char *pc, char c[]);