ValidElements

La propiedad ValidElements 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 utilizarse en tipos de datos de puntero o de matriz. El valor de esta propiedad es una expresión que incluye otro parámetro, que especifica el número real de elementos válidos.

Ejemplo

En el siguiente código se muestra cómo se utiliza la propiedad ValidElements:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);

// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes; 
void f([Pre(ValidElements="count") ] char *pc, size_t count);

// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);

Vea también

Conceptos

Información general sobre anotaciones

Otros recursos

Propiedades de anotación