稀疏矩阵加法中，变量存储方式直接影响运算效率和内存开销：定位变量（如r、c）决定指针跳转路径，值变量（如val、sum）需精度判断，指针变量（right/down及头数组）须malloc分配并成对释放，生命周期短但需严格管理。

稀疏矩阵加法中，变量存储方式直接影响运算效率和内存开销。用传统二维数组存一个 10000×10000 的矩阵，哪怕只有 0.1% 非零元（即 10⁵ 个），也要占 800mb 内存；而十字链表只存实际数据+指针，通常不到 2mb。关键不在“要不要省”，而在“怎么让变量配合运算逻辑高效流转”。

加法过程中的核心变量分类

实现加法时，并非所有变量都同等重要。真正需要精细管理的是三类变量：

• 定位变量：如当前遍历的行号 r、列号 c，用于同步两个输入矩阵的节点位置。它们不参与计算，但决定指针跳转路径，必须保持严格有序——插入前需检查 r 是否递增、c 在同行内是否升序，否则链表断裂会导致漏加或重复。
• 值变量：非零元的 val，以及临时和 sum = a->val + b->val。注意浮点运算需判断 fabs(sum) > EPS 再插入，避免因精度问题残留无效零值节点。
• 指针变量：每个节点的 right 和 down，还有行头数组 rhead[i]、列头数组 chead[j]。这些不是普通变量，而是结构体成员指针，分配时需用 malloc 独立申请，释放时必须成对清理，否则内存泄漏会随矩阵规模指数增长。

变量生命周期与内存管理

十字链表加法是典型的“边遍历、边构造”过程，变量生命周期短但频次高：

• 临时节点指针（如 new_node）应在确定插入后立即赋值，插入失败则立刻 free，不可复用旧指针；
• 行/列遍历指针（如 a_row_p, b_col_p）应始终指向当前处理位置，避免用全局变量跨函数传递，防止多线程下状态污染；
• 结果矩阵的头指针数组（res.rhead, res.chead）必须在创建时用 calloc 初始化为 NULL，否则未初始化的野指针会导致段错误。

避免常见变量误用陷阱

实战中最易出错的不是算法逻辑，而是变量使用细节：

• 把 row 和 col 存成 unsigned int：一旦涉及减法（如查找前驱），下溢会引发不可预测行为，统一用有符号 int 更安全；
• 在插入节点时只更新 right 指针却忘了 down：十字链表依赖双向索引，单侧更新等于破坏列维度，后续按列访问将失效；
• 用同一个变量反复接收 scanf 输入却不校验返回值：若用户输错格式，i, j, e 可能保持旧值，导致节点插到错误位置甚至越界写入。

轻量级变量优化技巧

在嵌入式或高频调用场景下，可进一步压缩变量开销：

• 将行列坐标打包进一个 uint32_t：高16位存 row，低16位存 col，节省一次指针解引用；
• 对小规模稀疏矩阵（非零元＜500），用栈上数组代替堆分配的头指针数组，避免 malloc 调用开销；
• 加法中不保存中间结果矩阵的 tu（非零元总数），而是在插入时用原子计数器统计，减少字段冗余。