ValidBytesConst
Actualización: noviembre 2007
La propiedad ValidBytesConst 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 atributos Pre y Post, sólo 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 un número de bytes que se pueden leer y dependen de otro parámetro de la función, utilice la propiedad ValidBytes.
Ejemplo
En el siguiente código se muestra cómo se utiliza la propiedad ValidBytesConst:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=2)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2)][SA_Post(ValidBytesConst=4)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2), SA_Post(ValidBytesConst=4)] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesConst=2)] char*pc);
-or-
void f([Pre(ValidBytesConst=2)][Post(ValidBytesConst=4)] char *pc);
-or-
void f([Pre(ValidBytesConst=2), Post(ValidBytesConst=4)] char *pc);
Vea también
Conceptos
Información general sobre anotaciones