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 gibt einen Größenparameter an. 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 ([Pre(WritableElements="c")] char *pc, size_t c);
// use of dereference operator
void f ([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);