ValidElementsConst
ValidElementsConst 属性指定指针指向的数组或缓冲区的可以合法读取的元素数目。 Pre 和 Post 特性上允许此属性，此属性可以应用于指针或数组数据类型。 此属性的值是类型为 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);