三元组稀疏矩阵加法不能直接按行遍历，因为输入三元组通常未按(row, col)字典序排序，强行逐行双指针会漏项或重复访问；正确做法是先统一排序再归并，或用std::map临时聚合以避免显式排序，同时需用容差（如abs(sum) > 1e-12）过滤浮点零值以保障稀疏性。
三元组稀疏矩阵加法为什么不能直接按行遍历？
因为两个 std::vector 存储的三元组（row, col, val）通常不按相同顺序排列，甚至行列索引都未排序。若强行双指针逐行扫描，会漏掉跨行/跨列的匹配项，或重复访问——本质是把稀疏结构当成了稠密坐标系处理。
正确做法是先按 (row, col) 字典序统一排序，再归并。但排序本身有开销，所以实际中更推荐：用 std::map<:pair int>, double></:pair> 或 std::unordered_map 作临时聚合容器，避免显式排序。
-
std::map自带有序性，后续转三元组时天然按行主序；适合需要输出标准 CSR/CSC 格式或要求结果有序的场景 -
std::unordered_map哈希更快，但需额外调用std::sort对键排序，否则输出顺序不可控 - 若输入三元组已按
(row, col)排序（如来自 Matrix Market 文件），可直接双指针归并，时间复杂度降为O(nnz1 + nnz2)
如何避免浮点零值污染结果？
稀疏矩阵加法中，a[i][j] + b[i][j] 可能产生极小浮点数（如 1e-16），这类“数值上为零但内存不为零”的项必须剔除，否则破坏稀疏性，后续运算（如 SpMV）性能断崖下跌。
关键不是简单判断 == 0.0，而是引入容差（tolerance）。但容差设太大会误删有效小值（如病态系统中的合法微小系数），设太小又留不住噪声。
立即学习“C++免费学习笔记（深入）”；
- 通用做法：用相对容差
abs(val) ，其中 <code>tol取1e-12~1e-10 - 若所有输入数据为整数或定点数，可用精确比较
std::abs(val) 即可 - 务必在插入聚合容器前做判断，而不是等全部加完再过滤——减少哈希桶或树节点冗余
格式化输出时怎么控制列宽与对齐？
调试或导出到外部工具（如 MATLAB、Python scipy）时，三元组文本需可读性强。C++ 默认 std::cout 输出浮点数易出现科学计数法或位数过多，导致列错位。
用 std::fixed 和 std::setprecision 控制小数位数，但要注意：过长的数字仍会撑开列宽，必须手动截断或格式化对齐。
- 推荐组合：
std::setw(6)控制整数行列索引宽度，std::setw(12)+std::setprecision(6)控制浮点值 - 避免用
std::left左对齐数值——负号会破坏对齐，统一用std::right - 若值可能为
inf或nan，需提前检查并替换为字符串（如"INF"），否则std::ostream输出不可预测
for (const auto& [pos, val] : result_map) {
std::cout << std::setw(6) << pos.first
<< std::setw(6) << pos.second
<< std::setw(12) << std::fixed << std::setprecision(6) << val
<< '\n';
}
性能瓶颈常卡在 map 插入还是内存分配？
实测表明，当非零元数量超过 10⁵ 级别时，std::map 的红黑树插入（O(log n) 每次）成为主要开销；而 std::unordered_map 虽平均 O(1)，但哈希冲突和 rehash 会导致毛刺。真正拖慢的往往是频繁的小内存分配——每个 std::pair 插入都触发堆分配。
- 预分配：用
reserve(nnz1 + nnz2)减少 rehash；对std::map无用，但std::unordered_map必须做 - 避免拷贝：用
emplace_hint（map）或try_emplace（unordered_map）原地构造键值对 - 终极优化：改用静态数组 + 手动哈希表（如 robin_hood::unordered_map）或预分配池，但仅在百万级 nnz 且 profile 确认瓶颈在此时才值得
多数场景下，用 std::unordered_map + reserve + try_emplace 就已足够，比手写哈希表更稳且易维护。
