为什么C语言链表节点创建时需要显式将next字段设置为NULL？

首先纠正你之前思考的误区：显式将next赋值为NULL恰恰是为了降低未定义行为出现的概率，是链表实现中的标准规范操作，核心原因如下：

• malloc申请的堆内存默认是未初始化的，返回的内存空间存储的都是随机垃圾值。如果不对next字段做赋值，该字段会是一个野指针，不是天然为空的状态。
• 链表的通用遍历逻辑都是以next == NULL作为遍历终止的判断条件。如果新节点的next是随机值，后续把这个节点加入链表之后，遍历操作根本无法正确判断结束位置，会非法访问内存，轻则触发段错误，重则静默篡改其他业务数据，排查难度极高。
• 作为封装的节点创建函数，你有义务保证返回的对象所有字段都处于合法、可预期的状态。行业默认约定NULL代表「当前节点没有后继节点」，你初始化好next = NULL，调用方拿到节点之后不需要额外处理这个字段就能直接使用，符合封装的原则。
• 就算调用方误操作解引用了next字段，NULL指针解引用会直接触发崩溃，反而方便快速定位问题；如果是野指针，很可能碰巧指向一块合法内存，出现逻辑异常但不崩溃，这类隐性bug的排查成本会高很多。

内容的提问来源于stack exchange，提问作者Neel Sandell