Avertissement C6503
Annotation non valide : les références et les tableaux peuvent ne pas être marqués
Null=Yes
ouNull=Maybe
Remarque
Cet avertissement se produit uniquement dans le code qui utilise une version déconseillée du langage d’annotation de code source (SAL). Nous vous recommandons de porter votre code pour utiliser la dernière version de SAL. Pour plus d’informations, consultez Utilisation des annotations SAL pour réduire les défauts de code C/C++.
Notes
Cet avertissement indique que Null
la propriété est utilisée incorrectement sur une référence ou un type de tableau. Un type référence ou tableau contient l’adresse d’un objet et doit pointer vers un objet valide. Étant donné que les types de référence et de tableau ne peuvent pas être null, vous devez corriger l’erreur en supprimant la Null
propriété ou en définissant la valeur No
de la Null
propriété sur .
Nom de l’analyse du code : REFERENCES_CANT_BE_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, définissez la propriété Null sur Non, 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);