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