WritableElements
Свойство WritableElements задает количество доступных для записи элементов массива или буфера, на которые ссылается указатель. Это свойство применяется к пред- и постатрибутам и может использоваться с типами указателей и массивов данных. Значением данного свойства является выражение, включающее другой параметр, который задает фактическое количество доступных для записи элементов. Типом параметра размера может быть любой целый тип в диапазоне size_t. Данный параметр содержит фактическое количество доступных для записи элементов.
Пример
В следующем примере кода демонстрируется использование свойства WritableElements:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableElements="*c")] char *pc, size_t *c);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([Pre(WritableElements="*c")] char *pc, size_t *c);