c - 如果我使用 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 仅在编译时提供静态检查。这假定所有涉及的代码都具有适当的注释并且也已经过检查。这在您的应用程序或模块内部是可以的，但要小心与其他库的边界。