三元组相加不能暴力合并，因稀疏矩阵非零元在row、col上均无序，暴力双循环复杂度达O(nnz₁×nnz₂)；高效做法是先按(row,col)字典序排序，再双指针归并，复杂度降为O(nnz₁+nnz₂)。
三元组相加为什么不能直接按行索引暴力合并？
因为稀疏矩阵的非零元在 row 和 col 上都无序，哪怕按 row 排过序，同一行内 col 仍可能乱序；暴力双循环匹配会导致 O(nnz₁ × nnz₂) 时间复杂度，10⁵ 级非零元时就卡死。
真正高效的做法是：先按 (row, col) 字典序对两个三元组数组分别排序（用 std::sort 配自定义比较器），再用类似归并排序的双指针单趟扫描——每个非零元最多被访问一次，总复杂度 O(nnz₁ + nnz₂)。
- 排序必须稳定：
std::sort默认不稳定，但三元组本身无重复键时不影响结果；若需保留原始插入顺序（极少场景），改用std::stable_sort - 比较器要严格：返回
a.row != b.row ? a.row ，不能漏掉 <code>col分支，否则同行列冲突会错位 - 归并时注意：当
(r1,c1) == (r2,c2)，值相加后只存一个；走左，<code>>走右，避免漏项
如何避免 vector 频繁扩容拖慢三元组构建？
归并过程中新非零元数量未知，但可设上限：最大为 nnz₁ + nnz₂（全不重合），最小为 max(nnz₁, nnz₂)（全重合）。直接 reserve() 能省掉至少 90% 的内存重分配开销。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 初始化结果容器前，先调用
result.reserve(a.size() + b.size()) - 不要用
push_back()逐个塞，改用emplace_back(row, col, val)避免临时对象构造 - 若后续要转 CSR 格式，预留空间时额外 +1 给
row_ptr数组（长度为 rows+1）
格式化输出时为何 printf 比 std::cout 快得多？
稀疏矩阵调试常需打印上千行三元组，std::cout 默认同步 C stdio 且带异常检查，I/O 开销占比飙升；而 printf 是纯函数调用，无流状态维护。
实测对比（10⁴ 行）：
// 慢：std::cout 版
for (auto [r, c, v] : triplets) {
std::cout << r << " " << c << " " << v << "\n";
}
<p>// 快：printf 版（注意类型匹配）
for (const auto& t : triplets) {
printf("%d %d %.6g\n", t.row, t.col, t.val);
}</p>-
%.6g比%.6f更安全：自动切科学计数法，避免大指数下输出一长串 0 - 若值类型是
float，printf中用%g；double用%.6g即可，别写成%lf（C++ 中double就是double，%lf是冗余写法） - 禁用同步后
std::cout也能提速，但不如printf稳定，尤其多线程下易出问题
CSR 转三元组时 row_ptr 索引容易越界吗？
不会越界，但常见错误是把 row_ptr[i+1] - row_ptr[i] 当作第 i 行非零元数时，误用 i 从 0 到 rows（应到 rows-1），导致访问 row_ptr[rows] 越界——而 CSR 规范要求 row_ptr 长度为 rows+1，最后一项合法。
- 正确遍历行：for (int i = 0; i row_ptr[i] 到
row_ptr[i+1]-1区间取列/值 - 三元组构造中，
row值应为i（而非i+1），别受 MATLAB 1-based 习惯影响 - 若原始 CSR 的
row_ptr是vector<int></int>，确保它 size() == rows + 1，否则就是数据损坏，别硬转
三元组相加本身不依赖存储格式，但输入若来自 CSR，校验 row_ptr 长度是最廉价的健壮性防线。格式化只是最后一步，真正的性能瓶颈永远在归并逻辑和内存预分配上。
