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 ...
}