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

一，写在开头

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

二，相关代码

#include<iostream>
#include<stdlib.h>
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:"<<endl;
	stu *p;
	int count = 1;
	for(p=head; p->next != NULL && count<=20;  p=p->next,count++)
	{
		cout<<"第"<<count<<"个结点,data="<<p->data<<endl;
		//delete p;
	}
	cout<<"第"<<count<<"个结点,data="<<p->data<<endl;
}
void delete_1(stu *head,int position){//删除位于position的结点 
	stu *p;
	int i; 
	for(i=1,p=head;i<position;i++)p=p->next;//让p到达指定位置 

	//从原链表中解绑p所指结点 
	p->prior->next = p->next;
	p->next->prior = p->prior;
	delete p;
	
	output(head,10);//输出操作后的链表 
} 
void insert_1(stu *head,int position,int value){//在第position个结点的前面插入一个结点 
	
	stu *p,*q;//指针p会指向position位置的结点，指针q会指向新结点，到时候新结点的插入就依靠这两个指针 
	int i; 
	for(i=1,p=head;i<position;i++)p=p->next;//让p到达指定位置 

	q = (stu*)malloc(sizeof(stu));
	q->data = value;//给新结点的data赋值 
	//下面这四句代码是插入新结点 
	p->prior->next = q;
	q->prior = p->prior;
	q->next = p;
	q->next->prior = q;
	
	output(head,10);//输出操作后的结果 
	
}
int main(){
	stu *head,*p;//head是链表头指针 
	int i;
	stu text[10];//用结构体数组来描述链表 
	
	p = head = text;
	for(i=0;i<10;i++)//初始化结构体数组 
	{ 
		p->data = i + 10;
		if(i != 0)p->prior = &text[i-1];
		else p->prior = NULL;
		if(i != 9)p->next = &text[i+1];
		else p->next = NULL;
		p = p->next;
		
	}
	cout<<"链表初始内容----------------------------------------------------------------"<<endl; 
	output(head,10);//输出链表中的内容 
	cout<<"第一次插入后----------------------------------------------------------------"<<endl; 
	insert_1(head,5,1111);//在第5个结点位置前面插入一个结点，这个结点的data成员的值为1111 
	cout<<"第二次插入后----------------------------------------------------------------"<<endl; 
	insert_1(head,5,2222);//在前面的基础上，在第5个结点的位置前面插入一个结点，这个结点的data成员的值为2222 
	cout<<"第三次，删除结点后----------------------------------------------------------------"<<endl; 
	delete_1(head,5);
	return 0;
} 

运行结果：

 

 三，相关解释

首先，在新结点（设为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博客

四，写在最后：

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