C6509

警告 C6509: 無效的附註: 'return' 無法從先前的條件參考

這則警告表示 return 關鍵字不能用於 Pre 條件中。return 關鍵字是用來結束函式並傳回控制項執行對呼叫的函式。

範例

因為 return 用於 Pre 條件，下列程式碼會產生這則警告:

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