C语言数据结构——双向链表

C语言数据结构——双向链表

我们之前学的单链表有两个致命短板:

  1. 尾插 / 尾删必须遍历整条链表,时间复杂度 O(N)
  2. 只能单向遍历,找前驱节点极其麻烦

带头双向循环链表完美解决了以上所有问题

一、 知识铺垫

1、链表 8 种分类

链表由 3 个维度组合划分,一共 2×2×2=8 种结构:

  1. 单向 / 双向单向只有后继指针next双向同时有next后继、prev前驱指针
  2. 带头 / 不带头头节点(哨兵位)不存有效数据,仅占位,统一空链表与非空链表操作逻辑
  3. 循环 / 不循环尾节点next是否指向头节点,循环链表尾节点可直接通过head->prev拿到

在这里插入图片描述

上篇文章讲单链表的时候,为了方便讲解我把第一个结点称为头结点其实是不准确的头结点指的是哨兵位,不储存任何有效数据,只是用来占位置

所以单链表全称为单向不带头不循环链表

本片文章讲的是双向带头循环链表,简称双向链表

2、双向链表

双向链表的优势

  1. 自带哨兵头节点空链表和有数据链表操作代码完全一致,无需特殊判断
  2. 双向指针,任意节点可直接访问前驱、后继
  3. 循环结构,head->prev 直接拿到尾节点,尾插尾删不用遍历
  4. 所有增删操作时间复杂度稳定 O(1)

在这里插入图片描述

二、双向链表节点结构定义

1、结构体代码(List.h 头文件)

#pragma once
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<stdbool.h>

//双向链表的结构
typedef int LTDataType;
typedef struct ListNode
{
	LTDataType data;	//存储有效数据
	struct ListNode* next;	//指向下一个结点(后继)
	struct ListNode* prev;	//指向前一个结点(前驱)
}LTNode;

2、节点结构

每个节点三块内容:数据data + 后继指针next + 前驱指针prev

  • 头节点(哨兵)data=-1 占位,不存业务数据
  • 空链表状态:头节点next和prev都指向自己,形成自循环
  • 非空链表:尾节点next指向头节点,头节点prev指向尾节点

在这里插入图片描述

三、基础功能实现

所有函数实现放在List.c,测试代码放在test.c

1、新建单个节点 LTBuyNode

我们插入数据时,经常需要开辟空间存放数据,可以把函数封装起来,复用代码

LTNode* LTBuyNode(LTDataType x)
{
	LTNode* newnode = (LTNode*)malloc(sizeof(LTNode));
	//内存分配失败直接退出程序
	if (newnode == NULL)
	{
		perror("malloc fail!");
		exit(1);
	}
	newnode->data = x;
	//新节点默认自循环(空结点标准状态)
	newnode->next = newnode->prev = newnode;
	return newnode;
}

2、链表初始化 LTInit

2种初始化方案,我们选择一级指针返回头节点(推荐):

  • 旧方案(二级指针void LTInit(LTNode ** pphead)) :需要传地址,接口不统一
  • 新方案(LTNode * LTInit())直接返回哨兵头节点,调用简单
//双向链表初始化
// 旧方案
//void LTInit(LTNode** pphead)
//{
//	assert(pphead);
//	*pphead = LTBuyNode(-1);
//}

//新方案
LTNode* LTInit()
{
	//创建哨兵头结点,data随便填-1占位
	LTNode* phead = LTBuyNode(-1);
	return phead;
}

调用示例:LTNode * plist = LTInit();

3、打印链表 LTPrint

循环条件从第一个有效节点phead->next开始,回到phead停止

//打印
void LTPrint(LTNode* phead)
{
	assert(phead);	//防止传入空指针
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		printf("%d -> ", pcur->data);
		pcur = pcur->next;
	}
	printf("\n");
}

4、判断链表是否为空 LTEmpty

空链表判定条件:头节点的后继等于自己

bool LTEmpty(LTNode* phead)
{
	assert(phead);
	return phead->next == phead;
}

5、尾插 LTPushBack(O (1),单向链表做不到)

逻辑:新节点插在phead和phead->prev(尾节点)中间

指针修改四步固定步骤

  1. 新节点前驱 = 原尾节点 newnode->prev = phead->prev
  2. 新节点后继 = 头节点 newnode->next = phead
  3. 原尾节点后继 = 新节点 phead->prev->next = newnode
  4. 头节点前驱 = 新节点 phead->prev = newnode

一般是先让新节点的指针挂上非哨兵位,再挂上哨兵位;再调整非哨兵位的指针,最后再调整头结点的指针

在这里插入图片描述

//不改变头结点地址,因此只许传入一级指针
//尾插
void LTPushBack(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);
	//绑定新节点、尾结点、头结点
	newnode->prev = phead->prev;
	newnode->next = phead;

	phead->prev->next = newnode;
	phead->prev = newnode;
}

6、头插LTPushFront

逻辑:新节点插在phead和phead->next(首节点)中间
在这里插入图片描述

void LTPushFront(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);

	//绑定新节点、首节点、头节点
	newnode->next = phead->next;
	newnode->prev = phead;

	phead->next->prev = newnode;
	phead->next = newnode;
}

7、尾删 LTPopBack

前置判断:链表不能为空,否则断言报错

直接取phead->prev为待删除尾节点,先修改头尾指针,后释放内存
在这里插入图片描述

void LTPopBack(LTNode* phead)
{
	assert(!LTEmpty(phead));//空链表禁止删除
	LTNode* del = phead->prev;	//避免指针太长用新变量来取代原尾结点
	
	//跳过待删除结点,重连头尾
	del->prev->next = phead;
	phead->prev = del->prev;

	free(del);
	del = NULL;
}

8、头删 LTPopFront

取phead->next为首节点,先重连前后指针,后释放
在这里插入图片描述

oid LTPopFront(LTNode* phead)
{
	assert(!LTEmpty(phead));
	LTNode* del = phead->next;	//原第一个结点

	del->next->prev = phead;
	phead->next = del->next;

	free(del);
	del = NULL;
}

9、查找节点 LTFind

遍历链表,匹配data则返回节点指针,无匹配返回NULL
返回指针可用于后续指定位置插入 / 删除

LTNode* LTFind(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		if (pcur->data == x)
		{
			return pcur;
		}
		pcur = pcur->next;
	}
	return NULL;
}


10、指定 pos 节点后插入 LTInsert

任意节点后插入通用模板,pos 可通过LTFind获取
在这里插入图片描述

void LTInsert(LTNode* pos, LTDataType x)
{
	assert(pos);
	LTNode* newnode = LTBuyNode(x);
	
	newnode->next = pos->next;
	newnode->prev = pos;

	pos->next->prev = newnode;
	pos->next = newnode;
}

11、删除指定 pos 节点 LTErase

直接跳过 pos 节点,重连前后指针,释放内存
注意:pos 不能是头节点(哨兵不允许删除)
在这里插入图片描述

void LTErase(LTNode* pos)
{
	assert(pos);
	pos->next->prev = pos->prev;
	pos->prev->next = pos->next;

	free(pos);
	pos = NULL;
}

12、链表销毁 LTDesTroy

循环释放所有有效节点,最后释放哨兵头节点
注意:函数内phead=NULL仅修改形参,外部实参需要手动置空

//销毁
//版本一,需要传二级指针,与其他代码接口不统一
//void LTDesTroy(LTNode** pphead)
//{
//	LTNode* pcur = (*pphead)->next;
//	while (pcur != *pphead)
//	{
//		LTNode* next = pcur->next;
//		free(pcur);
//		pcur = next;
//	}
//	free(*pphead);
//	*pphead = NULL;
//}

//版本二
void LTDesTroy(LTNode* phead)
{
	assert(phead);
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		LTNode* next = pcur->next;//提前保存下一个结点,防止断链
		free(pcur);
		pcur = next;
	}
	free(phead);
	phead = NULL;
}

外部调用规范
LTDesTroy(plist);
plist = NULL; // 手动置空,避免野指针

四、完整测试代码test.c

#include"List.h"

void test01()
{
	// 1. 初始化链表(创建哨兵头节点)
	LTNode* plist = LTInit();

	// 2. 尾插测试
	LTPushBack(plist, 1);
	LTPushBack(plist, 2);
	LTPushBack(plist, 3);
	LTPushBack(plist, 4);
	printf("尾插1 2 3 4:");
	LTPrint(plist); // 输出:1 -> 2 -> 3 -> 4 -> 

	// 3. 头插测试
	LTPushFront(plist, 0);
	printf("头插0:");
	LTPrint(plist); // 输出:0 -> 1 -> 2 -> 3 -> 4 ->

	// 4. 查找+指定位置插入
	LTNode* find = LTFind(plist, 2);
	if (find != NULL)
	{
		LTInsert(find, 100);
		printf("在2后插入100:");
		LTPrint(plist); // 0 -> 1 -> 2 -> 100 -> 3 -> 4 ->
	}

	// 5. 尾删、头删
	LTPopBack(plist);
	printf("尾删:");
	LTPrint(plist);
	LTPopFront(plist);
	printf("头删:");
	LTPrint(plist);

	// 6. 删除指定节点
	LTErase(find);
	printf("删除值为2的节点:");
	LTPrint(plist);

	// 7. 销毁链表,防止内存泄漏
	LTDesTroy(plist);
	plist = NULL;
}

int main()
{
	test01();
	return 0;
}

在这里插入图片描述

五、双向链表 vs 顺序表(数组)

对比维度顺序表(数组)带头双向循环链表
物理空间连续一块内存离散碎片化内存,靠指针串联
随机访问支持,下标 O(1)访问不支持,必须遍历 O(N)
头部 / 中部插入删除O(N),需要整体挪动数据O(1),仅修改指针
尾插尾删无扩容时 O(1);扩容 O(N)永久 O(1),无扩容开销
内存开销仅存储数据,开销小每个节点多 2 个指针,额外开销大
适用场景频繁查询、极少插入删除频繁增删、查询少,长度波动大

六、完整实现代码

1、List.h

#pragma once
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<stdbool.h>

//双向链表的结构
typedef int LTDataType;
typedef struct ListNode
{
	LTDataType data;	//存储有效数据
	struct ListNode* next;	//指向下一个结点(后继)
	struct ListNode* prev;	//指向前一个结点(前驱)
}LTNode;


void LTPrint(LTNode* phead);

//双向链表的初始化
//void LTInit(LTNode** pphead);
LTNode* LTInit();

//销毁
//传二级:违背了接口的一致性
//void LTDesTroy(LTNode** pphead);
//传一级:调用完成之后将实参手动置为NULL(推荐)
void LTDesTroy(LTNode* phead);

//头结点要发生改变传二级
//头结点不发生改变,传一级

//尾插
void LTPushBack(LTNode* phead, LTDataType x);
//头插
void LTPushFront(LTNode* phead, LTDataType x);

//判断是否为空
bool LTEmpty(LTNode* phead);
//尾删
void LTPopBack(LTNode* phead);
//头删
void LTPopFront(LTNode* phead);

//查找
LTNode* LTFind(LTNode* phead, LTDataType x);
//在pos位置之后插入数据
void LTInsert(LTNode* pos, LTDataType x);

//删除pos位置的结点
void LTErase(LTNode* pos);

2、List.c

#define _CRT_SECURE_NO_WARNINGS
#include"List.h"

LTNode* LTBuyNode(LTDataType x)
{
	LTNode* newnode = (LTNode*)malloc(sizeof(LTNode));
	//内存分配失败直接退出程序
	if (newnode == NULL)
	{
		perror("malloc fail!");
		exit(1);
	}
	newnode->data = x;
	//新节点默认自循环(空结点标准状态)
	newnode->next = newnode->prev = newnode;
	return newnode;
}

//双向链表初始化
// 旧方案
//void LTInit(LTNode** pphead)
//{
//	assert(pphead);
//	*pphead = LTBuyNode(-1);
//}

//新方案
LTNode* LTInit()
{
	//创建哨兵头结点,data随便填-1占位
	LTNode* phead = LTBuyNode(-1);
	return phead;
}


//打印
void LTPrint(LTNode* phead)
{
	assert(phead);	//防止传入空指针
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		printf("%d -> ", pcur->data);
		pcur = pcur->next;
	}
	printf("\n");
}


bool LTEmpty(LTNode* phead)
{
	assert(phead);
	return phead->next == phead;
}

//不改变头结点地址,因此只许传入一级指针
//尾插
void LTPushBack(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);
	//绑定新节点、尾结点、头结点
	newnode->prev = phead->prev;
	newnode->next = phead;

	phead->prev->next = newnode;
	phead->prev = newnode;
}


void LTPushFront(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);

	//绑定新节点、首节点、头节点
	newnode->next = phead->next;
	newnode->prev = phead;

	phead->next->prev = newnode;
	phead->next = newnode;
}


void LTPopBack(LTNode* phead)
{
	assert(!LTEmpty(phead));//空链表禁止删除
	LTNode* del = phead->prev;	//避免指针太长用新变量来取代原尾结点
	
	//跳过待删除结点,重连头尾
	del->prev->next = phead;
	phead->prev = del->prev;

	free(del);
	del = NULL;
}

void LTPopFront(LTNode* phead)
{
	assert(!LTEmpty(phead));
	LTNode* del = phead->next;	//原第一个结点

	del->next->prev = phead;
	phead->next = del->next;

	free(del);
	del = NULL;
}

LTNode* LTFind(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		if (pcur->data == x)
		{
			return pcur;
		}
		pcur = pcur->next;
	}
	return NULL;
}


void LTInsert(LTNode* pos, LTDataType x)
{
	assert(pos);
	LTNode* newnode = LTBuyNode(x);
	
	newnode->next = pos->next;
	newnode->prev = pos;

	pos->next->prev = newnode;
	pos->next = newnode;
}

void LTErase(LTNode* pos)
{
	assert(pos);
	pos->next->prev = pos->prev;
	pos->prev->next = pos->next;

	free(pos);
	pos = NULL;
}

//销毁
//版本一,需要传二级指针,与其他代码接口不统一
//void LTDesTroy(LTNode** pphead)
//{
//	LTNode* pcur = (*pphead)->next;
//	while (pcur != *pphead)
//	{
//		LTNode* next = pcur->next;
//		free(pcur);
//		pcur = next;
//	}
//	free(*pphead);
//	*pphead = NULL;
//}

//版本二
void LTDesTroy(LTNode* phead)
{
	assert(phead);
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		LTNode* next = pcur->next;//提前保存下一个结点,防止断链
		free(pcur);
		pcur = next;
	}
	free(phead);
	phead = NULL;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值