ValidElements
Mit der ValidElements-Eigenschaft wird die Anzahl der Bytes 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 der Name eines anderen Parameters, der die tatsächliche Anzahl gültiger Elemente angibt.
Beispiel
Der folgende Code zeigt, wie die ValidElements-Eigenschaft verwendet wird:
#include <codeanalysis\sourceannotations.h>
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: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);