C6503

Warnung C6503: Ungültige Anmerkung: Verweise und Arrays sind möglicherweise nicht mit NULL=Yes oder NULL=Maybe

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 die Null-Eigenschaft falsch auf einem Verweis oder einem Arraytyp verwendet wird.Ein Verweis oder ein Arraytyp enthält die Adresse eines Objekts und muss auf ein gültiges Objekt zeigen.Da Verweis und Arraytypen nicht NULL sein können, müssen Sie den Fehler beheben, indem Sie die Null-Eigenschaft entfernen oder den Null-Eigenschaftswert auf No festlegen.

Beispiel

Der folgende Code generiert diese Warnung:

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
class Point
{
public:
    //  members
};

void f([Pre(Null=Yes)] Point& pt);

Um diese Warnung zu korrigieren, legen Sie die Null-Eigenschaft auf No fest, wie im folgenden Code veranschaulicht:

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;

class Point
{
public:
    //  members
}; 
void f([Pre(Null=No)] Point& pt);

Siehe auch

Weitere Ressourcen

Anmerkungseigenschaften