ValidElements
Свойство ValidElements задает количество доступных для чтения элементов массива или буфера, на который наведен указатель. Данное свойство применяется к пред- и постатрибутам и может использоваться с типами данных указателей и массивов. Значением данного свойства является выражение, включающее другой параметр, который задает фактическое количество допустимых элементов.
Пример
В следующем примере кода демонстрируется использование свойства ValidElements:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);