C6509

警告 C6509：无效的批注: 不能从前置条件引用“return”

此警告意味着不能在前置条件中使用 return 关键字。return 关键字用于终止函数的执行并返回对调用函数的控制。

示例

在下面的代码中，因为return用在前置条件中，所以会生成此警告：

#include <sal.h>

int f (_In_reads_(return) char *pc)
{
    // code ...
    return 1;
}

若要更正此警告，请使用下面的代码：

#include <sal.h>

int f (_In_reads_(i) char *pc, int i)
{
    // code ...
    return 1;
}