ValidElementsConst
Actualización: noviembre 2007
La propiedad ValidElementsConst especifica el número de elementos de una matriz o un búfer al que señala un puntero que se puede leer de manera válida. Esta propiedad está permitida en los atributos Pre y Post, y puede aplicarse a tipos de datos de puntero o de matriz. El valor de esta propiedad es una constante de tipo size_t.
Para especificar elementos válidos que dependen de otro parámetro en la función, utilice la propiedad ValidElements.
Ejemplo
En el siguiente código se muestra cómo se utiliza la propiedad 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);
Vea también
Conceptos
Información general sobre anotaciones