WritableElements
Actualización: noviembre 2007
La propiedad WritableElements especifica el número de elementos de una matriz o un búfer al que señala un puntero en el que se puede escribir 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 en los que se puede escribir. El tipo del parámetro size puede ser cualquier tipo integral comprendido en el intervalo size_t. Este parámetro contiene el número real de elementos en que se puede escribir.
Ejemplo
En el siguiente código se muestra cómo se utiliza la propiedad WritableElements:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableElements="*c")] char *pc, size_t *c);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([Pre(WritableElements="*c")] char *pc, size_t *c);
Vea también
Conceptos
Información general sobre anotaciones