C6504

avertissement C6504 : Annotation non valide : la propriété peut uniquement être employée dans des valeurs de type pointeur, pointeur vers membre ou tableau

Cet avertissement indique l'utilisation d'une propriété sur un type de données incompatible.Pour plus d'informations sur les types de données pris en charge par les propriétés, consultez Propriétés d'annotation.

Exemple

Le code suivant génère cet avertissement car la propriété d' _Null_ ne peut pas être utilisée sur les types de données référence.

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_ Point& pt)
{
    // code ...
}

Pour corriger cet avertissement, utilisez le code suivant :

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_  Point* pt)
{
    // code ...
}

Le code défaillant indiqué précédemment génère également l'avertissement C6516 car des conflits de propriété ont provoqué une annotation non valide.