mooc浙大数据结构02-线性结构1 两个有序链表序列的合并

题目：

02-线性结构1 两个有序链表序列的合并（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

第一次尝试：

报的是段错误，

首先认为的是没有给指针申请空间，但是加入空间申请后依然报错。

现在来看这个程序的问题相当大，首先没有对L进行内存申请，初始化。第二没注意题目给的是L1是带头结点的指针。第三要求返回的也是带头结点的指针。

下面粘贴通过的代码：

List Merge( List L1, List L2 )
{
  List P1,P2,Li,L;
  Li=(List)malloc(sizeof(PtrToNode));
  L=Li;
  P1=L1->Next;
  P2=L2->Next;
  while(P1!=NULL&&P2!=NULL) //判断都有的部分
  {
    if(P1->Data < P2->Data)
    {
      L->Next=P1;
     // L=P1;
      P1=P1->Next;
    //  L1->Next=NULL;
    //  L2->Next=NULL;//???
    }
    else
    {
      L->Next=P2;
    //  L=P2;
      P2=P2->Next;
     //  L1->Next=NULL;
    //  L2->Next=NULL;
    }
    L=L->Next;
  }
  if(P1!=NULL)
  {
    L->Next=P1;
  }
  if(P2!=NULL)
  {
    L->Next=P2;
  }
   L1->Next=NULL;
   L2->Next=NULL;
  return Li;
}

注意：因为返回的应该是合并后链表的头，所以这里定义两个指针，一个是Li作为链表的头，一个是L作为链表的尾部。两者指向同一个地址，L在循环中不断后移一直作为链表的尾部，最后返回的是Li，即链表的头部。之前一直报错误，看了其他的人的答案是在循环中多了两句L1 和L2分别指向空。研究了一会，发现L1 和L2的指向对新合并的链表没有影响，但是题目要求是返回的L1 L2为空，所以缺少这两句就会报错。这里我把这两句拿出循环，放在最后让两个链表为NULL。

同时可看见，在if内部写L1=P1，L2=P2和在if外循环内写L=L->Next所达到的效果是一样的，都是为了让L作为新合并的链表尾部。

没想到短短几行代码多了这么多问题，不过还是做题不是关键，关键是做题中暴露的每一个知识点都能弄懂。继续加油啦~~