1
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() 时调用析构函数,而我只传递一个指针,而不是一个类。甚至没有调用复制构造函数。谢谢你的帮助!

4

3 回答 3

8

你这里有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; 
于 2012-07-24T06:32:35.110 回答
1

在链表节点析构函数中,您不想删除指向的下一个节点。这将级联删除所有尾节点。您可以通过首先将指针设置为 NULL 来防止它发生,但这只是可维护性的噩梦,并且会产生很多像这样的细微错误。

注意:“为什么在我使用成员函数 set_Link() 时调用了析构函数” - 它没有被调用,并且通过添加一些额外的跟踪消息很容易验证这一点。所有的析构函数调用都源自那个delete []调用。

于 2012-07-24T06:33:49.577 回答
1

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

注意:您只需要delete通过new.

于 2012-07-24T06:37:21.227 回答