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

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获得的东西。