ValidElements
ValidElements 屬性 (Property) 會指定一個陣列或由指標所指向的緩衝區可以合法讀取的元素數目。 這個屬性 (Property) 可以用在 Pre 和 Post 屬性 (Attribute) 上，也可以用在指標或陣列資料型別上。 這個屬性 (Property) 的值是一個運算式，內含指定實際有效元素數目的另一個參數。
範例
下列程式碼會顯示如何使用 ValidElements 屬性 (Property)：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);