Partager via

Avertissement C6503

  • Article

Annotation non valide : les références et les tableaux peuvent ne pas être marqués Null=Yes ou Null=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 Node 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);