WritableElementsLength
Mit der WritableElementsLength-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 bei Vor- und Nachbedingungen zulässig und kann für Zeiger- oder Arraydatentypen verwendet werden.
Der Wert dieser Eigenschaft wird durch einen anderen Pufferparameter angegeben. Die Anzahl von Elementen im Pufferparameter wird zur Bestimmung der tatsächlichen Anzahl gültiger Elemente in einem Array oder einem Puffer verwendet, auf den mit einem Zeiger verwiesen wird.
Beispiel
Der folgende Code zeigt, wie der Wert der WritableElementsLength-Eigenschaft mit einem Pufferparameter festgelegt wird:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(WritableElementsLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(WritableElementsLength="c") ] char *pc, char c[]);