首先 我們來看這個函式

typedef int Ele;
typedef struct list{
	Ele data;
	list *next;	
}List,*LNode;

void dele2(LNode &l,Ele e){
	if(l==NULL)return;
	printf("Hello!!\n");
	printf("to %d\n",l);
	if(l->data==e){
		LNode p = l;
		l = l->next;//***
		free(p);
		dele2(l,e);
	}
	
	else dele2(l->next,e);
	printf("back %d\n",l);
}
 

這個函式就是將連結串列中所有為x的節點全部刪除的操作

但是傳參的時候傳入的是一個指向連結串列節點指標的引用型別 也就是說在其中打***的地方 

不會因為沒有把前面的節點連結到後面而導致斷鏈 相反

這裡的l = l->next 是把當前節點的地址指向了後面

比如對於1 3 1這個連結串列 刪除3操作

第一次走到1 那麼遞迴層數加1時 呼叫dele2(l->next,e); 相當於（*l）.next 將該指標所指向的next域的值

取出來並付給更深一層的引數 也就是引用指標&l 那麼在此時在刪除3時

會觸發***處的操作 那麼這裡的操作實質上是 (*l).next = (*(*l).next).next

就相當於直接在1節點的next值修改成了 最後一個節點的地址 也就是相當於整個遞迴過程中對引用指標的操作其實就是對原表

操作

那麼引用就是這樣

在遞迴呼叫的時候 可以直接對原表操作 而且無視可能的斷鏈情況

再來看一個函式

void delehead(LNode &p,Ele x){

	while(p!=NULL){		
		if(p->data == x){
			LNode q = p;
			p = p->next;
		//	pre->next = p;
			free(q);
		}
		else {
		//	pre = p;
			p = p->next;			
		}
	}
}
 

相同的操作 就是把遞迴改成非遞迴了 相同的是引用 但是這種情況下 就會導致斷鏈

因為當在遞迴中使用引用的過程時 遞迴結束時會把一層層加上的取值操作符再把取值操作符一層層摘掉

而這裡卻是讓p不斷指向next 指到最後變成空 因為這裡沒有遞迴函式中返回的操作

1 3 1中執行結束的時候 遞迴不斷返回後 原指標指向的是首節點 

而非遞迴中由於沒有返回操作 會不斷地讓頭指標所指向的值一直向後走 最後使頭指標

指到最後的NULL處

所以應另外使用指標非指標引用 這樣不會修改原表的地址 並且附加前後連結操作

如果為了防止首元素刪除導致頭指標找不到首節點 應該另外設定頭結點 或者 用計數另外記錄下修改後頭指標

應指向的位置 所以應改為

void delehead(LNode &l,Ele x){
    // l指向頭結點
	LNode p = l->next,pre = l;
	// p指向頭節點的後繼節點 pre指向頭節點 
	// no head node
	while(p!=NULL){		
		if(p->data == x){
			LNode q = p;
			p = p->next;
			pre->next = p;
			free(q);
		}
		else {
			pre = p;
			p = p->next;			
		}
	}
}

這樣就處理了非遞迴情況下對連結串列中刪除任意位置值為x的操作 如果這裡用頭指標的單鏈表

會可能導致由於第一個節點的釋放從而頭指標指向了一個釋放記憶體的地址