C6503

警告 C6503:无效的批注:引用,并且数组不能标记为 Null=Yes 或 Null=Maybe

说明说明

此警告在使用源代码注释语言的代码仅发生 (SAL) 的一个弃用的版本。建议您端口您的代码使用 SAL 的最新版本。有关更多信息,请参见使用 SAL 批注以减少 C/C++ 代码缺陷

此警告意味着 Null 属性在引用或数组类型不正确使用。引用或数组类型来保存对象的地址,并且必须指向有效的对象。由于引用,并且数组类型不能为空,则必须更正错误移除个空属性或通过将 null 属性值设置为不。

示例

下面的代码生成此警告:

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

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

若要更正此警告,请将 Null 属性设置为 No,如下面的代码所示:

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

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

请参见

其他资源

批注属性