单链表就地逆置

题目：有一个线性表（a1,a2,a3,...,an），采用带头节点的单链表L存储，设计一个算法将其就地逆置，线性表变为(an,...a3,a2,a1)。所谓“就地”指辅助存储空间为O（1）。

解题思路：
如果是顺序存储的话，我们很容易想到解题思路，利用1个辅助变量让第1个元素与第n个元素交换，然后再利用这个辅助变量让第2个元素与第n-1个元素交换，...最后利用这个辅助变量让第n/2个元素与第n+1-n/2个元素交换。

如果不要求“就地”的话，可以创建一个n个元素辅助数组，一次访问单链表中的每个元素，并存储到该数组中，然后再依次访问单链表中的每一个元素，同时从该数组的末尾开始为单链表中的元素赋值，直到数组第1个元素的值赋值给单链表最后一个元素。

如果单链表为空或单链表中只有头结点，那么单链表不需要逆置，如果单链表中只有一个元素，逆置之后它的位置还是不会改变，所以可以不逆置。当单链表中有2个或两个以上的元素时，从第1个元素断开，令它的next为空，依次访问第2个元素到第n个元素，当访问到其中的任意一个元素时，将它插入到头结点之后，也就是把它插入到第1个位置，这样原始的第1个元素就会被后面的n-1个元素插入到它的前面，原始的第2个元素就会被后面的n-2个元素插入到它的前面，...直到原始的第n个元素插入到第1个位置。这样就实现了带头结点的单链表的就地逆置。

ADT定义如下
#define ElemType int
typedef struct LNode{
    ElemType data;
    LNode *next;
}LNode,*LinkList;

算法实现：

void reverse(LinkList &L)
{
    //单链表为空或只有头结点或只有一个元素，不用进行逆置操作
	if(L==NULL||L->next==NULL||L->next->next==NULL) return;
	
	LNode* p=L->next->next;//令p指向线性表中第2个元素a2
	L->next->next=NULL;//令线性表中第1个元素a1的next为空
	while(p)
	{
                LNode* q=p->next;
		//将p插入到头结点之后
		p->next=L->next;
		L->next=p;

		p=q;//继续访问下一个元素
	}
}

程序中用到if(L==NULL||L->next==NULL||L->next->next==NULL)，有人会疑惑把这3个判断放在一起可以吗？

假如L等于NULL时，那么L就没有next指针，而后面又用到了L->next，应该会报错啊。

是这样吗？

当然不是，我们可别忘了逻辑运算时的短路功能，假如L等于NULL时，因为短路功能不会判断L->next==NULL是真还是假，因为不论它是真还是假，L==NULL||L->next==NULL都是真，同理如果L==NULL||L->next==NULL是真，也不会判断L->next->next==NULL是真还是假。

所以可以之间用if(L==NULL||L->next==NULL||L->next->next==NULL)，但是里面判断式的顺序一定要注意。