关于链式有序表的合并判断终结点问题

　　在最近复习数据结构的过程中对链式有序表的合并算法产生了一些疑问，并通过代码验证解决了这一问题。

 

1.首先将算法代码贴出

#include <iostream>
using namespace std;

typedef int ElemType;

//1.定义存储表示
typedef struct LNode
{
    ElemType   data;               //数据域
    struct LNode* next;           //指针域
}LNode, * LinkList;

//2.初始化线性表La,Lb,Lc
void InitList_L(LinkList& La, LinkList& Lb, LinkList& Lc)
{
    La = new LNode;
    La->next = NULL;

    Lb = new LNode;
    Lb->next = NULL;

    Lc = new LNode;
    Lc->next = NULL;
    cout << "线性表初始化成功\n\n" << endl;

}

//3.建立单链表
void CreateList_R(LinkList& La, LinkList& Lb, int q, int t)
{
    LinkList m;
    La = new LNode;
    La->next = NULL;
    LinkList r = La;

    for (int i = 0; i < q; ++i)
    {
        m = new LNode;
        cout << "请输入La第" << i + 1 << "个所要创建的数据元素内容" << endl;
        cin >> m->data;
        m->next = NULL;
        r->next = m;
        r = m;
    }

    LinkList n;
    Lb = new LNode;
    Lb->next = NULL;
    LinkList e = Lb;

    for (int i = 0; i < t; ++i)
    {
        n = new LNode;
        cout << "请输入Lb第" << i + 1 << "个所要创建的数据元素内容" << endl;
        cin >> n->data;
        n->next = NULL;
        e->next = n;
        e = n;
    }

}


//合并有序链表
void MergeList_L(LinkList& La, LinkList& Lb, LinkList& Lc)
{
    LinkList pa;
    LinkList pb;
    LinkList pc;
    pa = La->next;
    pb = Lb->next;
    Lc = pc = La;

    while (pa && pb)
    {
        if (pa->data <= pb->data)
        {
            pc->next = pa;
            pc = pa;
            pa = pa->next;
        }
        else
        {
            pc->next = pb;
            pc = pb;
            pb = pb->next;
        }
    }


    
    pc->next = pa ? pa:pb;
    delete Lb;
}


//显示单链表
void DisplayList(LinkList L)
{
    LinkList p = L->next;

    while (p)
    {
        cout << p->data << ",";
        p = p->next;
    }
}

int main()
{
    LinkList La;
    LinkList Lb;
    LinkList Lc;
    InitList_L(La, Lb, Lc);

    int q;
    int t;

    cout << "请输入你所要在La创建的数据元素个数" << endl;
    cin >> q;

    cout << "请输入你所要在Lb创建的数据元素个数" << endl;
    cin >> t;
    CreateList_R(La, Lb, q, t);

    MergeList_L(La, Lb, Lc);
    cout << "La,Lb的合并结果Lc为： " << endl;
    DisplayList(Lc);

    system("pause");
    return 0;
}

 

2.问题的发现：

　　在我逐行理解代码的过程中对92行的代码十分不解，根据我一开始的个人理解它的意思为判断

pc->next是否等于pa若等于则返回pa否则返回pb。但这种理解在我一步步调试中发现并不准确例如

若La中的数字全小于Lb，当La到达最后结点时pc的next一定与pa相等且为NULL这时若按照我的理解

则返回pa这明显大错特错。

 

3.问题的解决：

　　在几个小时的困恼后我忽然发现这个语句可能并不是单纯的判断相等语句而是一个赋值后判断是否

为空的语句；详细点说就是先将pa赋值给pc->next之后的？代表判断pc->next=pa是否为NULL，若为空则

语句pc->next=pa? pa:pb可简化为0？pa：pb则返回pb否则返回pa；这种理解方式明显既符合语句定义同

时有能得出正确结果。

4.思路的验证：

　　在得到这种思路后我对自己的想法进行了验证，方法就是在92行之前添加一段代码（如下）并创建一个以

La先到达最终结点的例子即可

if ((pc->next = pa) == NULL)
    {
        cout << "为空"<< endl;
    }