ValidBytes
Actualización: noviembre 2007
La propiedad ValidBytes 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. Está permitida en los atributos Pre y Post, y sólo puede aplicarse a tipos de datos de puntero o de matriz.
El valor de esta propiedad es una expresión que involucra a otro parámetro de tipo integral con un intervalo menor o igual que size_t, que determina el número real de bytes que se pueden leer.
Ejemplo
Los dos ejemplos de código siguientes muestran cómo utilizar la propiedad ValidBytes:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([SA_Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer
La propiedad ValidBytes no se puede aplicar un puntero de función.
Vea también
Conceptos
Información general sobre anotaciones