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