奇怪的 SAL 注释警告答案

【问题标题】：Strange SAL annotation warning奇怪的 SAL 注释警告
【发布时间】：2009-03-16 23:32:16
【问题描述】：

我正在尝试为我的项目使用 Micosoft 的 SAL 注释，但是我收到以下警告，但我不知道为什么。

例如，我创建了一个新的 C++ 控制台应用程序，并拥有以下代码：

#include <sal.h>

class Whatever
{
public:
    _Check_return_ int Method(__in int number) ;
};

int main()
{
    return 0;
}

当我使用 Visual Studio 2008 进行编译时，我收到以下警告：

警告 C6540：在此函数上使用属性注释将使其所有现有的 __declspec 注释无效

在文件“c1xxast”中

我做错了什么？如果我删除 _Check_return_ 或 __in，警告就会消失。

我找不到对警告 C6550 的任何引用。但是可以在此处找到相同的文本：http://msdn.microsoft.com/en-us/library/dd445322.aspx，但这不是很有帮助。

【问题讨论】：

【解决方案1】：

问题可能是因为您混合了 SAL 注释类型。虽然在 MSDN 上说得很清楚，但是 SAL 的注解有两种类型：attribute 和 ... er ... not。

<sal.h>VC2005 中的#defines 使用非属性版本，并以下划线开头，后跟小写字母。较新的 VC2008 版本扩展到编译器属性，并以下划线开头（和结尾）后跟大写字母。

你混合了这两种类型：

属性：

非属性：

尝试更改注释以始终使用单一类型。

This blog post 对此进行了更多解释。

【讨论】：

【解决方案2】：

您必须将 SAL 注释添加到方法的声明和定义中。我猜 SAL 很不高兴，因为它找不到方法的定义并假设缺少属性。

编辑说明

对于非抽象方法，SAL 注释必须出现在两个位置。对于抽象方法，SAL 不会寻找定义。在某些配置中，它实际上会确保接口的实现具有适当的符号。

【讨论】：