Valid

La propiedad Valid especifica si un valor satisface las restricciones de validez de su tipo. Esta propiedad se permite en los atributos Pre y Post y se puede utilizar con cualquier tipo de datos.

La propiedad Valid se debe establecer utilizando uno de los valores siguientes:

• SA_Yes: el valor es válido.

• SA_No: el valor no es válido.

• SA_Maybe: el valor podría ser válido.

Las restricciones de validez de los distintos tipos integrados son las siguientes:

• Tipos integrales y de coma flotante: se ha inicializado el valor, es decir, no contiene datos que no sean válidos.

• Bool: el valor es True o False.

• Tipos de puntero: el puntero es NULL o señala a una ubicación de memoria accesible. El valor de la ubicación señalada a por el puntero no es necesariamente válido. La validez de ese valor viene determinada por el valor de la propiedad Valid correspondiente al nivel de desreferenciación mayor en uno que el del valor del puntero.

• Tipos de referencia: igual que los tipos de puntero, con la excepción de que los tipos de referencia no pueden ser NULL.

Ejemplo

En el siguiente código se muestra cómo se utiliza la propiedad Valid:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Valid=SA_Yes) ] char *pc);

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

Vea también

Conceptos

Información general sobre anotaciones

Otros recursos

Propiedades de anotación