WritableElementsConst
A propriedade WritableElementsConst Especifica o número de elementos de uma matriz ou um buffer apontado 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);