ValidBytesConst
ValidBytesConst 屬性指定了指標所指向可以合法讀取的陣列或緩衝區位元組數目。 這個屬性 (Property) 可以在 Pre 和 Post 屬性 (Attribute) 上使用，而且只能套用至指標或陣列資料型別。
這個屬性的值是 size_t 型別的常數。 若要指定可讀取的位元組數，而這個數目是依其他函式的參數而定，請使用 ValidBytes 屬性。
範例
下列程式碼會示範如何使用 ValidBytesConst 屬性：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=2)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2)][SA_Post(ValidBytesConst=4)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2), SA_Post(ValidBytesConst=4)] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesConst=2)] char*pc);
-or-
void f([Pre(ValidBytesConst=2)][Post(ValidBytesConst=4)] char *pc);
-or-
void f([Pre(ValidBytesConst=2), Post(ValidBytesConst=4)] char *pc);