Question

int main(){
   //Node is some template class
   Node<int>* head = new Node<int>[5];

   for(int ii = 0; ii < 5; ii++)
   {
      head[ii].set_Data(ii);
      head[ii].set_Link(head + (ii + 1));
      if(ii == 4)
      {
        head[ii].set_Link(NULL);
      }
   }
   delete [] head;
 }


template<typename T>
void Node<T>::set_Link(Node* Node_Address)
{
    Link = Node_Address;
}


template<typename T>
Node<T>::~Node()
{
    delete Link;
    cout << "Destructor" << endl;
}

我正在学习链接列表。我不明白为什么我的析构函数被调用15次，而cout语句被打印15次。如果我摆脱声明

head[ii].set_Link(head + (ii + 1));

析构函数只被调用5次，这是有意义的，因为有5个类。当我使用成员函数set_Link（）时，为什么调用析构函数，当我只传递指针而不是类时。甚至没有调用复制构造函数。谢谢你的帮助！

Answer 1

你在这里有UB。析构函数被多次调用。 delete [] head;调用数组中每个对象的析构函数。析构函数依次通过delete Link;调用链接对象的析构函数。

总析构数称为5 + 4 + 3 + 2 + 1 = 15次。主要是在已经被摧毁的物体上。

通常，您不会为链表的元素创建数组。相反，创建如下列表：

Node<int>* head = new Node<int>(); 
Node<int>* node = head;
for(int ii = 0; ii < 5; ii++) 
{ 
  node->set_Data(ii); 
  if(ii == 4) 
  { 
    node.set_Link(NULL); 
  }
  else
  {
    Node<int>* next = new Node<int>();
    node->set_Link(next);
    node = next;
  }
} 
delete head;

Answer 2

在链表节点析构函数中，您不希望删除指向的下一个节点。这将级联删除所有尾节点。你可以通过首先将指针设置为NULL来阻止它，但这只是一个可维护性的噩梦，它会产生许多像这样的微妙错误。

注意：“为什么在使用成员函数set_Link（）时调用析构函数” - 它不会被调用，并且通过添加一些额外的跟踪消息来验证它是非常容易的。所有析构函数调用都来自那个delete []调用。

Answer 3

通过new创建五个节点的完整阵列，没关系。但是传递给set_Link()的指针指向此内存块中的某个位置，因此（a）当析构函数调用delete Link;时，堆管理器不知道如何处理它们，（b）即使它会知道，他们会被删除多次，因为你的五个对象是你要互相删除的。

作为备注：您只需delete通过new获得的内容。

C ++为什么在传递类指针时调用析构函数？

3 个答案: