ValidBytes
ValidBytes 属性指定指针指向的数组或缓冲区中可以合法读取的字节数。 Pre 和 Post 特性上允许此属性，此属性只能应用于指针或数组数据类型。
此属性的值是一个表达式，其中涉及到另一个整型参数，该参数的范围等于或小于 size_t（用于决定可读取字节的实际数目）。
示例
下面两个代码示例演示如何使用 ValidBytes 属性：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([SA_Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer
ValidBytes 属性不能应用于函数指针。