Question

数据结构（c++描述）：关于列表归并，请大家帮我看看这个merge函数的形参

已经有了这两个东西－－
1.struct：ListNode<T>
里面存有 pred、succ指针，以及T data;
还有addAsPred(T e); 和 addAsSucc(T e);这些function

2.列表模板类：List<T> 里面有
ListNode<T>* head; ListNode<T>* tail; int size;
以及很多函数...(我只写下文提到的)
T remove( ListNode<T>* p);
ListNode<T>* insertBefore(ListNode<T>* p, T const& e);

List<T>中有一个成员函数merge，（前提是有序列表）作用是 将当前列表中自p起的n个元素，与列表L中自q起得m个元素归并到一起：
template<class T>
void List<T>::merge(ListNode<T>*& p,int n,List<T>& L,ListNode<T>*q,int m){
ListNode<T>* pp = p->pred;
while(m>0){
if( n>0 && ( p->data <= q->data ) ){
if( q == ( p = p->succ ) )break;
n--;
}else{
insertBefore(p, L.remove( (q = q->succ ) -> pred ) );
m--;
}
p = pp->succ;
}
}

我实在不明白这个形参：ListNode<T>*& p
为什么要写“ListNode<T>*&”呢？ 叫做"指针的引用"？
单纯写指针（ListNode<T>* ）不行么？如果不行，ListNode<T>*q 为什么就可以了呢？为什么导入p和q用不同的方式呢？
这个merge是叫做“有序列表的二路归并“，是递归函数mergesort()的一个环节，我并不是很理解..
但是我现在主要的问题是那个形参，希望各位从语法的角度,或者从“模板类的指针的引用”这方面 帮我一下就好了......

我很基础请您通俗哈.....

Answer 1

这里的归并是将列表L中自q起的m个元素有序的插入到现有列表，也就是p所在列表L1；在这个过程中，原p的值是需要改变的，所以要用引用；而q只需要传值即可（也就是值的copy就可以），如果只是写ListNode<T>* ，则只是copy了一份原列表L1，而原列表L1并不会改变。和下面这个例子一样：
void change(int &a, int &b)
{
int t;
t = a;
a = b;
b = t;
}
如果不用引用，将实际a和b并不会进行交换。
ListNode<T>* 想相当于 int；&p相当于&a

Answer 2

ListNode<T>*& p 和 ListNode<T>* p 的不同之处在于：
使用前者，如果在函数体中改变了p的值（即改变了p的指向），则这种改变能带给与p对应的实参（即调用后实参的指向会改变）
如果使用后者，则在函数体中对p的值的改变，不会影响与p对应的实参（即调用后实参的指向不变）