C6503
avertissement C6503 : Annotation non valide : les références et les tableaux peuvent ne pas être marquées Null=Yes ou Null=Maybe
[!REMARQUE]
Cet avertissement se produit uniquement dans le code qui utilise une version déconseillée linguistiques d'annotation du code source (SAL).Nous vous recommandons de porter votre code pour utiliser la version la plus récente du SAL.Pour plus d'informations, consultez Utilisation d'annotations SAL pour réduire les défauts du code C/C++.
Cet avertissement indique que la propriété de la valeur Null est incorrecte utilisée sur une référence ou un type de tableau.Une référence ou un type de tableau contient l'adresse d'un objet et doit pointer vers un objet valide.Étant donné que la référence et les types de tableau ne peuvent pas être null, vous devez corriger l'erreur en supprimant la propriété null ou en définissant la valeur de propriété la valeur non null.
Exemple
Le code suivant génère cet avertissement :
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
class Point
{
public:
// members
};
void f([Pre(Null=Yes)] Point& pt);
Pour corriger cet avertissement, affectez No à la propriété Null comme indiqué dans le code suivant :
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
class Point
{
public:
// members
};
void f([Pre(Null=No)] Point& pt);