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