为什么使用此函数进行合并排序（使用链接列表）时会出现堆栈溢出错误？

Question

我使用mid_element（）函数返回中间节点的地址，并使用Merge（）函数合并两个排序的链接列表。这两个函数都工作正常。但是为了以防万一，我附加了代码。我经历了合并排序算法，该算法将链表分为两部分，一个包含第一个节点直到中间节点，另一个包含从中间1到结束的节点。当然，中间节点的下一个指针设置为 null。然后，我们在两半上递归地调用合并排序，最后将两者合并。我做了同样的事情，但我最终遇到了堆栈溢出错误。请帮忙。中间元件功能：

Node *mid_element(Node *head)
{
    if(head==NULL || head->next==NULL)
        return head;
    Node *slow=head,*fast=head->next;
    while(fast!=NULL)
    {
        if(fast->next==NULL)
        {
            slow=slow->next;
            break;
        }
        else
        {
            fast=fast->next->next;
            slow=slow->next;
        }
    }
    return slow;
}

合并功能:

Node *Merge(Node *h1,Node *h2)
{
    Node *h=h1->data<h2->data?h1:h2,*t=h;
    h1=h1->next;
    while(h1!=NULL && h2!=NULL)
    {
        if(h1->data<h2->data)
        {
            t->next=h1;
            t=t->next;
            h1=h1->next;
        }
        else
        {
            t->next=h2;
            t=t->next;
            h2=h2->next;
        }
    }
    if(h1!=NULL)
        t->next=h1;
    if(h2!=NULL)
        t->next=h2;
    return h;
}

合并排序功能：

Node *MergeSort(Node *head)
{
    if(head==NULL || head->next==NULL)
        return head;
    else
    {
        Node *mid=mid_element(head);
        Node *temp=mid->next;
        mid->next=NULL;
        Node *res1=MergeSort(head);
        Node *res2=MergeSort(temp);
        Node *res=Merge(res1,res2);
        return res;
    }
}

节点的定义:

class Node
{
public:
    int data;
    Node *next;

    Node(int data)
    {
        this->data=data;
        next=NULL;
    }

};

我正在使用一个函数来获取输入。用户输入空格分隔的数字列表，其中-1表示列表结束。输入功能：

Node *takeInput()
{
    int data;
    Node *head=NULL,*temp=NULL,*curr=NULL;
    do{
        cin >> data;
        if(data!=-1)
        {
            temp=new Node(data);
            if(head==NULL)
            {
                head=curr=temp;
            }
            else
            {
                curr->next=temp;
                curr=curr->next;
            }

        }
    }while (data!=-1);
    return head;
}

关于列表的大小，我刚刚检查了只有5-6个元素的列表，它崩溃了。

Answer 1

Merge（）中的此行取消引用可能为空的指针。

Node *h=h1->data<h2->data?h1:h2,*t=h;

它可能为空，因为mid_element（）包含此行

if(head==NULL || head->next==NULL)
    return head;

…它可以返回一个next元素为null的指针，并且MergeSort（）接受该返回值，获取可能为null的next元素，并将其传递给Merge（）。

底线：在取消引用指针之前，需要进行更多的空检查。