创作不易，友友们点个三连吧！

      在博主的上一篇文章中，很详细地介绍了顺序表实现的过程以及如何去书写代码，如果没看过的友友们建议先去看看哦！

DS：顺序表的实现（超详细！！）

      顺序表是线性表的一种，而本文将会介绍另外一种线性表——链表（single linked list）。

一、顺便表存在的问题

       数组作为最基础的顺序结构，无法满足我们存储和管理数据的需求，因此我们通过对数组的封装，实现了常用的增删查改等操作，使数组摇身一变成为了顺序表，相比单纯的数组能够更有效的帮助我们储存数据和管理数据，但是他本身也存在着一下问题：

1、中间/头部的插入和删除，需要涉及到数据的多次挪动，效率不高。

2、增容需要申请新空间，拷贝数据，释放就空间，也会有不小的消耗。

3、增容一般是1.5倍或者是2倍增长，势必也是会存在空间浪费。例如当前地容量为100，满了以后增容到200，如果我们再插入5个数据，后面没有数据插入了，那么就浪费了95个数据空间。

      所以是否存在一种数据结构，能够解决以上问题？？答案就是——链表！！

二、链表的概念及结构

      概念：链表是⼀种物理存储结构上非连续、非顺序的存储结构，数据元素的逻辑顺序是通过链表中的指针链接次序实现的 。

      如上图，顺序表在物理结构上是连续的，即他们的数据有在内存中连续存放的特点，但是链表的物理结构是不连续的，即他的两个数据之间的内存地址可能相差十万八千里。为了更好地理解链表，下面举个例子：

      链表的结构跟火车类似，淡季的时候火车会相应减少，旺季时车次的车厢会额外增加几节。只需要将火车里的某节车厢去掉/加上，不会影响到其他的车厢，每节车厢都是独立存在的个体！！

      ⻋厢是独⽴存在的，且每节⻋厢都有⻋⻔。想象⼀下这样的场景，假设每节⻋厢的⻋⻔都是锁上的状态，需要不同的钥匙才能解锁，每次只能携带⼀把钥匙的情况下如何从⻋头⾛到⻋尾？

     最简单的做法：每节车厢里都放⼀把下⼀节车厢的钥匙。

     在链表里，每节“车厢”是这样的：

     链表的每节“车厢”都是独立申请下来的空间，我们称之为链表的结点。

     每节“结点”保存了自己的数据，同时保存了下一个“结点”的地址（指针变量）。

     也就是说，由于每个链表都是独立申请的，为了让他们之间建立联系，就需要通过保存下一个结点的地址，这样可以方便我们去找到下一个结点

     图中指针变量 plist保存的是第⼀个节点的地址，我们称plist此时“指向”第⼀个节点，如果我们希 望plist“指向”第⼆个节点时，只需要修改plist保存的内容为0x0012FFA0。

三、单链表结点结构体的创建

       通过结构体的知识，我们要创建一个链表节点的结构体，这其中需要包含自己的数据，以及下一个结点的地址。

typedef int SLTDataType;//方便以后该链表可以修改用来存储其他的数据
typedef struct SListNode
{
	SLTDataType data;//当前结点存储的数据
	SListNode* next;//当前结点保存的下一个结点的地址
}SLTNode;

     结合之前顺序表的思路，我们一样对int类型进行重命名，这样是为了以后想要通过链表存储其他数据类型时，直接在这里进行修改即可。

       当我们想要保存⼀个整型数据时，实际是向操作系统申请了⼀块内存，这个内存不仅要保存整型数据，也需要保存下⼀个节点的地址（当下⼀个节点为空时保存的地址为空）。

       当我们想要从第⼀个节点⾛到最后⼀个节点时，只需要在前⼀个节点拿上下⼀个节点的地址（下⼀个 节点的钥匙）就可以了。

四、单链表的实现

    有了链表结点的结构体，我们就可以去实现单链表（single linked list）了。

4.1 新节点的申请

       涉及到尾插、头插、指定位置插入的情况下，都需要申请一个新的结点，并且还要对该结点动态申请一块空间，所以我们封装一个函数实现这个功能。

SLTNode* SLTBuyNode(SLTDataType x)
{
	SLTNode* newnode = (SLTNode*)malloc(sizeof(SLTNode));
	if (newnode == NULL)//动态开辟失败，返回
	{
		perror("malloc fail");
		exit(1);
	}
	//开辟成功
	newnode->data = x;
	newnode->next = NULL;
	return newnode;
}

 为什么链表结点开辟空间使用malloc？

     我们在顺序表中使用realloc，是因为我们经常需要在原有空间的基础上进行成倍地扩容，所以realloc会更加地灵活，而对于链表结点来说，一次开辟一次内存就可以了，且没有连续存放的要求，不需要在原有的空间基础上申请，因此malloc就可以了。

4.2 尾插

      

一般情况下，当链表不为空，找到最后一个结点ptail，让最后一个结点的next指针指向新的结点。

因为我们需要去寻找最后一个结点，所以如果当链表为空的时候，是没有最后一个结点的，所以我们需要单独讨论链表为空的情况，此时就让新的结点担任头节点。

void SLTPushBack(SLTNode** pphead, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	SLTNode* newnode = SLTBuyNode(x);//创建新结点
	//链表为空时
	if (*pphead == NULL)
	{
		*pphead = newnode;
		return;
	}
	//链表不为空时，寻找尾结点
	SLTNode* ptail = *pphead;//先记录头结点
	while (ptail->next)
	{
		ptail = ptail->next;
	}
	//遍历完后，此时ptail就是尾结点
	ptail->next = newnode;
}

1、为什么需要参数要用SLTNode** pphead？

     我们在这里需要传入的是指向头节点的指针，该指针本身已经是一个一级指针了，如果这里的参数只用一级指针类型去接收，相当于是值传递，形参的改变不会影响实参，所以在这里，为了能够接收一级指针的同时又希望影响实参，这里就需要用二级指针去接收该一级指针的地址，假设我们指向头节点的一级指针是plist，如下图：

    pphead是二级指针，接收一级指针的地址（&plist），如果解引用一次，得到一级指针plist，如果解引用两次，得到plist指向的结点node。

2、为什么需要assert(pphead)？？

    如果传入的是一个NULL指针，操作后会造成程序崩溃，断言是为了避免该函数被误用和滥用造成不可估计的后果。

3、寻找尾结点时，为什么还需要创建一个指针ptail去接收*pphead，而不直接使用*pphead？？

     *pphead是指向头节点的一级指针，我们是通过二级指针去接收该一级指针的地址，所以*pphead是会被改变的，如果我们在寻找尾结点的时候直接用*pphead，虽然也可以找到尾结点，但是头结点也会因此而丢失，所以我们在利用头结点去遍历链表时，一定要创建一个临时变量去接收头节点再去遍历！！

4.3 头插

      一般情况下，我们只需要让newnode的next指针指向原来的头节点，再让newnode成为新的头节点，当链表为空时也是人newnode为新的头节点，所以不需要分开讨论

void SLTPushFront(SLTNode** pphead, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	SLTNode* newnode = SLTBuyNode(x);//创建新结点
	newnode->next= *pphead;//新节点的next指针指向原来的头节点
	*pphead = newnode;//newnode成为新的头节点
}

注：newnode->next= *pphead和*pphead = newnode不能调换顺序，否则原头节点的数据会丢失！！

4.4 打印

     我们希望封装一个打印链表的函数来检测我们写的代码是否正确。

void SLTPrint(SLTNode** pphead)//保持接口一致性
{
	SLTNode* pcur = *pphead;
	while (pcur)
	{
		printf("%d->", pcur->data);
		pcur = pcur->next;
	}
	printf("NULL\n");
}

注：这里其实不需要传地址，因为打印函数只不过是展示，并没有对链表的数据进行处理，值传递也可以（SLTNode*phead），但是我们为了保持接口一致性，还是使用二级指针接收参数。

4.5 尾删

    在一般情况下，我们需要找到尾节点的前一个结点prev，让他的next指针指向NULL,然后再释放尾结点并置空，因为我们需要找尾结点的前一个结点，如果该链表恰好只有一个结点时，是没有前结点的，所以单独讨论，该情况下直接将唯一的结点释放掉即可。当链表为空的时候，删除操作是没有意义的，所以要直接使用断言制止这种情况！

void SLTPopBack(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	//链表中只有一个结点的时候
	if ((*pphead)->next == NULL)//->的优先级大于* 所以要在*pphead上加括号
	{
		free(*pphead);
		*pphead = NULL;
		return;
	}
	//链表中有多个结点的时候
	SLTNode* ptail= *pphead;//用来遍历链表，最后释放尾结点
	SLTNode* prev = NULL;//用来记录尾结点的前一个结点
	while (ptail->next)
	{
		prev = ptail;
		ptail = ptail->next;
	}
	//此时prev恰好是尾结点的前一个结点
	prev->next = NULL;
	//此时ptail恰好是尾结点，将其释放并置空
	free(ptail);
	ptail = NULL;
}

注：->的优先级大于*，所以一定要用括号将*ppead括起来！

4.6 头删

       一般情况下，令*pphead指向第二个结点，然后释放掉第一个结点即可，链表只有一个结点的情况，也是释放掉第一个结点，所以不需要分开讨论，链表为空时头删没有意义！！所以必须通过断言来制止！！

void SLTPopFront(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	SLTNode* next = (*pphead)->next;//释放头节点前，先让next接收头节点的下一个结点
	free(*pphead);//释放头节点
	*pphead = next;//让next（原来的第二个结点）成为新的头节点
}

4.7 查找

       指定位置之前插入、指定位置之后插入、删除指定位置结点、删除指定位置之后的结点，都涉及到指定位置，所以我们封装一个查找函数，根据我们需要查找的数据，返回该数据所在的结点。

SLTNode* SLTFind(SLTNode** pphead, SLTDataType x)
{
	SLTNode* pcur = *pphead;
	while (pcur)
	{
		if (pcur->data == x)
			return pcur;//找到，则返回该结点
		pcur = pcur->next;
	}
	//循环结束了还没找到，则返回NULL
	return NULL;
}

4.8 指定位置之前插入

     

      一般情况下，要找到pos的前一个结点prev，让prev的next指向新结点，而新节点的next指向pos，因为该函数要实现在指定位置之前插入，所以pos传空则没有意义，所以pos不能为空，因为pos不能为空，所以链表也不可能为空，因为要找pos的前一个结点，如果pos恰好就是头结点，那么就相当于是头插了，直接调用之前封装的头插函数。

void SLTInsert(SLTNode** pphead, SLTNode* pos, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	assert(pos);//保证pos不为空
	
	//当pos就是头结点的时候，相当于头插
	if (*pphead = pos)
	{
		SLTPushFront(pphead, x);
		return;
	}
	//当pos不是头节点的时候，要找pos的前一个结点
	SLTNode* prev = *pphead;
	while (prev->next != pos)
	{
		prev = prev->next;
	}
   //此时prev指向pos之前的一个结点
    SLTNode* newnode = SLTBuyNode(x);//创建一个新结点
	prev->next = newnode;
	newnode->next = pos;
}

4.9 指定位置之后插入

   

void SLTInsertAfter(SLTNode* pos, SLTDataType x)
{
	assert(pos);//保证pos不为空
	SLTNode* newnode = SLTBuyNode(x);
	newnode->next = pos->next;
	pos->next = newnode;
}

注：newnode->next = pos->next和pos->next = newnode不能调换顺序！！

4.10 删除指定位置结点

       一般情况下，要找到pos的前一个结点prev，然后让他的next指针指向pos->next,然后再释放pos并置空，因为需要找pos的前一个元素，所以还需要考虑pos恰好就是头结点的情况！且链表为空时，删除没有意义

void SLTErase(SLTNode** pphead, SLTNode* pos)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	assert(pos);//保证pos不为空
	//pos恰好是头节点的时候，相当于头删，直接调用头删函数
	if (*pphead == pos)
	{
		SLTPopFront(pphead);
		return;
	}
	SLTNode* prev = *pphead;
	while (prev->next != pos)
	{
		prev = prev->next;
	}
	//此时prev恰好是pos的前一个结点
	prev->next = pos->next;
	free(pos);
	pos = NULL;
}

4.11 删除指定位置之后的结点

      一般情况下，令pos->next=pos->next->next因为是删除指定位置之后的结点，所以必须保证pos的后一个结点存在，要使用断言！！

void SLTEraseAfter(SLTNode* pos)
{
	assert(pos);
	assert(pos->next);
	SLTNode* del = pos->next;//接收需要释放的结点
	pos->next = pos->next->next;
	free(del);
	del = NULL;
}

4.12 销毁链表

        在顺序表中，由于其连续存放的特点，所以我们一次性就可以销毁完毕，但链表不一样，每一个结点都是独立的空间，所以需要一个结点一个结点的销毁！！

void SLTDesTory(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	SLTNode* pcur = *pphead;//用来删除
	SLTNode* next = NULL;//用来遍历
	while (pcur)
	{
		next = pcur->next;
		free(pcur);
		pcur = next;
	}
	*pphead = NULL;//告诉编译器此时*pphead不能用了
//相当于毁了第一把钥匙，那后面的即使不置空也不会被使用到！
}

为什么最后只把*pphead置空，而不把他后面的其他结点置空？？

        我们平时在动态内存释放的时候，其实空间已经返还给操作系统了，即使里面存在数据，也不影响别人的使用，因为直接覆盖就行了，所以我们之所以要置NULL，是为了防止我们写了很多代码后，忘记了其已经被释放，再去使用的话其实就是相当于使用了野指针，此时直接就会导致程序崩溃，所以置NULL，是为了让编译器提醒我们，这块空间不能被使用，在编译的时候，就可以即使地发现自己的问题。所以在这里，*pphead是找到后续链表其他结点的关键，只要*pphead被置空了，就相当于第一把钥匙丢了，那么后续的结点是不可能会被我们误用的！！！

4.13 总结

1、多次运用assert

      assert是非常暴力的，我们运用他来避免我们的错误，其实我们在实现函数接口的时候，首要的任务是分析该函数要怎么去实现，其次需要分析的就是需要传入什么参数，而在思考传入什么参数的同时，你要思考这个传进的参数有没有可能会存在导致程序崩溃的参数，或者是一个没有意义的参数，比如说assert（pphead），就是为了防止该二级指针接收了NULL，对NULL解引用的话就会崩溃，比如在涉及到需要删除操作的时候，我们必须要避免这个链表是空的，否则就没有意义了！！而且也可能会崩溃，我们用assert（*pphead），而我们需要指定位置的时候，也需要确保指定位置是存在结点的！！这样我们写的代码才会更严谨，一方面是防止自己不小心误用，更重要的一方面是防止用户的滥用去导致程序的崩溃！！

 2、链表的通用性

    与顺序表一样，由于我们对存储的数据类型进行了重命名，所以我们可以直接修改就能让该链表不仅可以实现int类型的存储，还可以是char、double、float甚至是一些自定义的结构体类型，函数接口也是基本上可以无缝衔接的，但是呢，跟顺序表一样，查找函数和打印函数是不通用的，需要需要根据具体的数据类型去修改。

五、单链表实现的所有代码

SList.h

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

typedef int SLTDataType;//方便以后该链表可以修改用来存储其他的数据
typedef struct SListNode
{
	SLTDataType data;//当前结点存储的数据
	struct SListNode* next;//当前结点保存的下一个结点的地址
}SLTNode;

SLTNode* SLTBuyNode(SLTDataType x);//新节点的申请
void SLTPushBack(SLTNode** pphead, SLTDataType x);//尾插
void SLTPushFront(SLTNode** pphead, SLTDataType x);//头插
void SLTPrint(SLTNode** pphead);//打印
void SLTPopBack(SLTNode** pphead);//尾删
void SLTPopFront(SLTNode** pphead);//头删
SLTNode* SLTFind(SLTNode** pphead, SLTDataType x);//查找
void SLTInsert(SLTNode** pphead, SLTNode* pos,SLTDataType x);//指定位置之前插入
void SLTInsertAfter(SLTNode* pos, SLTDataType x);//指定位置之后插入
void SLTErase(SLTNode** pphead, SLTNode* pos);//删除pos结点
void SLTEraseAfter(SLTNode* pos);//删除pos之后的结点
void SLTDesTory(SLTNode** pphead);//销毁链表

 SList.c

#include"SList.h"

SLTNode* SLTBuyNode(SLTDataType x)
{
	SLTNode* newnode = (SLTNode*)malloc(sizeof(SLTNode));
	if (newnode == NULL)//动态开辟失败，返回
	{
		perror("malloc fail");
		exit(1);
	}
	//开辟成功
	newnode->data = x;
	newnode->next = NULL;
	return newnode;
}

void SLTPushBack(SLTNode** pphead, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	SLTNode* newnode = SLTBuyNode(x);//创建新结点
	//链表为空时
	if (*pphead == NULL)
	{
		*pphead = newnode;
		return;
	}
	//链表不为空时，寻找尾结点
	SLTNode* ptail = *pphead;//先记录头结点
	while (ptail->next)
	{
		ptail = ptail->next;
	}
	//遍历完后，此时ptail就是尾结点
	ptail->next = newnode;
}


void SLTPushFront(SLTNode** pphead, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	SLTNode* newnode = SLTBuyNode(x);//创建新结点
	newnode->next= *pphead;//新节点的next指针指向原来的头节点
	*pphead = newnode;//newnode成为新的头节点
}

void SLTPrint(SLTNode** pphead)//保持接口一致性
{
	SLTNode* pcur = *pphead;
	while (pcur)
	{
		printf("%d->", pcur->data);
		pcur = pcur->next;
	}
	printf("NULL\n");
}

void SLTPopBack(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	//链表中只有一个结点的时候
	if ((*pphead)->next == NULL)//->的优先级大于* 所以要在*pphead上加括号
	{
		free(*pphead);
		*pphead = NULL;
		return;
	}
	//链表中有多个结点的时候
	SLTNode* ptail= *pphead;//用来遍历链表，最后释放尾结点
	SLTNode* prev = NULL;//用来记录尾结点的前一个结点
	while (ptail->next)
	{
		prev = ptail;
		ptail = ptail->next;
	}
	//此时prev恰好是尾结点的前一个结点
	prev->next = NULL;
	//此时ptail恰好是尾结点，将其释放并置空
	free(ptail);
	ptail = NULL;
}

void SLTPopFront(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	SLTNode* next = (*pphead)->next;//释放头节点前，先让next接收头节点的下一个结点
	free(*pphead);//释放头节点
	*pphead = next;//让next（原来的第二个结点）成为新的头节点
}

SLTNode* SLTFind(SLTNode** pphead, SLTDataType x)
{
	SLTNode* pcur = *pphead;
	while (pcur)
	{
		if (pcur->data == x)
			return pcur;//找到，则返回该结点
		pcur = pcur->next;
	}
	//循环结束了还没找到，则返回NULL
	return NULL;
}

void SLTInsert(SLTNode** pphead, SLTNode* pos, SLTDataType x)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	assert(pos);//保证pos不为空
	
	//当pos就是头结点的时候，相当于头插
	if (*pphead = pos)
	{
		SLTPushFront(pphead, x);
		return;
	}
	//当pos不是头节点的时候，要找pos的前一个结点
	SLTNode* prev = *pphead;
	while (prev->next != pos)
	{
		prev = prev->next;
	}
   //此时prev指向pos之前的一个结点
    SLTNode* newnode = SLTBuyNode(x);//创建一个新结点
	prev->next = newnode;
	newnode->next = pos;
}

void SLTInsertAfter(SLTNode* pos, SLTDataType x)
{
	assert(pos);//保证pos不为空
	SLTNode* newnode = SLTBuyNode(x);
	newnode->next = pos->next;
	pos->next = newnode;
}

void SLTErase(SLTNode** pphead, SLTNode* pos)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	assert(pos);//保证pos不为空
	//pos恰好是头节点的时候，相当于头删，直接调用头删函数
	if (*pphead == pos)
	{
		SLTPopFront(pphead);
		return;
	}
	SLTNode* prev = *pphead;
	while (prev->next != pos)
	{
		prev = prev->next;
	}
	//此时prev恰好是pos的前一个结点
	prev->next = pos->next;
	free(pos);
	pos = NULL;
}

void SLTEraseAfter(SLTNode* pos)
{
	assert(pos);
	assert(pos->next);
	SLTNode* del = pos->next;//接收需要释放的结点
	pos->next = pos->next->next;
	free(del);
	del = NULL;
}

void SLTDesTory(SLTNode** pphead)
{
	assert(pphead);//保证传入的参数不是NULL
	assert(*pphead);//保证链表不为空
	SLTNode* pcur = *pphead;//用来删除
	SLTNode* next = NULL;//用来遍历
	while (pcur)
	{
		next = pcur->next;
		free(pcur);
		pcur = next;
	}
	*pphead = NULL;//告诉编译器此时*pphead不能用了
}

       在封装每一个函数的时候尽量自己去写，然后创建一个test.c去测试，自己找问题效果会更好哦！！！

# c语言 # 数据结构 # c++ # 开发语言
Logo
开放原子开发者工作坊

开放原子开发者工作坊旨在鼓励更多人参与开源活动，与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动，如meetup、训练营等，主打技术交流，干货满满，真诚地邀请各位开发者共同参与！

更多推荐

第二届开放原子大赛首批创新成果集结武汉，诚邀广大开发者共鉴开源技术盛宴

第二届开放原子大赛首批创新成果集结武汉，诚邀广大开发者共鉴开源技术盛宴

avatar 开放原子开发者工作坊

诚邀报名 | 开源基础设施能力建设分论坛：打造开源生态的“心脏”

诚邀报名 | 开源基础设施能力建设分论坛：打造开源生态的“心脏”

avatar 开放原子开发者工作坊

诚邀报名 | 编程语言分论坛：AI时代的技术革新与开源实践

诚邀报名 | 编程语言分论坛：AI时代的技术革新与开源实践

avatar 开放原子开发者工作坊