Avviso C6503

Annotazione non valida: i riferimenti e le matrici potrebbero non essere contrassegnati Null=Yes o Null=Maybe

Nota

Questo avviso si verifica solo nel codice che usa una versione deprecata del linguaggio di annotazione del codice sorgente (SAL). È consigliabile convertire il codice per usare la versione più recente di SAL. Per altre informazioni, vedere Uso delle annotazioni SAL per ridurre i difetti del codice C/C++.

Osservazioni:

Questo avviso indica che Null la proprietà viene usata in modo non corretto in un riferimento o in un tipo di matrice. Un riferimento o un tipo matrice contiene l'indirizzo di un oggetto e deve puntare a un oggetto valido. Poiché i tipi riferimento e matrice non possono essere Null, è necessario correggere l'errore rimuovendo la Null proprietà o impostando il valore della Null proprietà su No.

Nome dell'analisi del codice: REFERENCES_CANT_BE_NULL

Esempio

Il codice seguente genera questo avviso:

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

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

Per correggere questo avviso, impostare la proprietà Null su No, come illustrato nel codice seguente:

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

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