WritableElementsConst
Mit der WritableElementsConst-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 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([Pre(WritableElementsConst=9)] char* pc);
void f([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);