习题2.5 两个有序链表序列的合并 (15 分)

本题要求实现一个函数，将两个链表表示的递增整数序列合并为一个非递减的整数序列。

函数接口定义：

List Merge( List L1, List L2 );

其中List结构定义如下：

typedef struct Node *PtrToNode;
struct Node {
    ElementType Data; /* 存储结点数据 */
    PtrToNode   Next; /* 指向下一个结点的指针 */
};
typedef PtrToNode List; /* 定义单链表类型 */

问题设计

L1和L2是给定的带头结点的单链表，其结点存储的数据是递增有序的；函数Merge要将L1和L2合并为一个非递减的整数序列。应直接使用原序列中的结点，返回归并后的带头结点的链表头指针。

裁判测试程序样例：

#include <stdio.h>
#include <stdlib.h>

typedef int ElementType;
typedef struct Node *PtrToNode;
struct Node {
    ElementType Data;
    PtrToNode   Next;
};
typedef PtrToNode List;

List Read(); /* 细节在此不表 */
void Print( List L ); /* 细节在此不表；空链表将输出NULL */

List Merge( List L1, List L2 );

int main()
{
    List L1, L2, L;
    L1 = Read();
    L2 = Read();
    L = Merge(L1, L2);
    Print(L);
    Print(L1);
    Print(L2);
    return 0;
}

/* 你的代码将被嵌在这里 */

输入样例：

3
1 3 5
5
2 4 6 8 10

输出样例：
1 2 3 4 5 6 8 10 
NULL
NULL

虽然这道题的算法很简单，但做这个题的时候遇到了许多困难。

下面列举一下错误情况

List Merge(List L1, List L2) {
    List L, tmp;
    L = (List) malloc(sizeof(struct Node));
    L1 = L1->Next;
    L2 = L2->Next;
    tmp = L;
    while (L1 || L2) {
        if (L1 == NULL) {
            tmp->Next = L2;
			L2=NULL;
        } else if (L2 == NULL) {
            tmp->Next = L1;
            L1=NULL;
        } else {
            if (L1->Data < L2->Data) {
                tmp->Next = L1;
                L1 = L1->Next;
                tmp = tmp->Next;
            } else {
                tmp->Next = L2;
                L2 = L2->Next;
                tmp = tmp->Next;
            }
        }
    }
    return L;
}

输入
2
1 3
2 
2 4
输出
12341234234

根据调试情况：在函数Merge中，完成所有操作后，L1与L2都是NULL，但返回主函数后，L1、L2、L全部都是期望的合并链！
这是为什么呢？
而如果再定义2个指针的话，就不会出现这种情况。
如果这样写的话，PTA上的测试程序会出现段错误的情况，段错误：可能是数组越界，堆栈溢出等情况。

正解：由此可推知，L1和L2不能是NULL，这样相当于空指针，连头节点都没有

正确示例

List Merge(List L1, List L2) {
    List L, tmp, p1, p2;
    L = (List) malloc(sizeof(struct Node));
    p1 = L1->Next;
    p2 = L2->Next;
    tmp = L;
    while (p1 || p2) {
        if (p1 == NULL) {
            tmp->Next = p2;
            p2=NULL;
        } else if (p2 == NULL) {
            tmp->Next = p1;
            p1=NULL;
        } else {
            if (p1->Data < p2->Data) {
                tmp->Next = p1;
                p1 = p1->Next;
                tmp = tmp->Next;
            } else {
                tmp->Next = p2;
                p2 = p2->Next;
                tmp = tmp->Next;
            }
        }
    }
    L1->Next=NULL;
    L2->Next=NULL;
    return L;
}