Compartilhar via


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[]);

Consulte também

Conceitos

Visão geral de anotação

Outros recursos

Propriedades de anotação