在 C 中刪除透過 `void*` 分配的記憶體安全嗎？

在C 中透過Void 指標刪除的危險

考慮以下程式碼片段：

void* my_alloc(size_t size) {
  return new char[size];
}

void my_free(void* ptr) {
  delete[] ptr;
}

問題出現了：使用安全嗎my_free 刪除由my_alloc 分配的指針，假設my_alloc回傳一個void*?

未定義行為

答案是響亮的「不」。 C 標準明確禁止透過 void* 進行刪除。第5.3.5/3 節規定：

在第一種選擇（刪除物件）中，如果操作數的靜態型別與其動態型別不同，則靜態型別應為操作數動態型別的基底類別且靜態類型應具有虛擬析構函數，否則行為未定義。在第二種選擇（刪除陣列）中，如果要刪除的物件的動態類型與其靜態類型不同，則行為未定義。

並且其腳註添加：

這意味著無法使用void* 類型的指針刪除對象，因為不存在void* 類型的對象

後果

刪除穿過虛空*可能會導致不可預測的災難性後果。程式可能會因記憶體錯誤、資料損壞或產生錯誤結果而崩潰。

因此，在刪除指標之前必須始終將其轉換為正確的類型。在這種情況下，指標應先轉換為 char*，然後再傳遞給 delete[]。

以上是在 C 中刪除透過 `void*` 分配的記憶體安全嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！