Valid
Aggiornamento: novembre 2007
La proprietà Valid specifica se un valore soddisfa i vincoli di validità del proprio tipo. Può essere utilizzata per gli attributi Pre e Post e con qualsiasi tipo di dati.
La proprietà Valid deve essere impostata utilizzando uno dei seguenti valori:
SA_Yes: il valore è valido.
SA_No: il valore non è valido.
SA_Maybe: il valore potrebbe essere valido.
I vincoli di validità per i vari tipi incorporati sono i seguenti:
Tipi integrali e a virgola mobile: il valore è stato inizializzato, ma non contiene dati non validi.
Bool: il valore è True o False.
Tipi di puntatore: il puntatore è NULL o fa riferimento a una posizione di memoria accessibile. Il valore nella posizione a cui fa riferimento il puntatore non è necessariamente valido. La sua validità è determinata dal valore della proprietà Valid per il livello di risoluzione dei riferimenti maggiore di uno rispetto al valore del puntatore.
Tipi di riferimento: uguale ai tipi del puntatore, ad eccezione del fatto che non possono essere NULL.
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà 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);
Vedere anche
Concetti
Cenni preliminari sull'annotazione