ValidElementsLength プロパティは、ポインターが指し示すバッファーまたは配列について、正常に読み取ることのできる要素数を指定します。 このプロパティは Pre 属性および Post 属性で使用でき、ポインター型または配列データ型に対して使用できます。
このプロパティの値は、別のバッファー パラメーターを使用して指定します。 バッファー パラメーターに指定された要素数によって、ポインターが指し示す配列またはバッファーの実際の有効要素数が決まります。
使用例
バッファー パラメーターを使用して ValidElementsLength プロパティの値を設定する方法を次のコード例に示します。
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsLength="c") ] char *pc, char c[]);