写在前面

• 很多粉丝经常私信问我有关==指针、链表==相关的问题，也非常希望我出一篇有关链表的教学，最近刚好也在整理有关单链表相关的知识点，便作了此文，为大家讲解有关单链表方面的各块知识点。
• 本文考虑到阅读者的水平和能力，内容有深有浅，总体讲解主要是从浅入深循序渐进地阐述有关链表相关的知识

@TOC

一、前言

1、顺序表的缺陷【生活小案例1——盛20粒米饭🍚】

缺陷1：空间经常会不够，需要扩容

• 在上一节，我们讲到了顺序表基本函数结构的算法实现，说到了顺序表其实和数组本质差不多，存放的数据都是连续的，但是通过一些头插、尾插和万能插入可以看出顺序表在有些情况下可能会出现空间不够，需要扩容的操作，而且对于扩容机制，我们上次讲到了【本地扩容】和【异地扩容】，尤其是对于异地扩容，需要先释放掉原先存放的地址，然后再去异地申请一块地址，这其实是需要一定代价的
• 对于扩容的大小来说，一扩就是原来的2倍，这些扩出来的2倍我们不一定都能使用得完，所以就存在一定的空间浪费。那有同学说你怎么知道会用不完呢，万一我用完了呢，其实这你我都不敢肯定自己需要使用多大的空间，只是知道现在的空间不够了，需要再申请一些空间
• 这其实就是我们吃饭的时候吃了一碗不够需要再去盛一碗是一样的，那一碗不够你可能就会去盛两碗，但是有点时候两碗又吃不完（能吃完的请忽略:smile:），所以这个时候我们就会选择少盛一点，但是盛少了又不够吃，如果给你盛1碗20粒米饭这多出来的20粒米你觉得真的够吃吗，所以你还会再去盛。所以要盛多少呢？这就好比我们去申请空间，若是申请得太少了，就可能需要频繁地再去申请，但若是申请得太多了就会用不完，浪费

缺陷2：插入或删除数据时需要挪动大量数据，效率低下

• 虽然有了万能插入，但是我们前面在写头插、尾插、头删、尾删的时候花了不少的功夫去解决这些难题，对于头插，需要将数据从后往前一一后移；对于头删，需要将数据从前往后一一前移，这两种情况就是插入和删除中最坏的两种，时间复杂度接近O(N)，因此我们可以看出对于顺序表它还具有一大缺陷就是对于数据的插入和删除需要挪动大量的数据，因为时间复杂度的过高，导致效率的低下

2、优化方案

因为我们就应该对这两种缺陷做一个改进

• 对于空间不够需要扩容的情况，我们可以使用动态申请，就像动态顺序表那样使用malloc来申请所需要的空间，需要存储一个数据就开一块空间，在本节要介绍的【链表】中，叫做【结点】，当然有些书上写叫做【节点】，这个都可以，没有区别，随你怎么叫。
• 对于增删需要挪动大量数据的情况，我们可以使用一种手段将前后两个结点之间做一个联系，也就是前一个结点存放下一个结点在堆区中申请的那块内存地址，也就是我们在C语言中所学到的指针可以存放一块地址，这样就使得前一个结点和后一个结点产生了一定的关联。然后当我们需要去插入或者删除数据时，只需要修改当前结点所存放的内存地址即可，修改了所存放的地址值，这个时候便与新的结点产生了联系

---

==对于链表这一块，如果C语言的指针和结构体这一块你没有很熟悉的话，学起来确实会比较困难，但这也不妨碍你看本文，我一定会慢慢地带你从浅到深，去领会链表该如何操作==

二、链表的初步认知

1、结构的声明与定义

• 首先里看一下链表的结构，它的每一个结点因为要存放数据和下一个结点的地址，因此需要一个数据域、一个指针域，如下图所示:point_down:
  
• 了解了链表的结构体是如何的，接下来我们用代码的形式将其展现出来
• 可以看到，这里数据域的类型是单独typedef的，这个在顺序表中讲过，因为每一个数据可能并不是整型的，可能是char、long或者是double类型。对于next指针域，你可以看到其为一个==结构体指针==类型，因为这个next指针，它指向的下一个结点又是一个封装好的结构体。

typedef int SLTDataType;
typedef struct SListNode {	//结构体大小：8B
	SLTDataType data;
	struct SListNode* next;
	//SLTNode* next;		不可以这样定义，因为还没有到声明
}SLTNode;

• 此处的结构体类型我们也进行了一个typedef，但是当这个结构体声明出来后，有同学就把这个next指针的类型就定义成了typedef后的类型，这个是不对的，如果你这样定义，那说明你的结构体学的不扎实，这是一种错误的定义方式，此处的SLTNode还没有声明出来，所以是不可以使用的
• 它的定义格式实际上是这样的，当你去使用SLTNode定义next指针时，它还没有被声明出来

typedef int SLTDataType;
struct SListNode {	//结构体大小：8B
	SLTDataType data;
	struct SListNode* next;
};

typedef struct SListNode SLTNode；

2、栈区存放与堆区存放

明白了如何去定义一个结构体，接下去我们就用这个定义的结构体试着去创建一两个结点，然后对它们进行一个链接，我用了下面两种定义和链接方法，你觉得哪个更好呢？

第一种，指针类型【动态开辟】

SLTNode* n1 = (SLTNode*)malloc(sizeof(SLTNode));
SLTNode* n2 = (SLTNode*)malloc(sizeof(SLTNode));
n1->next = n2;

第二种，变量类型【直接定义】

SLTNode n3, n4;
n3.next = &n4;

• 那有小伙伴可能就被难住了，接下来听我给你说说:punch:
• 对于链表，当我们去定义一个个结点进行插入的时候，都是希望在最后能将这些结点链接成为一个线性表一样，所以想让它保存在最后。但是第二种直接定义的变量类型却做不到这一点，这样的定义方式属于一种局部变量的定义，对于局部变量的定义，是在内存中的【==栈区==】为其开辟空间的，这就是我们常说的【栈帧】，函数中的变量定义就需要消耗一定的栈帧，但你这个函数结束之后，那这个栈帧也就销毁了，此时你辛辛苦苦链接起来的链表中各个结点的数据也就随着栈帧的销毁而荡然无存了，这其实就相当于是出Bug了
• 但若是用上面一种定义方式去弄的话，就不会造成这样的现象，之前我们有说到过，对于动态申请的空间，是存放在内存【==堆区==】中的，而对于堆区中存放的内容，是到程序结束才会销毁，而且上面提到，对于每一个链表结点，我们最好使用动态开辟的方式是申请空间，这样的弹性就更加大一些，不会像顺序表那样需要不断地扩容

3、开始链接结点啦🎉【逻辑结构与物理结构的区分】

• 明白了要使用malloc去动态开辟结点，将其存放在【堆区】中，接下去就开辟几个结点，然后将他们进行一个链接

SLTNode* BuySLTNode(SLTDataType x)
{
	//动态开辟
	SLTNode* newnode = (SLTNode*)malloc(sizeof(SLTNode));
	if (newnode == NULL)
	{
		perror("malloc fail\n");
		exit(-1);
	}
	newnode->data = x;
	newnode->next = NULL;
}

• 可以看到，这里我将动态开辟一块空间并且初始化结点值封装成了一个叫【BuySLTNode】的函数，也就是得到一个链表结点，最后用一个链表结构体类型去接收一下，就有了四个结点值，最后将他们一一链接起来即可:lock:

SLTNode* n1 = BuySLTNode(1);
SLTNode* n2 = BuySLTNode(2);
SLTNode* n3 = BuySLTNode(3);
SLTNode* n4 = BuySLTNode(4);
n1->next = n2;
n2->next = n3;
n3->next = n4;
n4->next = NULL;

• 那个这四个结点在你脑海中链接起来是什么样子的呢，我想一定是下面这种样子，每个结点对应一个变量，然后其next指针域使用一个箭头符号指向下一个结点

• 这是大多数人的思维，但是在计算机实际的内存中，可不是这样存储的，真正的物理结构是下面这样
• 当你申请出了一块空间，然后初始化这个结点的值并且用一个结构体链表结点去接收的时候，这个n1，n2，n3，n4并不是普通的变量，而是一个指针变量，一个结构体指针变量，既然是指针那就一定指向一块内存地址，也就是我们在Buy一个结点的时候为这个结点所申请的这块内存地址，而当你去解引用这个指针变量时，也就拿到了这块内存的地址值，这其实就可以解释了为什么n1->next = n2，是等于n2，而不是一个内存地址值，因为这个n2中存放的就是当前这个结点在堆区中申请的这块地址

n1->next = n2;
n2->next = n3;
n3->next = n4;
n4->next = NULL;

• 接下去我解释一下这些结点之间的联系，对于这些结点我们上面说过了，具有一个数据域和一个指针域，对于指针域，它与下一个结点之间的关系其实并不是用一个箭头去指向的，当然下面的这张图我只是为了更加形象，当前结点指针域与下一个结点之间的关系应该是==当前结点指针域存放下一个结点在堆区中申请的内存地址==

• 那这么说可能还是不太直观，我们进编译器中去DeBug一探究竟:mag:
• 可以看出，确实是这样，这下你应该有所理解了吧

4、运行起来了，开始玩链表

搞清楚了链表的各个结点直接是如何前后链接起来的，接下去我们正式地来玩一玩:pound:，申请多个结点将他们串起来

SLTNode* BuySLTNode(SLTDataType x)
{
	//动态开辟
	SLTNode* newnode = (SLTNode*)malloc(sizeof(SLTNode));
	if (newnode == NULL)
	{
		perror("malloc fail\n");
		exit(-1);
	}
	newnode->data = x;
	newnode->next = NULL;
}

SLTNode* SListCreate(int n)
{
	SLTNode* phead = NULL, * ptail = NULL;
	for (int i = 0; i < n; ++i)
	{
		SLTNode* newnode = BuySLTNode(i);
		if (phead == NULL)
			phead = ptail = newnode;
		else
		{
			ptail->next = newnode;
			ptail = newnode;
		}
	}
	return phead;
}

• 解释一下新写的这段逻辑，通过传进来需要构建的n个结点，我们需要通过循环去一一搭建，那我们就需要使用到构建链表的一个很重要逻辑——==尾插法==，首先我们要去定义一个头结点指针和一个尾结点指针，对于链表，有带头结点和不带头结点的类型，后面我会详细介绍。对于这个头结点指针phead，就是用来保存头结点的，对于这个ptail尾结点指针，就是用来链接数据的，将每一个待插入的结点链接到当前尾结点指针的后一个结点，也就是执行这句

ptail->next = newnode;
ptail = newnode;

• 我们通过图示来看一下

• 可以看到，这通过ptail的移动，newnode被不断插入到链表的后面，但是phead却没有变化，始终守护在头结点的身边:angel:，最后当你想要观看整个链表的结构时，去获取这个头结点即可，因为后面的结点都是链接在头结点之后的，所以头结点不可以变化，一旦变化了那么整个链表的结构就乱了:joy:，最后这是个函数，返回值类型是LSTNode*，因此返回phead，主函数中去接收一下即可
• 也就是这个SList，因为当这个函数结束之后，所建立的栈帧也就跟着销毁了，此时的phead就不复存在，但我们将其return返回了，那这个时候SList就保存了这个头结点，之后便可以根据这个头结点去访问链表中的所有元素

SLTNode* SList = SListCreate(10);

• 我们去DeBug中看一下，从SList的数据结果来看，它确实获取了整个链表的所有内容:heart_eyes:

打印链表【生活小案例2——王思聪不需要省钱】

• 通过画图和文字说明，懂得了链表存储的逻辑以及使用头结点去访问整个链表，但我们还是看不见摸不着，接下去就进行一个可视化，将这个链表打印出来看看
• 我们一样是本着这个不轻易改变头结点的原则，定义一个结点指针去存放获取这个头结点，将phead的值给到一个cur的指针变量，然后的话就是我们熟悉的遍历操作，上代码:keyboard:

void PrintList(SLTNode* phead)
{
	SLTNode* cur = phead;	//尽量不用头指针，定义变量存放
	while (cur != NULL)
	{
		printf("%d->", cur->data);
		cur = cur->next;
	}
	printf("NULL\n");
}

• 那有同学还是搞不懂既然这个phead和cur都是相同的，那直接使用phead去遍历不就好了，再定义一个结构体指针又需要消耗内存空间
• 这里我就要和你普及一下有关内存空间的大小的知识了，对于操作系统来说，这个内存空间是很富裕的，在计算机内存中1M = 10W(byte)，1G = 10亿(byte)，对于一个cur结构体指针的大小，也就是8个B的大小，对于系统来说完全就是芝麻粒小的东西，所以有没有这个cur完全没有影响。
• 其实这么小一个cur对于操作系统来说和亿万富万看待几千块钱是一个道理，那比如我们经常在媒体娱乐中看到的王思聪，它爸爸就是万达集团的老总王健林，有一天王思聪和王健林说我这个月给您省了5千块钱，但是他爸爸却满不在乎，因为这些前对他来说就是零花钱一般，省了和没省也没什么区别。
• 那从这里就可以反映出对于编程时有些需要使用到的变量定义我们尽量还是不要省，可以起到它独特的作用，比如说帮助理解程序，再者就是像我们这里的保护头结点不被轻易改变

此时美丽的链表就被形象地打印了出来:camera:

• 但是为了更加形象地让大家看出链表的物理存储结构，所以我这样做:+1:

printf("[%d|%p]->", cur->data,cur->next);

函数调用栈帧图【✏庖丁解牛，细致剖析】

• 我们可以看到，当在Test函数中调用这个Create函数创建链表时，便对应地开辟出了相应的函数栈帧，对于Test函数和SListCreate函数都有它们自己单独的栈帧，栈帧内部就是函数体中定义的各种变量。因此在起初创建newnode的时候，==phead和ptail均是指向这个链表的第一个结点==，存了第一个结点的【地址】。phead是为了函数结束后返回，ptail则是为了链接
• 对于函数而言，建立一个函数开辟栈帧，随着函数的结束栈帧也就跟着销毁了，这里的phead和ptail也不会存在，这就是我们为什么要在堆中申请空间去存放一个个结点，上面说到过，堆中申请的空间不会像栈中那样，随着函数的结束而被释放，对于malloc动态开辟出来的空间是需要你去手动释放的，也就是free()

• 随着新结点的插入，尾指针ptail不断进行移动，直至插入最后一个结点之后便结束插入，最后ptail是指向最后一个尾结点，phead是指向头部第一个结点，【保存有整个链表的结构】，最后将这个phead返回由函数外界的SList接收，便将Create函数中的建立的链表的头拷贝给了SList，此时随着Create函数的结束，所建立的栈帧也将销毁，在函数内部创建的局部变量也跟着一起销毁，不复存在
• 我们在C语言中讲到过有【作用域】这么一个概念，任何变量，都有它的作用域：对于全局变量而言，它的作用域是从声明开始到整个程序结束，但是对于局部变量而言，它的作用域也就是在其所声明的函数内部而已，出了作用域就销毁了，但好在我们保存并返回了这个指向链表头的指针，这个指针中又保存着第一个结点的地址，此时SList便可以通过这个地址去访问这个链表

• 当这个SList获取了链表头结点的地址后，便将其传入PrintList中，但是呢PrintList里是不可以使用外界的这个指针变量的，所以在函数形参部分，就定义了一个指针变量去接收，继而就将这个链表头结点指针所保存的地址拷贝给了这个phead的，这里的phead和Create中的phead又是不同的两个东西，不要混淆。此时两个独立的函数栈帧中的指针变量就都指向堆区中的同一块内存地址
• 上面说到过，为了不让这个头结点指针发生变动，就继续定义了一个指针变量去进行一个变量，从而打印出了这个链表的样子

三、接口算法实现【是时候表演真正的技术了🆒】

认真看完了上面两个模块，相信你对链表的整体框架和结构已经有了一个基本的认识，现在我们要真正地去实现一些有关链表操作的接口，以便观察链表这种数据结构在处理数据的时候与顺序表有何不同❓

1、尾插【Hard】

• 首先第一个我们就来看看尾插，这个在顺序表中有讲到过，就是在尾部插入一个数据结点，对于顺序表来说很简单，就是在size的位置放入这个元素接口，然后size++，但是对于链表来说，也会很容易吗？我们一起来看看

经典错误案例分析

void SListPushBack(SLTNode* phead, SLTDataType x)
{
	SLTNode* newnode = BuySLTNode(x);
	SLTNode* ptail = phead;
//	while(tail != NULL)
	while (ptail)	//一般写成这样
	{
		ptail = ptail->next;
	}
	ptail = newnode;	//只是存放在局部变量中
}

• 首先我给出一种很多同学常见的思路和写法，也就是定义一个ptail指针从头结点开始慢慢遍历到最后为空的时候，然后把动态开辟出来的结点放到这个ptail中，==这是很常见的一种错误==，原理也是和我们上面讲到过的函数栈帧的建立和销毁一个道理，这里的ptail只是一个SListPushBack所在的栈帧中的一个局部变量而已，你让它指向堆区新开辟出来的一块空间，在函数内部看起来是链接上了，但是当这个函数结束时，所建立的栈帧便销毁了，此时局部变量出了它的作用域也会跟着销毁，所以这个尾部新插的结点newnode根本就没有链接上
• 对于尾插来说，它的本质其实是让最后一个结点链接新结点，也就是让这个next去存放这块堆区中申请的地址，这就是我们上面所说的物理结构中结点与结点之间的关系

• 所以应该要像下面这么写，去判断ptail的next域是否为空，若为空则表示遍历到了最后一个结点，此时应该使用【 ptail->next = newnode】，让ptail的next域指向这个新的结点才对

void SListPushBack(SLTNode* phead, SLTDataType x)
{
	SLTNode* newnode = BuySLTNode(x);
	SLTNode* ptail = phead;
	while (ptail->next)
	{
		ptail = ptail->next;
	}
	ptail->next = newnode;
}

• 当然还有一种特殊情况就是这个单链表为空，那就要进行一个单独的判断，然后让phead指向这个新插入的结点newnode即可

void SListPushBack(SLTNode* phead, SLTDataType x)
{
	SLTNode* newnode = BuySLTNode(x);
	if (phead == NULL)
	{
		phead = newnode;	//形参的改变不会影响实参
	}
	else
	{
		SLTNode* ptail = phead;
		while (ptail->next)
		{
			ptail = ptail->next;
		}
		ptail->next = newnode;
	}

}

• 写了这么一大堆，这回肯定是天衣无缝了，我们去测试一下吧
• 哦哦，好像不太对诶:flushed:，插入了三个数据，但是完全没有插进去的样子，这是为什么？我们来DeBug看一下

• 可以看到在DeBug中，我们需要让这个单链表形成的样子应该是第一次尾插的时候将其作为首结点，先进去第一个if判断，然后在后面两次时都进入下面的else判断，但是当我在调试的时候，发现每一次进入的都是第一个if，也就意味着这个SList一直就是为空的，但是进入函数内部却可以发现其实这个phead是指向了newnode所在的内存地址的，==但是在外面看的时候，这个SList却始终都是空的==，这是为什么呢？
• 这就要说到C语言中的函数传参问题了，我们知道，==形参的改变是不会影响实参的==，对于这个phead，就是SListPushBack中的形参，只是接收外界实参SList传入的头指针，也就是说phead所指向的地址并不代表SList也指向这块地址，这和我们上面Create的时候不同，Create在创建出这个链表时会返回指向其头部的head指针，外界可以接收到，但是在这里的尾插只是一个操作罢了，函数的返回值是void，因此外界根本无法从返回值来获取和指向这个首部的指针
  • 若是你对函数传参还不太理解，可以看看我的这篇文章 ——> C生万物 | 函数的讲解与剖析
• 那有同学说，这该怎么办呐，好不容易写出来了:cry:。我们继续看下去

二级指针真正改变头结点的指向【⭐⭐⭐⭐⭐】

本模块对于二级指针不太熟悉的同学先去看看二级指针有关的文章，我推荐这篇深入理解二级指针

• 这个时候我们应该联想到C语言中有关指针方面很经典的一道例题，就是交换两个变量的值，我们来回顾一下这个代码

void Swap1(int* p1, int* p2)
{
	int tmp = *p1;
	*p1 = *p2;
	*p2 = tmp;
}

int a = 2, b = 5;
printf("a = %d, b = %d\n", a, b);
Swap1(&a, &b);
printf("a = %d, b = %d\n", a, b);

• 可以看到，两个变量的值得到了交换，也就是很经典的通过指针接收地址去交换两个变量的值，我们先通过这个小案例带大家DeBug一下

• 可以看到，对于Swap1函数，我们传入了变量a和变量b的地址，然后在形参中，使用到两个指针变量去接收这两个地址，在函数体中，我们又可以通过【*p1和 *p2】解引的操作获取变量a和变量b的内容，引入第三方变量暂时存放一下，就可以实现一个交换了

• 然后在Swap函数执行完后，【*p1】和【*p2】的值进行了一个交换

• 当这个Swap函数结束的时候，因为我们传入的是两个变量的地址，所以指针的解引直接是访问这两块地址的内容，因而就发生了一个交换

若是对上述这个传址的修改不了解，也可以看看我在函数章节中介绍的那个经典案例，讲得很细致清楚

---

• 好，有了这么一个引入，接下去我们将二级指针的传参时就好理解一些了
• 对于【int】型的变量，我们要交换改变它们的值需要对【int*】去传入地址，拓展一下
• 对于【int*】型的变量，我们要交换改变它们的值需要对【int**】去传入地址，传入什么地址呢，传入的就是【int*】的地址
• 这里的【int**】就是我们在C语言中学过的二级指针，接下去还是交换值，通过二级指针来看看如何进行传参交换

void Swap2(int** pp1, int** pp2)
{
	int* tmp = *pp1;
	*pp1 = *pp2;
	*pp2 = tmp;
}

void test1()
{
	int a = 2, b = 5;
	int* p1 = &a, * p2 = &b;
	printf("*p1 = %d, *p2 = %d\n", *p1, *p2);
	Swap2(&p1, &p2);
	printf("*p1 = %d, *p2 = %d\n", *p1, *p2);
}

• 可以看到，对于这里的变量a我首先通过一个指针变量p1去存放它的地址，对于变量b则是用p2存放，然后在Swap2中，传入这两个【一级指针变量】的地址，给到【二级指针变量】形参分别去接收它们的地址，我们继续通过DeBug来看一下
• 可以看到，pp1这个二级指针存放的是一级指针p1的地址；pp2同理存放p2的地址，
• *pp1解引用将二级指针降为一级指针，使得 【*pp1 = p1】【*pp2 = p2】，此时他们的指向都是相同的，存放的都是变量a和变量b的内存地址
• 拿一个【int*】类型的一级指针变量tmp去接收*pp1也就是一级指针p1，此时

• 可以看到，让Swap2函数结束时，*pp1和 *pp2这两个一级指针的指向便发生了改变，然后通过解引用又改变了指向地址中所粗放的内容

• 结束函数回到test1()可以看到pp1和pp2这两个二级指针都变灰了，这其实就是VS中所展现的函数调用结束内部变量随着栈帧的销毁而被释放，但是因为我传入的p1与p2的这两个一级指针的地址，所以函数内部就相当于获取到了这两个指针所指向的地址，实现了一个同一操作，因此函数内部的改变便带动了外界的p1和p2指向的改变，由下图便可看出
• 然后从运行结果可以看到*p1和 *p2也就是 a 与 b值进行了一个交换，这就实现了一个通过二级指针传参来交换改变变量内容的操作

---

但是我将这个二级指针有什么用呢？难道只是给你普及一下二级指针的知识吗，那当然不是，实际上就是为了通过这个二级指针接收以及结构体指针SList去真正地通过内部的修改改变外部的头结点指针，我们通过代码来看一下

//传二级指针
void SListPushBack(SLTNode** pphead, SLTDataType x)
{
	SLTNode* newnode = BuySLTNode(x);
	if (*pphead == NULL)
	{
		*pphead = newnode;
		//通过二级指针的解引用改变头结点【从NULL->newnode】
	}
	else
	{
		SLTNode* pptail = *pphead;
		while (pptail->next)
		{
			pptail = pptail->next;
			//无需再使用二级指针，无需改变头结点，只需要做一个链接
			//改变结构体的指向，使用结构体指针
		}
		pptail->next = newnode;
	}
}

SLTNode* SList = NULL;
SListPushBack(&SList, 100);
SListPushBack(&SList, 200);
SListPushBack(&SList, 300);
PrintList(SList);

再来解释一下传参和链接的过程

• 可以看到函数中的形参我使用的是一个二级指针，然后在test中，我将这个指向头结点的一级指针SList的地址传了进去，当第一次尾插这个100的时候，便会进入第一个if分支,==*pphead便是解引用之后的一级指针，就相当于这个SList==，因此当你将新开辟的结点newnode插入时，便直接将【*pphead】指向了这块堆区中的地址。然后在第二次插入200的时候，便会进入第二个else分支，使用一个一级指针类型的指针变量pptail去接收【 *pphead】，不断往后遍历，然后将两个结点通过【存放地址】的关系链接起来，就完成了我们的尾插操作
• 有同学可能对下面这段else逻辑比较疑惑，为什么在修改头结点的时候要用到二级指针，但是在后面的链接中不需要用到了呢❓，这个时候就要去思考，因为在后驱的结点链接时只是做一个将当前结点的next存放下一个结点在堆区中开辟的地址，这个操作我们前面的一级指针也可以完成，因此无需使用到二级指针。但是在外界传参的时候我们还是选择用二级指针接收一级指针的地址，以此使得函数内部和外部的指针都可以指向堆区中的同一块空间。而且对于函数的结构已经声明了是无法改变的，不能因为第一次需要改变头结点传入二级指针，但是在后面要无需用到二级指针就突然将这个pphead变为一级指针，==这违背了编程的严谨性==

接下去一样再通过函数栈帧的形式来讲解一下，加深印象，帮助理解

• 可以看到，这里将SList拷贝给了pphead，然后pphead指向这个值为100的结点了，但是呢SList并没有，这里的具体操作就是将SList这个一级指针的地址给到了二级指针pphead
• pphead中存地是SList的地址，这里的【*pphead】解引用之后就是这个SList本身，然后主函数看到【SList = NULL】,==所以在判断【*pphead】的时候就相当于在判断【SList】==，这才会进入if分支，通过让【*pphead = newnode】也让这个SList指向了100这个数据结点

• 然后随着PushBack函数的结束，函数所建立的栈帧也就被销毁，pphead和pptail就都没了，但此时这个SList却通过二级指针传参指向了尾插进去的第一个结点，此时这个SList的头部结构才真正地被改变了，可以继续尾插后面的结点

对于尾插法，你学【废】会了吗:stuck_out_tongue_closed_eyes:

---

2、尾删【Circuitous】

有尾插，那一定也有尾删，我们一起来探究一下:mag:

经典错误案例分析

• 对于尾删我们一样从一个经典的错误案例开始说起

void SListPopBack(SLTNode* phead)
{
	SLTNode* ptail = phead;
	while (ptail->next)
	{
		ptail = ptail->next;
	}
	free(ptail);
	tail = NULL;
}

• 对于tail，当其遍历到最后一个结点，也就是next 为空的时候，跳出循环，然后free释放掉这个结点，然后又进行了一步操作将这个tail的值置为空，这个意思就是想着说删除了一个结点后尾结点继续置为空
• 有不少同学一开始都是这样去是实现的，但这么去写是会出现问题的，通过图示看一下

• 通过DeBug我们可以看到，当PopBack函数中将这个ptail置为NULL的时候，确实其内存地址就变成了【0x00000000】，但是这也只是修改了这个局部变量ptail的值，与链表当前一个结点的next域其实没有任何关系，可以看到phead最后一个结点300的next域还是一个地址值，并没有被置空，这其实就相当于一个==野指针==一般，到后面万一不小心去修改这个next值，就会造成很大的问题，有关野指针的问题，后面我会详细叙述
• 此时只是这个局部变量做了一个修改，并没有改变这个结构体，要改变结构体就要使用到==结构体指针==

修改方式一：保存ptail的上一个结点

• 首先来看第一种修改方式，也就是将这个ptail向后遍历的时候先做一个保存，放到一个结构体指针prev中，在向后遍历的时候若ptail遍历到最后一个结点，直接free释放ptail即可，然后让prev->next = NULL，这个时候结构体就发生了改变，这个next指针域也发生了真正的改变，不会像上面一样变成一个野指针充满【❗dangerous❗】

//way1
SLTNode* ptail = phead;
SLTNode* prev = NULL;
while (ptail->next != NULL)
{
	prev = ptail;
	ptail = ptail->next;
}
free(ptail);
prev->next = NULL;

修改方式二：ptail->next->next

• 然后说说第二种修改方式，也就是不需要去再定义一个prev指针去保存，而是直接判断【ptail->next->next】是否为空即可，此时这里的ptail便为尾结点的前一个结点，因此free(ptail->next)就是删除尾结点，最后将这个结点置为空

//way2
SLTNode* ptail = phead;
while (ptail->next->next != NULL)
{
	ptail = ptail->next;
}
free(ptail->next);
ptail->next = NULL;

特殊情况修正【单个结点、二级指针修改、断言报错】

• 你以为用这样就可以真正地实现尾删了吗，那还远远不够，路还有很远🐎，继续分析下去吧
• 可以看到，在这里我执行了三次PopBack，然后到最后一次的时候，发现ptail->next==NULL，但是ptail->next->next却是一个越界的位置，这个时候其实就不对了，之前我们有说过，访问越界是一个很大的问题🈲

• 所以，对于单个结点的尾删，我们应该进行一个单独的判断。也就是当前传入进来然后接收的这个phead所指向的next是否为空。若为空，则表示此单链表只有一个结点，直接free这个phead即可，然后将其置为NULL

void SListPopBack(SLTNode* phead)
{
	if (phead->next == NULL)
	{		//只有一个结点
		free(phead);
		phead = NULL;
	}
	else
	{
		SLTNode* ptail = phead;
		while (ptail->next->next != NULL)
		{
			ptail = ptail->next;
		}
		free(ptail->next);
		ptail->next = NULL;
	}
}

---

• 那有同学说，这个时候应该没问题了吧，单个结点的情况都被我考虑到了，简直天衣无缝:smirk:
• 但是。。。Exception它又来了

• 不说了，没有爱了:heart:直接DeBug吧:keyboard:
• 那这里是又可以看到，我们在写尾插的时候出现过的情况，就是函数内部做了改变但是外界并不知晓，那这个时候该怎么办呢？没错，就是它，:point_right:二级指针:point_left:

• 那这下可好了，整个函数的结构又要重新定义，这其实是正常的，调Bug💻就是不断在试错的过程，当你找出错来了，那就应该及时更正，不要怕麻烦
• 一样，就像下面这么改，对于只有单个结点需要单独处理时使用*pphead去获取一级指针进行操作~

void SListPopBack(SLTNode** phead)
{
	if ((*phead)->next == NULL)
	{		//若只有一个结点，直接将其释放，传入二级指针便改变了链表的头结点
		free(*phead);
		*phead = NULL;
	}
	else
	{
		SLTNode* ptail = *phead;
		while (ptail->next->next != NULL)
		{
			ptail = ptail->next;
		}
		free(ptail->next);
		ptail->next = NULL;
	}
}

• 然后我们再来看一下运行结果，可以看到，链表终于被清干净了💧

• 真的是天衣无缝、百无一失了吗？我再删一次你看看:scream:

• 可以看到，此时的链表已经为空，但是我又执行了一次PopBack操作，那有同学说，那你这不是手欠吗，人家都被删空了你还要再删一次，成心跟人过不去是吧:angry:
• 记住一点，你永远要考虑要一些随性操作的用户，指不定那天进行了一些你开发时想都想不到的操作:smiling_imp:

• 这其实就是什么问题？没错，就是访问越界的问题，当你将链表已经删空的时候，再去对链表进行一个删除，此时访问的就是一个随机的位置，超出了你所能访问的界限，编译器也就很好地为你【检查出了错误】
• 那此时我们应该怎么办呢？没错，就是在PopBack函数进来的一开始，就进行一个判断，看看这个指针所指向的头是否为空，若是为空，则执行相应的报错
• 在这里我们选择直接使用暴力的方式，也就是断言【assert】，不要温柔的if判断，直接报出来哪里有问题，然后打一顿再说💪

void SListPopBack(SLTNode** phead)
{
	assert(*phead);
	if ((*phead)->next == NULL)
	{		//若只有一个结点，直接将其释放，传入二级指针便改变了链表的头结点
		free(*phead);
		*phead = NULL;
	}
	else
	{
		SLTNode* ptail = *phead;
		while (ptail->next->next != NULL)
		{
			ptail = ptail->next;
		}
		free(ptail->next);
		ptail->next = NULL;
	}
}

以上就是尾删法的最终版本，你又学【废】了吗:stuck_out_tongue_closed_eyes:

---

说完尾插和尾删，还有头插和头删，但是不要惊慌，对于头插和头删，没有你想象得那么复杂:dizzy_face:

3、头插【Easy】

• 对于头插其实并不复杂，也就是创建出一个新的结点newnode，然后让这个结点的next域存放首个结点的地址，还是一样，对于头插和头删，都是要使用到二级指针的，否则内部的改动是无法带动外部的变化
• 要将这个二级指针化为一级指针我们说过很多遍，一次*解引用即可。链接上后将这个新的头所存在的地址给到指向头结点的指针即可

void SListPushFront(SLTNode** pphead, SLTDataType x)
{
	SLTNode* newnode = BuySLTNode(x);
	newnode->next = (*pphead);		//二级指针解引，变为一级指针
	*pphead = newnode;		//再让newnode变为新的头
}

• 怎么样，简单吧，很快就说完了，一方面是因为我们前面铺垫得很多，你所掌握的东西我已经不需要说了，另一方面在对于单链表而言，它的头插和头删确实比尾插和尾删来得高效

4、头删【Easy】

• 说完头插，马上趁热打铁来说说头删
• 还是一样，并不复杂。因为删除这个头，那当其删除之后，它的后一个结点也就成为了新的头，这个时候就需要做一个更新，但这个前提是你能访问到后面这个结点，所以我们要事先去保存当前头结点的后一个结点，然后将头结点free释放，最后更新让头结点指针重新指向下一个新的结点即可

void SListPopFront(SLTNode** pphead)
{
	assert(*pphead);	//删除都先断言一下，看看传进来的链表是否为空

	SLTNode* nextNode = (*pphead)->next;	//先保存当前首结点的下一个结点
	free(*pphead);
	(*pphead) = nextNode;
}

长文受限制不让发，看下篇