WritableElementsConst
Свойство WritableElementsConst задает количество доступных для записи элементов массива или буфера, на который наведен указатель. Данное свойство применяется к пред- и постатрибутам и может использоваться с типами данных указателей и массивов.
Значением данного свойства является константа size_t; чтобы задать доступные для записи элементы, зависящие от другого параметра функции, используйте свойство WritableElements.
Пример
В следующих двух примерах кода демонстрируется использование свойства 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);