Partager via

C6512

  • Article

Mise à jour : novembre 2007

C6512

avertissement C6512 : annotation non valide : la propriété Null doit être Maybe si la propriété Valid a la valeur No

Cet avertissement indique que Null est considéré comme une valeur valide ; par conséquent, il ne peut pas être utilisé avec la valeur de propriété Valid définie sur No.

Exemple

Le code suivant génère cet avertissement :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Null=SA_Yes, Valid=SA_No)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Null=Yes, Valid=No)] char *pc);

Pour corriger cet avertissement, utilisez le code suivant :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Null=SA_Yes, Valid=SA_Maybe)] char *pc);
-or-
void f([SA_Pre(Null=SA_Yes, Valid=SA_Yes)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Null=Yes, Valid=Maybe)] char *pc);
- or-
void f([Pre(Null=Yes, Valid=Yes)] char *pc);