Valid
Mit der Valid-Eigenschaft wird angegeben, ob ein Wert den Gültigkeitseinschränkungen des entsprechenden Typs entspricht. Diese Eigenschaft ist für das Pre-Attribut und das Post-Attribut zulässig und kann für jeden Datentyp verwendet werden.
Die Valid-Eigenschaft muss auf einen der folgenden Werte festgelegt werden:
SA_Yes – der Wert ist gültig.
SA_No – der Wert ist nicht gültig.
SA_Maybe – der Wert ist möglicherweise gültig.
Für die verschiedenen integrierten Typen gelten folgende Gültigkeitseinschränkungen:
Ganzzahlige Typen und Gleitkommatypen – der Wert wurde initialisiert, d. h., er enthält keine ungültigen Daten.
Boolesche Typen – der Wert ist entweder True oder False.
Zeigertypen – der Zeiger ist entweder NULL oder zeigt auf eine Speicheradresse, auf die nicht zugegriffen werden kann. Der Wert an dem Speicherort, auf den der Zeiger verweist, ist nicht notwendigerweise gültig. Die Gültigkeit dieses Werts wird durch den Wert der Valid-Eigenschaft für die nächsthöhere Dereferenzierungsebene über der Ebene des Zeigerwerts bestimmt.
Verweistypen – wie bei Zeigertypen, allerdings kann ein Verweistyp nicht NULL sein.
Beispiel
Der folgende Code zeigt, wie die Valid-Eigenschaft verwendet wird:
// 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);