Question

我正在使用合并，插入和提取功能创建优先级队列。测试程序通过提供数据和优先级来插入节点，我创建节点并尝试将其放在左派树堆优先级队列中。

这是Node节点的代码：

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 ;上给出一个seg错误。此后做了一些检查p does = NULL但是我得到了错误检查是否p == NULL。任何帮助表示赞赏。

Answer 1

我怀疑它并没有真正崩溃到您认为的地方。

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

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

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

1 个答案: