检查空节点时出现分段错误

Segmentation Fault when checking for NULL Node

本文关键字：分段 错误 节点 检查      更新时间：2023-10-16

我正在创建一个具有合并、插入和获取函数的优先级队列。测试程序通过提供数据和优先级来插入节点，我创建节点并尝试将其放置在左树堆优先级队列中。

这是类节点的代码：

template <class DATA>
class Node {
    public :
    DATA data ;
    double priority ;
    unsigned distance ;
    Node<DATA> * left , * right ;
    Node ( DATA & d , double prio ) : data (d) , priority(prio) ,
    distance(0) , left(NULL) , right(NULL) {} ;
} ;

这是我使用合并和交换插入节点的代码：

template<class DATA> 
Node<DATA> *
PQueue<DATA> :: merge ( Node<DATA> * p , Node<DATA> * q )
{
    unsigned d1, d2;
    if ( p == NULL ) return q ;
    if ( q == NULL ) return p ;
    if ( (p->priority) < (q->priority) ) // p is final root.
        swap(p,q) ;
    p->right = merge ( p->right , q );
    d1 = p->left->distance;
    d2 = p->right->distance;
    if ( d1 < d2 ) 
        swap(p->left,p->right) ; // leftist tree.
    p->distance = 1 + p->right->distance ;
    return p ;
}
template<class DATA>
void
PQueue<DATA> :: swap (Node<DATA> * p, Node<DATA> * q )
{
    Node<DATA> * temp;
    temp = p;
    p = q;
    q = temp;
    delete temp;
}
template < class DATA >
bool 
PQueue<DATA> :: insertPQ ( DATA & data , double priority )
{
    root = merge(root, new Node<DATA>(data, priority));
    return true;
}

插入的测试代码如下：

pq.insertPQ( data[i] , data[i] )

第一个插入工作正常。第二个插入进入合并函数，在 p->right = merge ( p->right , q ); 处进入第一个递归循环，并在 if ( p == NULL ) return q ; 在进行一些检查后，p 确实 = NULL 在这一点上，但我在检查是否p == NULL时出现错误。任何帮助，不胜感激。

我怀疑它并没有真正崩溃。

不过，您有几个错误。首先，请注意，你的 swap 函数交换了它给出的指针，但这对树没有任何影响。我想你的意思是让这些论点参考：swap (Node<DATA> *&p, Node<DATA> *&q)

其次，请注意，您在那里删除了一个节点，但尚未分配一个节点。您正在释放 p 节点。这可能会导致段错误。

相关文章：