WritableElementsConst

Aktualisiert: November 2007

Mit der WritableElementsConst-Eigenschaft wird die Anzahl der Elemente in einem Array oder einem Puffer angegeben, auf den mit einem Zeiger verwiesen wird, in den geschrieben werden darf. Diese Eigenschaft ist beim Pre-Attribut und beim Post-Attribut zulässig und kann für Zeiger- oder Arraydatentypen verwendet werden.

Der Wert dieser Eigenschaft ist eine Konstante des Typs size_t. Um schreibbare Elemente anzugeben, die von einem anderen Parameter der Funktion abhängen, verwenden Sie die WritableElements-Eigenschaft.

Beispiel

Die folgenden zwei Codebeispiele zeigen, wie die WritableElementsConst-Eigenschaft verwendet wird:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsConst=9)] char* pc); 
void f([SA_Pre(Deref=1, Access=SA_Write, WritableElementsConst=9)] char** pc); 

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsConst=9)] char* pc); 
void f([Pre(Deref=1, Access=Write, WritableElementsConst=9)] char** pc); 

Siehe auch

Konzepte

Übersicht über Anmerkungen

Weitere Ressourcen

Anmerkungseigenschaften