【C语言数据结构】手撕“带头双向循环链表”!彻底拿捏复杂链表操作

【C语言数据结构】手撕“带头双向循环链表”!彻底拿捏复杂链表操作 🚀

摘要:还在为链表的各种边界条件(空表、头节点、尾节点)搞到头秃吗?🤯 是时候见识一下链表的“完全体”——带头双向循环链表了!它被誉为“最温柔的链表”,用一个巧妙的“哨兵”节点,将所有插入、删除操作化繁为简。本文将带你从零开始,用C语言构建一个功能完备的带头双向循环链表,并通过大量图解手撕代码,让你彻底理解其设计的精髓。告别繁琐的NULL值判断,拥抱优雅的指针操作,快来一起征服这个强大的数据结构吧!


一、为什么需要“带头双向循环链表”?🤔

在学习数据结构时,我们都接触过单向链表。但它有个明显的短板:只能向前,不能回头。就像一条单行道,错过了就无法返回。

为了解决这个问题,双向链表应运而生。每个节点都有 prevnext 两个指针,来去自如。但它依然不够完美,因为我们总要和 NULL 打交道:

  • 对头节点操作,要改 head 指针。
  • 对尾节点操作,要找到最后一个节点。
  • 对空链表插入,逻辑又不一样。
  • …无数的 if (node == NULL) 判断让人心烦意乱。

有没有一种设计,可以统一所有操作,让我们不再关心这些恼人的边界情况?

答案是肯定的!这就是我们今天的主角——带头双向循环链表!🔗

它有三大法宝:

  1. 带头 (With Sentinel):有一个不存储有效数据的“哨兵”或“头”节点。这个节点永远存在,即使链表为空。
  2. 双向 (Doubly-Linked):每个节点都有 prevnext 指针。
  3. 循环 (Circular):头节点的 next 指向第一个有效节点,prev 指向最后一个有效节点;最后一个节点的 next 指向头节点。形成一个闭环。

一句话总结它的优势:将所有复杂操作(如头尾插入/删除)都统一为在两个已有节点之间进行操作的简单模式,代码极其优雅!

二、蓝图设计:List.h 头文件 📜

在动手之前,我们先规划好整个结构和需要实现的接口。

// 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);     // 打印链表
LTNode* LTInit();                // 初始化链表(推荐)
void LTDesTroy(LTNode* phead);   // 销毁链表

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

bool LTEmpty(LTNode* phead); // 判空

LTNode* LTFind(LTNode* phead, LTDataType x); // 查找节点
void LTInsert(LTNode* pos, LTDataType x);    // 在pos之后插入
void LTErase(LTNode* pos);                   // 删除pos位置节点

// 课下练习——在指定位置之前插入数据 😉

三、代码实现:List.c 手撕详解 🛠️

接下来是激动人心的代码实现环节!我们将逐一剖析每个函数背后的逻辑和图解。

3.1 初始化:种下一个“哨兵” 🌱

我们的初始化函数 LTInit 非常特别,它会创建一个“哨兵”节点,并让这个节点自己形成一个环。这个环就代表一个空的链表。

// 申请一个新节点,并自己指向自己
LTNode* LTBuyNode(LTDataType x)
{
	LTNode* newnode = (LTNode*)malloc(sizeof(LTNode));
	if (newnode == NULL)
	{
		perror("malloc fail!");
		exit(1);
	}
	newnode->data = x;
	// 关键:新节点的next和prev都指向自己
	newnode->next = newnode->prev = newnode;

	return newnode;
}

// 初始化,返回一个哨兵节点
LTNode* LTInit()
{
	// 哨兵节点的数据我们通常不关心,可以用-1等特殊值标识
	LTNode* phead = LTBuyNode(-1);
	return phead;
}

图解空链表:

3.2 插入操作:万变不离其宗的四步链接

有了哨兵节点,无论是头插、尾插,还是在任意位置插入,逻辑完全一样!都是在一个已有节点 P 和它的下一个节点 N 之间,插入一个 newnode

尾插 LTPushBack

尾插是在 phead->prev (尾节点) 和 phead (头节点) 之间插入。

void LTPushBack(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);
	LTNode* tail = phead->prev; // 原来的尾节点

	// 1. 新节点的prev指向前一个节点(tail)
	newnode->prev = tail;
	// 2. 新节点的next指向后一个节点(phead)
	newnode->next = phead;
	// 3. 前一个节点(tail)的next指向新节点
	tail->next = newnode;
	// 4. 后一个节点(phead)的prev指向新节点
	phead->prev = newnode;
}

图解尾插:

头插 LTPushFront

头插是在 phead (头节点) 和 phead->next (原第一个数据节点) 之间插入。代码结构和尾插惊人地相似!

void LTPushFront(LTNode* phead, LTDataType x)
{
	assert(phead);
	LTNode* newnode = LTBuyNode(x);
	LTNode* first = phead->next; // 原来的第一个数据节点

	// 1. 新节点的prev指向前一个节点(phead)
	newnode->prev = phead;
	// 2. 新节点的next指向后一个节点(first)
	newnode->next = first;
	// 3. 前一个节点(phead)的next指向新节点
	phead->next = newnode;
	// 4. 后一个节点(first)的prev指向新节点
	first->prev = newnode;
}

3.3 删除操作:断开连接,一步到位

删除操作同样优雅,本质就是让待删除节点 del 的前一个节点和后一个节点直接“牵手”,跳过 del

尾删 LTPopBack
void LTPopBack(LTNode* phead)
{
	assert(!LTEmpty(phead)); // 保证非空
	LTNode* del = phead->prev;  // 要删除的尾节点
	LTNode* prev = del->prev;   // 尾节点的前一个节点

	// prev 和 phead 直接连接
	prev->next = phead;
	phead->prev = prev;

	free(del);
	del = NULL;
}
头删 LTPopFront
void LTPopFront(LTNode* phead)
{
	assert(!LTEmpty(phead));
	LTNode* del = phead->next;   // 要删除的头节点
	LTNode* next = del->next;    // 头节点的后一个节点

	// phead 和 next 直接连接
	phead->next = next;
	next->prev = phead;

	free(del);
	del = NULL;
}

3.4 其他工具函数

这些函数因为哨兵节点的存在,也变得异常简洁。

// 打印链表,跳过哨兵节点
void LTPrint(LTNode* phead)
{
	LTNode* pcur = phead->next;
	printf("phead <=> ");
	while (pcur != phead)
	{
		printf("%d <=> ", pcur->data);
		pcur = pcur->next;
	}
	printf("phead\n");
}

// 判空,看看哨兵是不是在“自娱自乐”
bool LTEmpty(LTNode* phead)
{
	assert(phead);
	return phead->next == phead;
}

// 查找,从第一个数据节点开始
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; // 没找到
}

// 在pos节点后插入,和头插尾插逻辑一致
void LTInsert(LTNode* pos, LTDataType x)
{
	assert(pos);
	LTNode* newnode = LTBuyNode(x);
	LTNode* next = pos->next;
    // 在 pos 和 next 之间插入 newnode
	pos->next = newnode;
	newnode->prev = pos;
	newnode->next = next;
	next->prev = newnode;
}

// 删除pos节点
void LTErase(LTNode* pos)
{
	// 保证不删除哨兵节点
	assert(pos && pos->data != -1);
	LTNode* prev = pos->prev;
	LTNode* next = pos->next;
    // 让 prev 和 next 直接相连
	prev->next = next;
	next->prev = prev;

	free(pos);
	pos = NULL;
}

// 销毁链表
void LTDesTroy(LTNode* phead)
{
    // 先释放所有数据节点
	LTNode* pcur = phead->next;
	while (pcur != phead)
	{
		LTNode* next = pcur->next;
		free(pcur);
		pcur = next;
	}
    // 最后释放哨兵节点
	free(phead);
}

💡 C语言指针知识点:在 LTDesTroy 中,phead = NULL; 这行代码(原代码中有)只会将函数内部的局部变量phead置空,无法影响到main函数中的plist。因此,最佳实践是在main函数中调用LTDesTroy后,手动将plist置为NULL,防止野指针。

LTDesTroy(plist);
plist = NULL; // 推荐写法!

四、实战演练:test.c

让我们用测试代码来验证一下我们的“完全体”链表是否工作正常。

#include"List.h"

void test01()
{
	// 初始化一个带头节点的空链表
	LTNode* plist = LTInit();
	
	printf("尾插 1, 2, 3, 4\n");
	LTPushBack(plist, 1);
	LTPushBack(plist, 2);
	LTPushBack(plist, 3);
	LTPushBack(plist, 4);
	LTPrint(plist);

	printf("\n头删一个元素\n");
	LTPopFront(plist);
	LTPrint(plist);

	LTNode* find = LTFind(plist, 3);
	if (find)
	{
		printf("\n找到了3,在它后面插入100\n");
		LTInsert(find, 100);
		LTPrint(plist);

		printf("\n删除节点3\n");
		LTErase(find);
		LTPrint(plist);
	}
	
	// 销毁链表,手动置空
	LTDesTroy(plist);
	plist = NULL;
	printf("\n链表已销毁\n");
}

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

预期输出:

尾插 1, 2, 3, 4
phead <=> 1 <=> 2 <=> 3 <=> 4 <=> phead

头删一个元素
phead <=> 2 <=> 3 <=> 4 <=> phead

找到了3,在它后面插入100
phead <=> 2 <=> 3 <=> 100 <=> 4 <=> phead

删除节点3
phead <=> 2 <=> 100 <=> 4 <=> phead

链表已销毁

完美!所有操作都符合预期。

五、总结与挑战 🎓

通过今天的学习,我们彻底掌握了带头双向循环链表这一强大工具。

核心优势回顾:

  • 🤖 哨兵节点:消除了对空链表的特殊处理。
  • 🔄 循环结构:让头和尾无缝连接,尾部操作不再需要遍历。
  • 🔗 统一操作:所有插入/删除都简化为在两个节点之间修改4个指针,代码逻辑高度一致,极大地降低了出错率!

它可能在结构上比普通链表稍微复杂一点,但换来的是代码实现的极度简化健壮性的提升,这笔投资绝对物超所值!

课后挑战 🧗:
代码中留了一个小练习:在指定位置之前插入数据。你能实现 void LTInsertBefore(LTNode* pos, LTDataType x) 这个函数吗?(提示:其实就是 LTInsert(pos->prev, x) 这么简单!)

感谢您的阅读,如果本文对您有帮助,请不吝点赞收藏!👍

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值