ValidElementsConst プロパティは、ポインターが指し示すバッファーまたは配列について、正常に読み取ることのできる要素数を指定します。 このプロパティは Pre 属性および Post 属性で使用でき、ポインター型または配列データ型に対して適用できます。 このプロパティの値には、型 size_t の定数を使用します。
有効な要素数が関数の別のパラメーターに依存する場合は、ValidElements プロパティを使用します。
使用例
ValidElementsConst プロパティの使用例を次のコードに示します。
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsConst=4) ] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsConst=4) ] char *pc);