更新 : 2007 年 11 月
WritableElementsLength プロパティは、ポインタが指し示すバッファまたは配列について、正常に書き込むことのできる要素数を指定します。このプロパティは 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[]);