C6518

警告 C6518: 無効な注釈です: 「SAL_writableTo」プロパティが書き込み可能でないバッファーで事前条件として指定されていない可能性があります: 「_Param_ (1) 」

この警告は、競合が SAL_writableTo プロパティ値と書き込み可能プロパティの間にあることを示します。これは、本来は、書き込み可能プロパティにパラメーターへの書き込みアクセス権がないことを示すものです。

使用例

次のコードは、書き込みアクセスを許可しない SAL_writableTo のプロパティを含むように _Out_ の注釈をコンパイルするため、この警告が生成されます。:

#include <sal.h>
void f(_Out_ const char* pc)
{
    //code that can't write to *pc ...
}

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

#include <sal.h>
void f(_Out_  char* pc)
{
    pc = "Hello World";
    //code ...
}