递增的整数序列链表的插入

本题要求实现一个函数，在递增的整数序列链表（带头结点）中插入一个新整数，并保持该序列的有序性。

函数接口定义：

List Insert( List L, ElementType X );

其中List结构定义如下：

typedef struct Node *PtrToNode; struct Node { ElementType Data; /* 存储结点数据 */ PtrToNode Next; /* 指向下一个结点的指针 */ }; typedef PtrToNode List; /* 定义单链表类型 */

L是给定的带头结点的单链表，其结点存储的数据是递增有序的；函数Insert要将X插入L，并保持该序列的有序性，返回插入后的链表头指针。

裁判测试程序样例：

#include #include typedef int ElementType; typedef struct Node *PtrToNode; struct Node { ElementType Data; PtrToNode Next; }; typedef PtrToNode List; List Read(); /* 细节在此不表 */ void Print( List L ); /* 细节在此不表 */ List Insert( List L, ElementType X ); int main() { List L; ElementType X; L = Read(); scanf("%d", &X); L = Insert(L, X); Print(L); return 0; } /* 你的代码将被嵌在这里 */

输入样例：

5
1 2 4 5 6
3

输出样例：

1 2 3 4 5 6 

代码长度限制

16 KB

时间限制

400 ms

内存限制

64 MB

AC代码：

List Insert( List L, ElementType X ){
    List tail=(List)malloc(sizeof(struct Node));
    tail->Data=X;
    tail->Next=NULL;

    
    List head = L;
    while(L->Next!=NULL && L->Next->Data<=X){//重点易错
        L=L->Next;
    }
    tail->Next=L->Next;
    L->Next=tail;
    return head;
}

这题简单归简单但却花了我半个钟头去调试才发现关键问题，如果你搜索到本篇博客并看到这里，是不是跟我有一样的问题——while循环中&&的左右两个条件按上面写的是正确的，互换后就被判断是段错误？如果被我猜中的话，不妨点个小赞（hhh）

那么揭晓原因->

首先本题的思路是，寻找比待插入结点(data为X)data更小的结点，显然我们要找的就是待插入结点插入链表后的前驱结点，也就是代码中的①L->Next->Data<=X条件的由来

但要考虑一个特殊情况：如果X比链表已有结点的所有data都大，这个情况新结点应该是插在链表尾部的，但是上面那个①条件是不符合这个特殊情况的，因为这时L->Next是空指针，怎么能够去访问空指针的Data呢？所以额外判断②L->Next!=NULL

而且，①和②一定是先判断②才行，即②&&①，因为当L指向尾结点时，L->Next已经为NULL，这时是不存在Data的（即非法访问空指针），必须避免这个问题，

解决办法就是先判断②L->Next!=NULL,然后根据&&这个短路与的特性，只要前面的条件为假，整体必然为假，就不判断后面的条件（一假必为假，全真才为真）

因此，有了这题作为前车之鉴，以后一定要更加小心对空指针的非法访问了！