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