Advertencia C6503

Anotación no válida: es posible que las referencias y matrices no estén marcadas Null=Yes o Null=Maybe

Nota:

Esta advertencia solo se produce en el código que usa una versión en desuso del lenguaje de anotación de código fuente (SAL). Se recomienda realizar la portabilidad del código para usar la versión más reciente de SAL. Para más información, consulte Uso de anotaciones SAL para reducir los defectos en el código de C/C++.

Comentarios

Esta advertencia indica que Null la propiedad se usa incorrectamente en un tipo de referencia o matriz. Un tipo de referencia o matriz contiene la dirección de un objeto y debe apuntar a un objeto válido. Dado que los tipos de referencia y matriz no pueden ser NULL, debe corregir el error quitando la Null propiedad o estableciendo el valor Node Null propiedad en .

Nombre del análisis de código: REFERENCES_CANT_BE_NULL

Ejemplo

El código siguiente genera esta advertencia:

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

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

Para corregir esta advertencia, establezca la propiedad Null en No como se muestra en el código siguiente:

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

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