ValidElementsConst
ValidElementsConst 屬性 (Property) 會指定一個陣列或由指標所指向的緩衝區可以合法讀取的元素數目。 這個屬性 (Property) 可以在 Pre 和 Post 屬性 (Attribute) 上使用，而且可以套用至指標或陣列資料型別。 這個屬性的值是 size_t 型別的常數。
若要指定相依於函式之另一個參數的有效元素，請使用 ValidElements 屬性。
範例
下列程式碼會顯示如何使用 ValidElementsConst 屬性：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsConst=4) ] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsConst=4) ] char *pc);