C6504

警告 C6504: 無効な注釈です: プロパティは、ポインター、pointer-to-member、または配列型の値でのみ使用できます

この警告は、互換性のないデータ型に対してプロパティが使用されていることを示します。プロパティでサポートされるデータ型の詳細については、「注釈のプロパティ」を参照してください。

使用例

次のコードは _Null_ のプロパティが参照データ型で使用できないため、この警告が生成されます。

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_ Point& pt)
{
    // code ...
}

この警告を解決するには、次のコードを使用します。

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_  Point* pt)
{
    // code ...
}

上に示した修正前のコードでは、プロパティが競合しており、注釈が無効になるため、警告 C6516 も生成されます。