ValidBytesLength
ValidBytesLength 屬性 (Property) 會指定可以合法寫入之陣列或由指標所指向的緩衝區之位元組數目。 這個屬性 (Property) 可以在 Pre 和 Post 屬性 (Attribute) 上使用，而且可以套用至指標或陣列資料型別。
這個屬性的值是根據緩衝區參數所指定。 緩衝區參數中的項目數目是要用來判斷某個陣列，或是由指標指向之緩衝區的實際有效項目數目。
範例
下列程式碼會顯示如何使用緩衝區參數設定 ValidBytesLength 屬性 (Property) 的值。
// C language
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesLength="c") ] char *pc, char c[]);