更新 : 2007 年 11 月
WritableElementsConst プロパティは、ポインタが指し示す配列またはバッファについて、正常に書き込むことのできる要素の数を指定します。このプロパティは Pre 属性および Post 属性で使用でき、ポインタ型または配列データ型に対して使用できます。
このプロパティの値には size_t の定数を使用します。書き込み可能な要素数が関数の別のパラメータに依存する場合は、WritableElements プロパティを使用します。
使用例
WritableElementsConst プロパティの使用方法を次の 2 つのコード例に示します。
// 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);