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