C6500
Warnung C6500: Ungültige Anmerkung: Der Wert für die <Name>-Eigenschaft ist ungültig.
.gif "Hinweis") Hinweis |
|---|
Diese Warnung tritt nur im Code, der eine veraltete Version der Quellcodeanmerkungssprache (SAL) verwendet.Es wird empfohlen, den Code portieren, um die neueste Version des SALZES zu verwenden.Weitere Informationen finden Sie unter Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern. |
Diese Warnung gibt an, dass ein in der Anmerkung verwendeter Eigenschaftswert 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.