Partilhar via

C6503

  • Artigo

C6503 de aviso: Anotação inválido: as referências e matrizes não podem ser Null=Yes ou Null=Maybe marcado

ObservaçãoObservação

Esse erro ocorre somente o código que está usando uma versão substituído de linguagem de anotação de código-fonte (SAL).Recomendamos que você mova seu código para usar a versão mais recente de SAL.Para obter mais informações, consulte Usando o SAL anotações para reduzir os defeitos no código C/C++.

Este aviso indica que a propriedade de zero é usada incorretamente em um tipo de referência ou de matriz.Um tipo de referência ou de matriz contém o endereço de um objeto e deve apontar para um objeto válido.Porque os tipos de referência e de matriz não podem ser nulos, você deve corrigir o erro removendo a propriedade nula ou definir o valor da propriedade zero não.

Exemplo

O código a seguir gera esse aviso:

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
class Point
{
public:
    //  members
};

void f([Pre(Null=Yes)] Point& pt);

Para corrigir este de aviso, defina a propriedade nula a não conforme mostrado no código o seguir:

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;

class Point
{
public:
    //  members
}; 
void f([Pre(Null=No)] Point& pt);

Consulte também

Outros recursos

Propriedades da anotação