ValidElements

Actualización: noviembre 2007

La propiedad ValidElements especifica el número de bytes 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 punteros o en tipos de datos 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