new [n]並刪除每個位置刪除，而不是整個塊刪除[]

Question

這是有效的C++（例如不調用UB），並實現我想要的內容，而不會泄漏內存？ valgrinds抱怨free和delete不匹配，但最後說「無泄漏是可能的」。

int main() { 
    int* a = new int[5]; 
    for(int i = 0; i < 5; ++i) 
    a[i] = i; 

    for(int i = 0; i < 5; ++i) 
    delete &a[i]; 
} 

的原因，我問：我有一個使用boost::intrusive::list和我new被添加到列表中的每個對象的類。有時我知道有多少對象要添加到列表中，並且正在考慮使用new[]來分配一個塊，並且仍然能夠使用boost::intrusive的Disposer樣式自行處理每個對象的delete。

Answer 1

沒辦法。你不能對未被新分配的內容調用delete，否則你會得到堆損壞。

您會發現，由new []創建的數組沒有分配n個單獨的對象，而是一個數組。數組的第二個對象位於分配塊的中間。

Answer 2

您可以添加一點，這樣每個對象都會記住它是否是連續數組中的第一個。這是棘手：

與 delete object語法

• 完全不相容
• 與繼承不相容
• 處理器而不是調用析構函數明確，如object.~ListItem()
• 仍然必須使用陣列operator new[]
• 務必處置反向對象順序，與您的示例不同
• 析構函數通過其第一個元素實現數組的反射所有權：

。

ListItem::~ListItem() { 
    if (m_own_my_subarray) { 
     operator delete[](this); // does not invoke any destructor! 
       // "this" must be exactly the result of new[]! 
    } 
}