Condividi tramite

C6512

  • Articolo

avviso C6512: annotazione non valida: la proprietà 'Null' deve essere Maybe se la proprietà 'Valid' è No

L'avviso indica che Null è considerato un valore valido. Non è pertanto possibile utilizzare Null con un valore No per la proprietà Valid.

Esempio

Il codice seguente genera questo avviso:

// 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);

Per risolvere il problema, utilizzare il codice seguente:

// 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);