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