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