<p>二维前缀和构造必须用dpi = dpi-1 + dpi - dpi-1 + mati-1，因该式通过容斥原理消除左上重叠区域，避免重复累加；mat索引从0开始而dp多开一行一列，故取mati-1。</p>
二维前缀和的构造为什么必须用 dp[i][j] = dp[i-1][j] + dp[i][j-1] - dp[i-1][j-1] + mat[i-1][j-1]
因为这是唯一能避免重复累加的递推方式。原始矩阵 mat 的索引通常从 0 开始，而前缀和数组 dp 多开一行一列（即 dp[0][*] 和 dp[*][0] 全为 0），所以 mat[i-1][j-1] 才是当前要加入的真实元素。
常见错误是写成 dp[i][j] = dp[i-1][j] + dp[i][j-1] + mat[i][j]——这会漏掉左上角重叠区域，导致结果偏大；或者忘记减去 dp[i-1][j-1]，在多次查询时误差会累积放大。
实操建议：
- 初始化
dp为(m+1) × (n+1)的全零二维 vector，m、n是原矩阵行/列数 - 循环从
i = 1到m，j = 1到n，严格按公式更新 - 别用
int存前缀和——若原矩阵值较大或尺寸超 1000×1000，容易溢出，优先用long long
如何用二维前缀和查任意矩形区域和：注意坐标平移与边界
给定矩形左上角 (r1, c1)、右下角 (r2, c2)（含端点，0-indexed），对应前缀和数组中的计算式是：dp[r2+1][c2+1] - dp[r1][c2+1] - dp[r2+1][c1] + dp[r1][c1]。
立即学习“C++免费学习笔记（深入）”；
关键在于“+1”：因为 dp[i][j] 表示从 (0,0) 到 (i-1,j-1) 的和，所以要把查询坐标整体下移一位对齐。
容易踩的坑：
- 直接套用
dp[r2][c2] - dp[r1-1][c2] - dp[r2][c1-1] + dp[r1-1][c1-1]—— 这只在r1>0 && c1>0时成立，且极易越界 - 没检查
r1、c1是否为 0，导致访问dp[-1][*]（编译不报错但运行 UB） - 把输入坐标当成 1-indexed 处理，结果整体偏移一行一列
三维前缀和还能高效吗？内存与时间开销怎么算
可以实现，但代价陡增。对 l × m × n 的三维数组，前缀和数组需 O(lmn) 空间，构造时间也是 O(lmn)；单次查询降为 O(1)，但常数极大。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
递推公式本质是容斥：每个位置要加自身，再减去三个两维交面，加上三个一维交线，再减去一个顶点。完整形式为：
dp[i][j][k] = dp[i-1][j][k] + dp[i][j-1][k] + dp[i][j][k-1]
- dp[i-1][j-1][k] - dp[i-1][j][k-1] - dp[i][j-1][k-1]
+ dp[i-1][j-1][k-1] + arr[i-1][j-1][k-1]实际项目中，除非查询频次极高（比如 >10⁵ 次）且维度不大（如 ≤50³），否则不如直接遍历求和或改用线段树/树状数组分层优化。
性能提示：
- 三维
vector<vector long>>></vector>在 cache 友好性上远差于一维模拟（dp[i * m * n + j * n + k]） - g++ 编译时加
-O2对多层嵌套循环优化有限，手动展开最内层可能提升 10%~20% - 若某维度极小（如颜色通道=3），可考虑对该维预处理，降维成二维问题
C++ 实现时 vector 和 array 哪个更合适
取决于维度是否编译期已知。二维以上、尺寸动态——必须用 vector；若所有维度固定且较小（如 10×10 或 100×100），std::array<:array long n>, M></:array> 更快，无堆分配、cache 局部性好。
但要注意：嵌套 std::array 无法用 auto 推导类型，初始化语法冗长；而 vector 支持运行时 resize，适合 LeetCode 类题目中矩阵尺寸不确定的场景。
真实权衡点：
- 竞赛编码：优先
vector，省去维度硬编码，避免constexpr错误 - 高频服务模块：若尺寸稳定，用
array+alignas(64)对齐，减少 TLB miss - 永远不要用
new int**手动管理——易内存泄漏，且每行指针分散，cache 不友好
多维前缀和真正难的不是公式本身，而是坐标系对齐、数据类型溢出、以及高维下 cache 行失效带来的隐性性能坍塌。写完记得用 2×2 最小矩阵手算验证三遍。
