必须从1开始。因父子节点关系依赖left=2i、right=2i+1，根为0会导致左子节点为0而无限递归；实际用tree[1]为根，开4*n数组，叶子节点对应arr[l-1]（l为1-indexed），update需回溯更新父节点值，query按完全包含、无交集、部分重叠三类处理。
线段树建树时数组下标从 1 开始还是 0 开始？
必须从 1 开始。虽然 C++ 数组天然从 0 索引，但线段树的父子节点关系依赖完全二叉树结构：left = 2 * i、right = 2 * i + 1，若根节点用 0，左子节点就是 0，导致无限递归或越界。实际编码中，开 4 * n 大小的数组，让 tree[1] 作为根，tree[2] 和 tree[3] 为左右子节点。
常见错误：把原始数组下标和线段树节点下标混用，比如在 build 函数里写 tree[i] = arr[i]（i 从 0 开始），结果覆盖了非叶子节点位置。正确做法是只对叶子节点赋值，且叶子对应区间 [l, r] 中 l == r 时才填入 arr[l-1]（因为 arr 是 0-indexed，而当前 l 是 1-indexed 区间端点）。
update 函数为什么必须递归到叶子再回溯更新？
因为线段树每个非叶子节点存的是其子区间的聚合值（这里是和），修改一个点会影响所有包含该点的区间。如果中途剪枝或只改某一层，父节点的值就不再反映真实子区间和，后续查询必然出错。
实操要点：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 递归参数始终传入当前节点编号
idx和它代表的区间[l, r] - 只有当
l == r时才是叶子，此时直接更新tree[idx] = val - 否则先判断目标位置
pos落在左子树还是右子树，递归下去；返回后再执行tree[idx] = tree[left] + tree[right] - 别漏掉回溯更新——这是最容易被跳过的一步，尤其写成尾递归风格时容易忘记加这行
区间查询 query 的三种情况怎么分清楚？
核心逻辑就三类，按匹配程度由高到低判断：
- 当前区间
[l, r]完全在查询区间[ql, qr]内 → 直接返回tree[idx] - 当前区间与查询区间无交集（
r 或 <code>l > qr）→ 返回0（求和场景下的单位元） - 部分重叠 → 递归查左子树和右子树，返回二者之和
注意：不能把“无交集”判断放在最后，否则可能进入无效递归；也不能用 if (ql 之后立刻 <code>else if 查左右，必须先判无交集再判全覆盖，否则边界条件会漏判。例如查询 [3,3]，当前节点是 [1,2]，应快速返回 0，而不是误入左右子树。
懒标记 lazy 数组什么时候需要下传？
只要当前节点有未处理的懒标记（lazy[idx] != 0），且还要继续往下递归（即不是叶子，且查询/修改范围跨过子区间），就必须下传。下传动作包括两步：tree[left] += lazy[idx] * (mid - l + 1)、tree[right] += lazy[idx] * (r - mid)，然后更新子节点的 lazy，最后清空当前节点的 lazy[idx] = 0。
容易踩的坑：
- 只更新了
tree没更新子节点的lazy→ 后续再查同一子树时重复累加 - 下传时乘的长度算错，比如写成
(r - l + 1)而不是左右子区间各自长度 → 值翻倍或少加 - 在
update中修改完当前节点后忘了把懒标记加到当前节点的tree[idx]上（如果是区间加而非覆盖）
动态修改+区间查询的复杂度瓶颈往往不在逻辑，而在这些边界数字是否对齐——尤其是长度计算和下标偏移，一错全错，调试时建议先用 n = 4 手画一棵树，把每个节点的 l、r、tree、lazy 都写出来跑一遍。
