Freigeben über


WritableElements

Aktualisiert: November 2007

Mit der WritableElements-Eigenschaft wird die Anzahl der Elemente in einem Array oder einem Puffer, auf den mit einem Zeiger verwiesen wird, angegeben, 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 ein Ausdruck, der einen weiteren Parameter enthält, durch den die tatsächliche Anzahl schreibbarer Elemente angegeben wird. Als Typ des Größenparameters ist ein beliebiger ganzzahliger Typ innerhalb des size_t-Bereichs zulässig. Dieser Parameter enthält die tatsächliche Anzahl schreibbarer Elemente.

Beispiel

Der folgende Code zeigt, wie die WritableElements-Eigenschaft verwendet wird:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableElements="*c")] char *pc, size_t *c);

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

Siehe auch

Konzepte

Übersicht über Anmerkungen

Weitere Ressourcen

Anmerkungseigenschaften