ValidElements
Mit der ValidElements-Eigenschaft wird die Anzahl der Elemente in einem Array oder einem Puffer, auf den mit einem Zeiger verwiesen wird, angegeben, der gelesen 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 gültiger Elemente angegeben wird.
Beispiel
Der folgende Code zeigt, wie die ValidElements-Eigenschaft verwendet wird:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f([SA_Post(ValidElements="return")] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="count") ] char *pc, size_t count);
// The keyword 'return' is used to indicate the return value,
// which in this case is the number of valid elements.
[returnvalue:Post(MustCheck=Yes)]int f([Post(ValidElements="return")] char *pc);