因为for循环区间求和O(n)无法应对高频查询或修改,树状数组(单点改+区间和)和线段树(支持区间更新、最值等复杂操作)通过预处理将查询/更新优化至O(log n)。
for 循环累加?直接遍历 arr[l] 到 arr[r] 求和,时间复杂度是 O(n)。当有大量查询(比如 10⁵ 次)或数组频繁修改时,总耗时会爆炸。这时需要预处理结构——树状数组(Fenwick Tree)和线段树(Segment Tree)就是为此而生的两个主流选择。
std::vector 上手写树状数组:5 步实现单点更新 + 区间查询树状数组代码短、常数小、易调试,适合只涉及「单点修改 + 区间求和」的场景。注意它下标必须从 1 开始,实际使用时常把原数组整体右移一位。
tree 数组大小为 n + 1(n 是原数组长度)lowbit(x) 写成 x & -x,别用循环或 pow
void add(int i, int delta),从 i 开始向上跳 i += lowbit(i)
int sum(int i),从 i 向下跳 i -= lowbit(i)
[l, r] 求和 = sum(r) - sum(l-1),注意 l 是原数组下标(已转为 1-indexed)int n = arr.size(); vectortree(n + 1, 0); auto lowbit = [](int x) { return x & -x; };
auto add = [&](int i, int delta) { while (i <= n) { tree[i] += delta; i += lowbit(i); } };
auto sum = [&](int i) -> long long { long long res = 0; while (i > 0) { res += tree[i]; i -= lowbit(i); } return res; };
// 初始化:对每个位置 i(原下标 0 → 新下标 1) for (int i = 0; i < n; ++i) { add(i + 1, arr[i]); }
// 查询 [l, r](原下标,闭区间) long long range_sum = sum(r + 1) - sum(l);
当你不止要区间求和,还要支持「区间赋值」「区间加法」「最大值/最小值查询」「混合操作」时,线段树更灵活。但它代码长、内存开销大(约 4 * n)、容易写错边界。

2 * rt,右子是 2 * rt + 1
lazy)不是可选优化,而是支持区间更新的必要设计push_up(合并子节点结果)lazy,但区间更新不加 lazy 会退化成 O(n)
别盲目套模板。选错结构会让调试时间翻倍。
O(n),线段树至少 O(4n),内存紧张时树状数组优势明显push_down 和 push_up 顺序极易出错真正容易被忽略的是:树状数组不能直接查区间最值,也不能高效支持「第 k 小」这类顺序统计问题——这时候哪怕多写 100 行,也得切到线段树或平衡树。