WritableElementsLength

Actualización: noviembre 2007

La propiedad WritableElementsLength 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 se especifica en términos de otro parámetro buffer. El número de elementos del parámetro buffer sirve para determinar el número real de elementos válidos de una matriz o de un búfer al que señala un puntero.

Ejemplo

En el código siguiente se muestra cómo establecer el valor de la propiedad WritableElementsLength utilizando un parámetro buffer:

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

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

Vea también

Conceptos

Información general sobre anotaciones

Otros recursos

Propiedades de anotación