WritableElements プロパティは、ポインターが指し示すバッファーまたは配列について、正常に書き込むことのできる要素数を指定します。このプロパティは Pre 属性および Post 属性で使用でき、ポインター型または配列データ型に対して使用できます。 このプロパティの値は別のパラメーターを含む式であり、このパラメーターは書き込み可能な実際の要素数を指定します。 サイズ パラメーターには、size_t の範囲内の任意の整数型を指定できます。 このパラメーターには、書き込み可能な実際の要素数が保持されます。
使用例
WritableElements プロパティの使用例を次のコードに示します。
// 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);