ValidBytes
更新：2007 年 11 月
ValidBytes 屬性指定了指標所指向可以合法讀取的陣列或緩衝區位元組數目。它可以用在 Pre 和 Post 屬性 (Attribute) 上，而且只能套用至指標或陣列資料型別。
這個屬性的值是包含其他整數類資料型別 (Integral Type) 參數的運算式，範圍為等於或小於 size_t，此運算式決定了實際可讀取之位元組的數目。
範例
下列兩組程式碼會顯示如何使用 ValidBytes 屬性 (Property)：
// 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 屬性 (Property) 無法套用至函式指標。