Compartilhar via


C6503

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

ObservaçãoObservação

Esse aviso ocorre apenas no código que é substituído usando uma versão de idioma da anotação do 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 anotações de SAL para reduzir defeitos de código do C/C++.

Esse 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.Como os tipos de referência e de matriz não podem ser nulos, você deve corrigir o erro removendo a propriedade nula ou definindo o valor da propriedade não nulo.

Exemplo

O código a seguir gera este aviso:

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

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

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

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