两个有序链表序列的合并—对函数形参为指针的一个新理解

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

函数接口定义：
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,S;
	/*头结点的建立*/
	L = (PtrToNode)malloc(sizeof(struct Node));
	L->Next = NULL;
	
	S = L;
	L1 = L1->Next;
	L2 = L2->Next;
	while(L1&&L2){
		if(L1->Next->Data <= L2->Next->Data){
			List L_ = (PtrToNode)malloc(sizeof(struct Node));
			S->Next = L_;
			S = L_;
			L_->Data = L1->Data;
			L1 = L1->Next;
		}else{
			List L_ = (PtrToNode)malloc(sizeof(struct Node));
			S->Next = L_;
			S = L_;			
			L_->Data = L2->Data;
			L2 = L2->Next;
		}
	}
	S->Next= L2?L2:L1;
	return L;
}

通过这道题对函数形参是指针类型有了新的理解
以上的代码是存在问题的，通过测试知道当函数形参是指针类型时，其实也并未直接是使用实参传来的指针进行操作，而是重新malloc了一个新指针出来，用新指针指向形参指向的那一块变量

所以无论函数中新malloc出来的指针如何改变，对main中的原指针所指向的地址并无影响，故上述程序中的L1，L2即使指向了各自所在链表的最后一个结点（甚至还没有0~0），main函数中的L1、L2所指向的地址并未随之改变

所以这道题应该在题目内部设置一个新指针p1,p2用来进行链表合成，最后在merge函数里面L1->next=NULL进行把两个原始链表置空，达到
Print(L1);
Print(L2);
均是NULL的结果