C6503
avertissement C6503 : Annotation Invalide : 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é Null est utilisée de manière incorrecte sur un type référence ou un tableau.Une référence ou un tableau contient l'adresse d'un objet et doit pointer vers un objet valide.Étant donné que les types référence et tableau ne peuvent pas être null, vous devez corriger l'erreur en supprimant la propriété Null ou en affectant No à la valeur de la propriété 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);