声明：以下头指针都是指向链表的第一个结点（有头节点就指向头结点，没有头节点就指向第一个存储数据的结点），并且默认一下头结点的数据域不存储数据信息

1、单链表

• 无头结点

分析：带有头节点的链表若为空，只需要整条链表只剩一个头节点，这是和不带头节点的链表的一个很大的区别（不带头结点的链表若要为空，整个链表不能存在一个结点），怎样使带头节点的链表只剩一个头节点呢？只需要第一个存储数据的节点不存在即可，即头节点的后继结点不存在即可，所以只需要头节点的next指针域不存在即可（实质上使指向NULL），所以带头点的单链表的判空条件为 head->next=NULL

• 有头节点
  

分析：若要不带头结点的链表为空，需要链表中所有结点都不能存在，怎样使所有节点都不存在呢？只需要第一个结点不存在即可，所有只需要头指针head=NULL即可

2、双链表

• 带有头节点
  
  判空条件和带头节点的单链表一样
• 不带头结点
  
  判空条件和单链表一样，分析方法也一样
  3、循环单链表
• 带头结点
  

分析：链表为空头节点仍存在，但是同时要满足循环，所以判空条件为head->next=head;

• 无头结点
  和单链表分析相同直接head=NULL即可
  4、循环双链表
• 带头节点
  

分析：循环双链表的判空条件有很多，如head->next=head或head->next=head->prior或head->prior=head或head->next=head&&head->prior=head

5、无头节点
和前面的单链表分析一样，直接head=NULL;

——> 转自原博客

1.单链表

带头结点：

分析：
带有头节点的链表若为空，只需要整条链表只剩一个头节点
[这是和不带头节点的链表的一个很大的区别（不带头结点的链表若要为空，整个链表不能存在一个结点）]，
怎样使带头节点的链表只剩一个头节点呢？
只需要第一个存储数据的节点不存在即可，即头节点的后继结点不存在即可
所以只需要头节点的next指针域不存在即可（实质上使指向NULL）
所以 带头点的单链表的判空条件为 head->next=NULL

不带头结点：

分析：
若要不带头结点的链表为空，需要链表中所有结点都不能存在
怎样使所有节点都不存在呢？只需要第一个结点不存在即可
所以 不带头指针的单链表判空条件 head=NULL

2.双链表

带头结点：

带头结点的双链表的判空条件：head->next = NULL

不带头结点：

不带头结点的双链表的判空条件：head = NULL

3、循环单链表

带头结点：

分析：
链表为空头节点仍存在，但是同时要满足循环
所以判空条件为head->next=head;

不带头结点：

判空条件为head=NULL;

4.循环双链表

带头结点：

分析：
循环双链表的判空条件有很多，
如
head->next=head
head->next=head->prior
head->prior=head
head->next=head&&head->prior=head

不带头结点：

head = NULL

#include<stdio.h>

#define ElemType int
typedef struct LNode{  //定义单链表结点类型 
	ElemType data;     //每个结点存放一个数据元素 
	struct LNode* next; //指针指向下一个结点 
}LNode,*LinkList;

//初始化一个空白的单链表 
bool InitList(LinkList &L)
{
	L=NULL;    //空表，暂时还没有存放任何结点（防止脏数据） 
	return true;
}

bool Empty(LinkList L) //判断单链表是否为空 
{
	if(L==NULL)return true;
	else return false;
}

int main()
{
	LinkList L;   //声明一个指向单链表的指针 
	//初始化一个空表 
	InitList(L);
	
	if(Empty(L))printf("此单链表为空！\n");
	else printf("此单链表不空!\n");

	return 0;
}