前缀和是一种数组预处理思想，定义prefix[i]为arr[0..i-1]的和（左闭右开），使区间[l,r]求和达O(1)；直接用std::partial_sum易因包含当前元素导致边界错误，应手动构建n+1长long long数组并设prefix[0]=0。
什么是前缀和，为什么不用 std::partial_sum 就容易出错
前缀和不是某个函数的代名词，而是一种**数组预处理思想**：让 prefix[i] 表示原数组 arr[0..i-1] 的和（左闭右开），这样后续任意区间 [l, r] 的和就能在 O(1) 拿到：prefix[r+1] - prefix[l]。很多人直接用 std::partial_sum 却忽略它默认是「包含当前元素」的累加，即 partial_sum(arr, arr+n, prefix) 会让 prefix[i] = arr[0]+...+arr[i]，这会导致区间查询时边界要反复 ±1，极易越界或漏项。
更稳妥的做法是手动构建长度为 n+1 的前缀数组，让 prefix[0] = 0，然后循环计算：
vector<long long> prefix(n + 1);
for (int i = 0; i < n; i++) {
prefix[i + 1] = prefix[i] + arr[i];
}- 必须开
n+1长度，否则prefix[n]无法表示全部元素和 - 类型推荐
long long，避免int溢出（尤其数据量大或值本身大时） -
prefix[0] = 0是关键锚点，不是可选项
二维前缀和怎么初始化，dp[i][j] 到底存哪块区域的和
二维前缀和的定义是：prefix[i][j] 表示从 (0,0) 到 (i-1,j-1)（左上角为原点，不包含第 i 行、第 j 列）所有元素之和。这个定义才能让矩形查询公式干净统一：prefix[r2+1][c2+1] - prefix[r1][c2+1] - prefix[r2+1][c1] + prefix[r1][c1]。
初始化代码必须严格按此逻辑：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
vector<vector<long long>> prefix(m + 1, vector<long long>(n + 1));
for (int i = 0; i < m; i++) {
for (int j = 0; j < n; j++) {
prefix[i + 1][j + 1] = prefix[i][j + 1] + prefix[i + 1][j] - prefix[i][j] + matrix[i][j];
}
}- 二维数组也必须是
(m+1) × (n+1)，否则下标i+1/j+1必然越界 - 减掉
prefix[i][j]是容斥关键，漏掉就会重复累加左上角子矩阵 - 如果原矩阵是
vector<vector<int>>，前缀数组务必升为long long类型
修改单点后还想快速查区间和？别硬套前缀和
前缀和本质是静态结构——一旦构建完成，就不能高效支持单点更新。比如把 arr[i] 加了 5，你得把所有 prefix[j]（j > i）都重新算一遍，退化成 O(n)。这时候该换数据结构：
- 需要单点改 + 区间查 → 用
fenwick tree（树状数组）或segment tree（线段树） -
fenwick tree更轻量，代码短，适合只做加法更新 - 如果还要支持区间更新（如整体加 x），
segment tree带 lazy 标记更合适 - 别试图在前缀和数组上“打补丁”，边界修正会迅速失控
LeetCode 上常见陷阱：负数、下标从 1 开始、输入是 vector 还是 array
很多题（如 subarray-sum-equals-k）表面看能用前缀和，但实际要配合哈希表做“前缀和出现次数”统计，这时要注意：
- 必须初始化哈希表含
{0: 1}，因为和为 0 的空前缀合法 - 题目给的数组下标常从 0 开始，但描述中区间可能说「第 1 到第 5 个数」，需立刻转成 0-based 理解
- 输入如果是
vector<int>&，别擅自改成裸指针操作；C++11 后用for (auto x : arr)更安全 - 遇到
INT_MIN或大负数，累加过程可能溢出int，强制用long long存前缀和
最常被忽略的是：前缀和数组本身不解决“找子数组”问题，它只是工具；真正逻辑在怎么用差值匹配目标——这点一模糊，整个思路就偏到暴力去了。
