如果我使用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只提供在編譯時靜態檢查。這假設所涉及的所有代碼都有適當的註釋並且也被檢查過。這對您的應用程序或模塊而言是可行的，但要小心與其他庫的邊界。