WritableElements
WritableElements 屬性 (Property) 會指定可以合法寫入之陣列或由指標所指向之緩衝區的元素數目。這個屬性 (Property) 可以用在 Pre 和 Post 屬性 (Attribute) 上，也可以用在指標或陣列資料型別上。 這個屬性 (Property) 的值是一個運算式，內含指定實際可寫入元素數目的另一個參數。 大小參數的型別可以是在 size_t 範圍中的整數類資料型別 (Integral Type)。 這個參數包含了實際可寫入之元素的數目。
範例
下列程式碼會顯示如何使用 WritableElements 屬性 (Property)：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableElements="*c")] char *pc, size_t *c);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([Pre(WritableElements="*c")] char *pc, size_t *c);