用C语言链表实现多项式相加：从PTA真题到避坑指南（含完整测试代码）

多项式相加是数据结构课程中的经典问题，也是PTA平台上的常见考题。对于C语言初学者来说，用链表实现这一功能既能巩固指针操作，又能深入理解链表结构的应用场景。本文将带你从零开始构建一个健壮的多项式相加程序，重点解析那些教科书上不会告诉你的"坑点"。

1. 理解题目与数据结构设计

多项式在计算机中的表示方式直接影响算法效率。我们选择链表而非数组，因为多项式通常稀疏（多数项系数为0），链表能更灵活地处理这种情况。

关键数据结构定义：

c复制typedef struct Node *PtrToNode;
struct Node {
    int Coefficient;  // 系数
    int Exponent;     // 指数
    PtrToNode Next;   // 下一个节点指针
};
typedef PtrToNode Polynomial;

为什么使用哑元头节点？ 哑元头节点（dummy head）有三大优势：

1. 统一处理空链表和非空链表的情况
2. 简化插入操作的边界条件判断
3. 明确标识链表起始位置，避免指针丢失

2. 多项式相加的核心算法

多项式相加采用双指针遍历法，时间复杂度O(m+n)。基本思路类似于合并两个有序链表，但需要处理指数相同项的系数相加。

算法步骤：

1. 创建结果链表的哑元头节点
2. 初始化两个指针分别指向两个多项式的首项
3. 比较当前两项的指数：
   • 指数不等：将较大项链接到结果链表
   • 指数相等：系数相加，若结果非零则创建新节点
4. 将剩余非空多项式的节点直接链接到结果链表

c复制Polynomial Add(Polynomial a, Polynomial b) {
    Polynomial newList = (Polynomial)malloc(sizeof(struct Node));
    newList->Next = NULL;
    Polynomial cur = newList;
    Polynomial pa = a->Next, pb = b->Next;
    
    while (pa && pb) {