C语言链表代码新增函数后未达调用点就锁死故障排查

已知故障复现条件：

• 未新增合并同类项函数时，多项式链表代码可正常执行完毕，输出结果完全正确
• 新增combineLikeTerms合并同类项函数后，程序执行流还未走到该函数的调用位置，就出现锁死无响应
• 作业限制仅允许修改printandcombine.c及其对应头文件，其余源码、Makefile配置不得改动

别死磕你写的合并同类项函数内部逻辑，这问题和该函数内部实现没有任何关系——执行流根本没跑到调用位置，故障本质是printandcombine.c及对应头文件里原本就存在C语言未定义行为，之前能正常运行完全是编译器内存布局刚好凑巧触发了“正常表现”：新增函数后可执行文件的代码段、数据段偏移发生变化，之前刚好凑出让程序正常运行的内存条件被打破，直接触发死循环/野指针访问，表现为程序锁死。

高概率故障点（按出现优先级排序） #

• 全局符号重名覆盖：实现合并函数时，在printandcombine.c的全局作用域定义了临时指针、缓存变量等，没有加static修饰作用域，刚好和其他编译单元中存储链表头指针、遍历游标的全局变量重名。C语言全局强符号链接时会直接合并，相当于从程序启动开始，你就把原来存储链表有效地址的变量给覆盖成了未知值，链表结构从初始化阶段就被破坏，遍历逻辑直接跑飞。
• 结构体定义不一致：修改printandcombine.h加函数声明时，不小心改动了PolyNode多项式结点的结构体定义（比如多写/少写成员、改了成员顺序/类型），导致printandcombine.c中计算出的结构体大小、next指针的成员偏移量和其他编译单元不一致，操作结点读写next指针时写到了错误的内存位置，直接破坏链表链式结构。
• 遍历逻辑依赖未定义值：原打印函数的链表遍历逻辑存在边界错误，依赖尾结点的next指针值恰好为NULL才能终止循环，但创建结点时从来没有显式给next指针赋值NULL，纯靠malloc返回的堆内存残留的0值凑数。内存布局变化后，尾结点next指向的未初始化内存不再是0，被识别为有效结点地址，遍历逻辑顺着野指针无限跑，陷入死循环。
• 全局作用域存在非法执行语句：在printandcombine.c的函数外部直接写了链表遍历、结点赋值、内存分配的执行语句，这类代码会在main函数启动前就被执行，直接篡改内存数据破坏链表结构。

所有修改均限定在printandcombine.c和printandcombine.h范围内，按以下步骤排查修复：

1. 检查头文件一致性
   • 确认printandcombine.h中PolyNode结构体的成员顺序、类型、数量和其余源码文件中的定义完全一致，没有误改
   • 新增的合并同类项函数声明格式正确，返回值、参数列表和后续实现匹配，不要在头文件中定义全局变量，仅保留函数声明、结构体定义、宏定义即可
2. 处理全局符号冲突
   • 所有为实现合并函数新增的全局变量、临时结点缓存，全部加static修饰，将作用域限制在当前编译单元内，避免和其他文件的全局符号重名
   • 所有业务逻辑（包括内存分配、链表操作）必须放在函数内部，禁止在全局作用域写可执行语句
3. 修复链表遍历逻辑
   将原打印函数的遍历逻辑改为安全的空指针优先判断写法，完全不依赖内存残留值：

   void printPoly(PolyNode *head) {
       PolyNode *p = head;
       // 先判断当前指针是否有效，再访问结构体成员，遇到NULL立即终止遍历
       while (p != NULL) {
           // 此处保留原有的系数、指数打印格式逻辑
           printf("%dx^%d ", p->coef, p->exp);
           p = p->next;
       }
       printf("\n");
   }
   

4. 显式初始化所有结点指针
   只要是在printandcombine.c内通过malloc创建的新结点，必须显式将next指针赋值为NULL，不要依赖malloc返回内存的原始值。

验证方法 #

修复完成后，先把合并同类项函数的函数体留空（仅保留函数壳，内部不写任何逻辑），重新编译运行。如果此时程序可以正常执行到原有输出位置、打印结果正确，说明内存布局、未定义行为相关的bug已经完全修复，后续再填充合并同类项的内部逻辑即可，不会再出现提前锁死的问题。

内容的提问来源于stack exchange，提问作者Riley Branting