Поделиться через

C6518

  • Статья

предупреждение C6518: Недопустимая заметка: Свойство 'SAL_writableTo' не может быть определено как предварительное условие в недоступных для записи буферах: '_Param_(1)'

Данное предупреждение указывает на наличие конфликта между значением свойства SAL_writableTo и свойством Writeable.Это, как правило, означает, что свойство Writeable не имеет доступа для записи к параметру, который оно определяет.

Пример

В следующем коде создается данное предупреждение, поскольку заметка _Out_ компилируется для включения свойства SAL_writableTo, которое не допускает доступа для записи:

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