c++ - 添加析构函数逻辑导致段错误

Question

已经有一些标题相似的问题，但我无法找到一个在未调用析构函数时出现段错误的问题。

我一直在写一个模板化的双向链表(为了好玩和练习)，到目前为止，它一直在正常工作(测试了所有地方的插入和删除，测试边缘情况等)。

到目前为止我还没有正确实现 RAII，所以现在实际使用它是非常不安全(拷贝将是一个问题，除非你先清除列表，否则它会泄漏内存如果它超出范围，就像一个倒置的水桶)。

我最初有一个空的析构函数:

template<class T>
dll<T>::~dll()
{}

查找函数:

template<class T>
int dll<T>::find_node(T data)
{
  int index = 0;
  dllnode<T>* current_node = end[0];
  while (current_node)
  {
    if (current_node->data == data)
      return index;
    current_node = current_node->link[1];
    index++;
  }
  return -1;
}

和一个有效的 del_node 函数。

现在，我遇到的问题是，当我尝试清除析构函数中的任何数据列表时:

template<class T>
dll<T>::~dll()
{
    while ( del_node(0) ){}    //returns 0 if no nodes left to delete.
}

我的(未更改的)find_node() 函数导致段错误。

由于对代码的唯一更改是在析构函数中，我“假设”它是相关的，但我不知道如何。永远不应该调用析构函数，因为 dll 对象在堆栈上并且在 main 结束之前都在范围内。

使用空析构函数，代码按预期运行。

这是当前的示例代码:

dll_example.cpp:

#include <iostream>
#include <climits>
#include "dll.h"

void printout(dll<int> list)
{
    std::cout<<"\nnumber of nodes: "<<list.get_node_count()<<std::endl;
    std::cout<<"list contents:"<<std::endl;
    list.print_list();
}

int main()
{
    dll<int> list;

    std::cout<<"created list" << std::endl;

    for (int i = 0; i<10; i++)
    {
        int j = list.add_node(i, 5);
        std::cout<<"added a node, value: "<<i<<", index: "<< j << std::endl;
    }

    printout(list);

    std::cout<<"\nfinding '8'" << std::endl;                    //Prints this line
    int index = list.find_node(8);                           
    std::cout<<"deleting '8' (index: "<<index<<")"<< std::endl; //never gets this far
    list.del_node(index);

    printout(list);

    std::cout<<"\ndeleting #1" << std::endl;
    list.del_node(1);

    printout(list);

    std::cout<<"\ndeleting #0" << std::endl;

    do{                                     //manually delete all entries including 
                                            //a del_node() call on empty list (works)
      printout(list);
      std::cout<<"deleting #0" << std::endl;
    }while(list.del_node(0));
    printout(list);
}

错误输出:

$ ./dll_example.exe
created list
added a node, value: 0, index: 0
added a node, value: 1, index: 1
added a node, value: 2, index: 2
added a node, value: 3, index: 3
added a node, value: 4, index: 4
added a node, value: 5, index: 5
added a node, value: 6, index: 5
added a node, value: 7, index: 5
added a node, value: 8, index: 5
added a node, value: 9, index: 5

number of nodes: 10
list contents:
0, 1, 2, 3, 4, 9, 8, 7, 6, 5,

finding '8'
Segmentation fault (core dumped)

空析构函数输出:

...
list contents:
0, 1, 2, 3, 4, 9, 8, 7, 6, 5,

finding '8'
deleting '8' (index: 6)

number of nodes: 9
list contents:
0, 1, 2, 3, 4, 9, 7, 6, 5,
...

Answer 1

void printout(dll<int> list)

list 是printout 的本地内容。析构函数将在返回时调用。

printout(list);

这将使用复制构造函数来传递参数。

如果您的复制构造函数与析构函数不匹配，就会发生坏事。

如果您想在不实现复制构造函数和复制赋值运算符的情况下使用您的类，最好将它们声明为 private 而无需实现它们:

template<class T>
class dll {
 private:
   dll(dll&);             // no implementation
   void operator=(dll&);  // no implementation
 ...

一旦你不小心使用了拷贝构造函数，编译器就会对你大吼大叫。