WritableElementsConst
WritableElementsConst 屬性指定了指標所指向可以合法寫入的陣列或緩衝區的元素項目。 這個屬性 (Property) 可以用在 Pre 和 Post 屬性 (Attribute) 上，也可以用在指標或陣列資料型別上。
這個屬性 (Property) 的值是 size_t 型別的常數，若要指定相依於另一個函式參數的可寫入元素數目，請使用 WritableElements 屬性 (Property)。
範例
下列兩組程式碼會顯示如何使用 WritableElementsConst 屬性 (Property)：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsConst=9)] char* pc);
void f([SA_Pre(Deref=1, Access=SA_Write, WritableElementsConst=9)] char** pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsConst=9)] char* pc);
void f([Pre(Deref=1, Access=Write, WritableElementsConst=9)] char** pc);