如何斷言內存已被釋放

Question

我有一個沒有內存的函數。

我想在調用這個函數後聲明函數釋放了給定的內存。

而我無法改變這個功能中的任何東西。

我需要uni測試。我想測試我的功能，我想檢查調用它

的問題後，我真的函數釋放內存，就是在代碼

void func(char *mem) 
{ 
    // Some where in the function there is a free of the memory 
    // The free could be into if condition so there is a risk to not be executed 
} 

int main() 
{ 
    char *mem = malloc(20); 
    func(mem); 
    // how to assert here that the memory is freed? 
} 

Answer 1

簡短的回答：有沒有辦法來實現這一目標。

確保free'd內存不會被意外重新使用或識別某些指針爲空的常用方法是在釋放它之後立即將其設置爲NULL。爲了達到這個目的，在你的例子中，你需要對func()進行修改。如果您不能對func()進行任何更改，則無法確定傳遞給它的指針是否已釋放或仍然有效。

此外，如果你func（）將釋放內存的一些電話，而不是其他電話，那麼這是一個糟糕的設計。有一種更好更透明的方式來管理動態分配的內存。