WritableBytesConst
A propriedade WritableByteConst especifica tanto o número de bytes de uma matriz quanto um buffer apontado por um ponteiro que podem ser legalmente gravados. Essa propriedade é permitida em atributos Pré e Pós e pode ser usada em dados de tipos ponteiro ou matriz. O valor desta propriedade é uma constante do tipo size_t.
Para especificar bytes graváveis que dependem de outro parâmetro para a função, use a propriedade WritableBytes.
Exemplo
O exemplo de código a seguir mostra como utilizar a propriedade WritableBytesConst:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableBytesConst=3)] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableBytesConst=3)] char *pc);