双向链表的结点增删细节（p-＞next-＞prior = s是啥意思，p-＞next-＞prior究竟代表下一个结点的prior指针还是p本身）

一，写在开头

最近在看双向链表，其中双向链表的结点增删操作代码困扰了我很久，下面就写下一些自己的感悟，大家轻点喷。

二，相关代码

#include
#include
using namespace std;
typedef struct student{
	int data;
	student* prior;
	student* next;
}stu;//如果看不懂上面这段代码的typedef，请参考文章：https://blog.csdn.net/cuizhiyi2008/article/details/102804702 
void output(stu* head,int size){//输出函数 ,按顺序输出链表中各个结点的data 
	cout<<"in output:"<next != NULL && count<=20;  p=p->next,count++)
	{
		cout<<"第"<data<

运行结果：

 

 三，相关解释

首先，在新结点（设为knot，指针q指向这个结点）插入到链表中的k位置之前时，假设指针p指向第k个位置的结点。那么p->next->prior的内容，p->prior->next的内容，p的内容，这三者相同，都是第k个结点的地址。

插入结点函数的核心代码如下：

//下面这四句代码是插入新结点 
	p->prior->next = q;
	q->prior = p->prior;
	q->next = p;
	q->next->prior = q;

第一句代码中，p->prior->next在这代表了第k-1结点的next指针，而不是p本身，这二者只是内容相同而已，或者说它们指向同一对象，所以，p->prior->next->data == p->data。当只出现p->prior时，我们可以将p->prior理解为p所指结点的prior指针，当出现p->prior->next时，我们把p->prior理解为p所指结点的前一个结点，也即第k-1个结点，进而将p->prior->next理解成第k-1结点的next指针。

所以，第一句的作用就是将新结点的地址赋给第k-1结点的next指针。

 执行第二句q->prior = p->prior;时，p->prior不是指向新结点，而是指向第k-1结点。所以这句代码的意思就是，将第k-1结点的地址赋给q所指结点的prior指针。

第三句q->next = p;就是让q所指结点的next指针指向第k个结点（p的内容是第k个结点的地址）。

第四句q->next->prior = q;的意思不等价于代码q=q;，事实上，在这里的时候，q->next指向第k个结点，所以这里的q->next可替换成p(p内容就是第k个结点的地址）。但是替换后的p->prior不指向新结点（也即：p->prior不能替换成q)，而是指向第k-1结点。所以这句代码就是让p所指结点（第k结点）的prior指针指向q。

看懂这些了，那么你就基本上理解双向链表增删中的细节了。

类似地，我们可以将插入函数的核心代码改写成这么几种形式：

    q->next = p;
    q->prior = p->prior;
    q->prior->next = q;
    q->next->prior = q;

	q->prior = p->prior;
	p->prior = q;
	q->prior->next = q;
	q->next = p;

大家看看还能不能写出一种来呢？练习一下加深印象，在评论区告诉大家。

参考答案在：20220729-1参考答案_fly_view的博客-CSDN博客

四，写在最后：

如有错误，敬请指正，礼貌交流，感激不尽