《王道》递归删除链表节点不断链的问题

《王道》递归删除链表节点不断链的问题

先附上正确代码：

void Del_X(LinkList &L,int x){
	LNode* p=NULL;
	if(L==NULL) return;
	if(L->data==x){
		p=L;
		L=L->next;
		free(p);
		p=NULL;
		Del_X(L,x);
	}
	else  
		Del_X(L->next,x);
}

递归调用该删除函数链不会断的关键在于else后面调用的是 Del_X(L->next,x) 也就是之后的所有递归调用改变的是L->next，后面对链表的所有改动都是与头节点相关的，在递归过程中每个节点都知道自己的前面节点是谁。

相反如果对函数做一点小的修改：

void Del_X(LinkList &L,int x){
	LNode* p=NULL;
	LNode* q=NULL;
	if(L==NULL) return;
	if(L->data==x){
		p=L;
		L=L->next;
		free(p);
		p=NULL;
		Del_X(L,x);
	}
	else {
		q=L->next;
		Del_X(q,x);
	}
}

程序就会出错，这是因为此时在else后面调用的是 Del_X(q,x) ，之后的所有递归调用改变的是q，虽然它的值等于等于头节点的T->next,但是本质上它是独立出来的一个变量，后续递归调用时改变的是q的相关值而与头节点T无关了。联系不上之前的节点，自然就会断链。

完整代码如下：

#include <stdio.h>
#include <stdlib.h>

#define TRUE 1
#define FALSE 0
#define OK 1
#define ERROR 0
#define OVERFLOW -2

typedef int ElemType;
typedef int Status;

/*
 * 存储结构
 */
typedef struct LNode
{
    ElemType data;
    struct LNode *next;
}LNode, *LinkList;

/*
 * 初始化线性表
 */
void InitList(LinkList *L)
{
    *L = (LinkList) malloc(sizeof(LNode));
    if (!L)
    {
        exit(OVERFLOW);
    }
    (*L)->next = NULL;
}

/*
 * 销毁线性表
 */
void DestroyList(LinkList *L)
{
    LinkList temp;
    while (*L)
    {
        temp = (*L)->next;
        free(*L);
        *L = temp;
    }
}

/*
 * 清空线性表
 */
void ClearList(LinkList L)
{
    LinkList p = L->next;
    L->next = NULL;
    DestroyList(&p);
}

/*
 * 判断是否为空
 */
Status isEmpty(LinkList L)
{
    if (L->next)
    {
        return FALSE;
    }
    else
    {
        return TRUE;
    }
}

/*
 * 获取长度
 */
int GetLength(LinkList L)
{
    int i = 0;
    LinkList p = L->next;
    while (p)
    {
        i++;
        p = p->next;
    }
    return i;
}

/*
 * 根据位置获取元素
 */
Status GetElem(LinkList L, int i, ElemType *e)
{
    int j = 1;
    LinkList p = L->next;
    while (p && j < i)
    {
        j++;
        p = p->next;
    }
    if (!p || j > i)
    {
        return ERROR;
    }
    *e = p->data;
    return OK;
}

/*
 * 比较两个元素是否相等
 */
Status compare(ElemType e1, ElemType e2)
{
    if (e1 == e2)
    {
        return 0;
    }
    else if (e1 < e2)
    {
        return -1;
    }
    else
    {
        return 1;
    }
}

/*
 * 查找指定元素的位置
 */
int FindElem(LinkList L, ElemType e, Status (*compare)(ElemType, ElemType))
{
    int i = 0;
    LinkList p = L->next;
    while (p)
    {
        i++;
        if (!compare(p->data, e))
        {
            return i;
        }
        p = p->next;
    }
    return 0;
}

/*
 * 获取前驱元素
 */
Status PreElem(LinkList L, ElemType cur_e, ElemType *pre_e)
{
    LinkList q, p = L->next;
    while (p->next)
    {
        q = p->next;
        if (q->data == cur_e)
        {
            *pre_e = p->data;
            return OK;
        }
        p = q;
    }
    return ERROR;
}

/*
 * 获取后继元素
 */
Status NextElem(LinkList L, ElemType cur_e, ElemType *next_e)
{
    LinkList p = L->next;
    while (p->next)
    {
        if (p->data == cur_e)
        {
            *next_e = p->next->data;
            return OK;
        }
        p = p->next;
    }
    return ERROR;
}

/*
 * 插入元素
 */
Status InsertElem(LinkList L, int i, ElemType e)
{
    int j = 0;
    LinkList s, p = L;
    while (p && j < i - 1)
    {
        j++;
        p = p->next;
    }
    if (!p || j > i - 1)
    {
        return ERROR;
    }
    s = (LinkList) malloc(sizeof(LNode));
    s->data = e;
    s->next = p->next;
    p->next = s;
    return OK;
}

/*
 * 删除元素并返回值
 */
Status DeleteElem(LinkList L, int i, ElemType *e)
{
    int j = 0;
    LinkList q, p = L;
    while (p->next && j < i - 1)
    {
        j++;
        p = p->next;
    }
    if (!p->next || j > i - 1)
    {
        return ERROR;
    }
    q = p->next;
    p->next = q->next;
    *e = q->data;
    free(q);
    return OK;
}

/*
 * 访问元素
 */
void visit(ElemType e)
{
    printf("%d ", e);
}

/*
 * 遍历线性表
 */
void TraverseList(LinkList L, void (*visit)(ElemType))
{
    LinkList p = L->next;
    while (p)
    {
        visit(p->data);
        p = p->next;
    }
}

void Del_X(LinkList &L,int x){//正确代码
	LNode* p=NULL;
	LNode* q=NULL;
	if(L==NULL) return;
	if(L->data==x){
		p=L;
		L=L->next;
		free(p);
		p=NULL;
		Del_X(L,x);
	}
	else 
		Del_X(L->next,x);
}

//void Del_X(LinkList &L,int x){//错误代码
//	LNode* p=NULL;
//	LNode* q=NULL;
//	if(L==NULL) return;
//	if(L->data==x){
//		p=L;
//		L=L->next;
//		free(p);
//		p=NULL;
//		Del_X(L,x);
//	}
//	else {
//		q=L->next;
//		Del_X(q,x);
//	}
//}

int main()
{
    LinkList L;
    InitList(&L);
    ElemType e;
    int i;
    if (L)
    {
        printf("init success\n");
    }

    if (isEmpty(L))
    {
        printf("list is empty\n");
    }

    for (i = 0; i < 10; i++)
    {
        InsertElem(L, i + 1, i);
    }


    TraverseList(L,visit);
	Del_X(L,3);
    printf("\n");
    TraverseList(L,visit);
    return 0; 
}