如果使用SAL，是否可以刪除NULL和邊界檢查？

Question

我可以依靠SAL多少錢？ 我需要做嗎

NSTATUS my_func(_In_ int *p)
{
    if (NULL == p) {
        return STATUS_INVALID_PARAMETER;
    }
    *p = 1;
    return STATUS_SUCCESS;
}

還是我可以做

NTSTATUS my_func(_In_ int *p)
{
    *p = 1;
    return STATUS_SUCCESS;
}

Answer 1

SAL僅在編譯時提供靜態檢查。 這假定所有涉及的代碼都具有適當的注釋，並且已經過檢查。 這在您的應用程序或模塊內部是可以的，但是要注意與其他庫的界限。