C6500
Aktualisiert: November 2007
C6500
Warnung C6500: Ungültige Anmerkung: Der Wert für die <Name>-Eigenschaft ist ungültig.
Diese Warnung gibt an, dass ein in der Anmerkung verwendeter Eigenschaftenwert nicht gültig ist. Dieser Fall kann beispielsweise eintreten, wenn in der Deref-Eigenschaft eine falsche Dereferenzierungsebene verwendet wird oder Sie für Eigenschaften wie ElementSize einen Konstantenwert verwenden, der größer als size_t ist.
Beispiel
Im folgenden Code wird diese Warnung generiert, da in der Vorbedingung eine falsche Dereferenzierungsebene verwendet wird:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=2, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=2, Access=Read )] char buffer[] );
Um diese Warnung zu korrigieren, geben Sie die richtige Dereferenzierungsebene an, wie im folgenden Beispielcode gezeigt:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=1, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=1, Access=Read )] char buffer[] );
Diese Warnung wird sowohl für Vor- als auch für Nachbedingungen generiert.