WritableElements
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);