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);