Compartilhar via


WritableElementsConst

A propriedade WritableElementsConst Especifica o número de elementos de uma matriz ou um buffer apontada por um ponteiro que pode ser legalmente gravado. Essa propriedade é permitida em atributos Pré e Pós e pode ser usada em dados de tipos ponteiro ou matriz.

O valor dessa propriedade é uma constante de size_t; para especificar elementos graváveis que dependem de outro parâmetro para a função, use a propriedade WritableElements.

Exemplo

Os dois exemplos de código a seguir mostram como usar a propriedade WritableElementsConst:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsConst=9)] char* pc); 
void f([SA_Pre(Deref=1, Access=SA_Write, WritableElementsConst=9)] char** pc); 

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsConst=9)] char* pc); 
void f([Pre(Deref=1, Access=Write, WritableElementsConst=9)] char** pc); 

Consulte também

Conceitos

Visão geral de anotação

Outros recursos

Propriedades de anotação