maxgain必须返回单侧最大贡献而非完整路径,因父节点拼接时需避免y形路径;空节点返回0表无贡献;全局最大值须在递归中用左右截断后值实时更新。

为什么 maxGain 必须返回单侧贡献,不能直接返回 left + root + right
路径定义要求节点至多出现一次、不可分叉。父节点调用 maxGain(root->left) 时,需要一个能安全加到自己路径里的值——如果这个值本身已含左右子树(比如 left_gain + root->val + right_gain),父节点再拼接就会形成 Y 形路径,违反规则。
所以 maxGain 的语义必须严格是:“从当前节点出发、向下走一条路(左或右)的最大和”。它只能返回 root->val + max(left_gain, right_gain),且必须用 max(0, ) 截断负值,否则会把拖累父节点。
- 错误写法:
return root->val + left_gain + right_gain—— 这会让父节点误以为可以同时接两边 - 正确写法:
return root->val + max(left_gain, right_gain),且该结果需参与max(0, ) - 若
left_gain = -5、right_gain = -2,截断后两者都变0,返回max(0, root->val),保证父节点不被污染
空节点为什么必须 return 0,而不是 INT_MIN 或 -1
空节点不是“无效路径”,而是“无贡献”。它不参与任何路径和计算,但必须让 max(0, left_gain) 逻辑生效。
若返回 INT_MIN,root->val + INT_MIN 极易溢出;若返回 -1,则 max(0, -1) == 0 虽然结果对,但语义混乱——-1 并非“无贡献”,而是“负贡献”。只有 0 能准确表达“这条路不存在,既不加分也不减分”。
- 所有递归入口第一行必须写
if (!root) return 0;,防止访问root->left崩溃 - 叶子节点场景下,
left_gain和right_gain都是0,root->val + 0 + 0自然更新全局最大值,无需特殊判断 - 全负树如
[-3,-2,-1]中,每层截断后只剩root->val参与更新,首次非空节点即可确立初始最大值
全局最大值为什么必须在递归体内更新,不能靠返回值传递
max_sum 是题目答案,但它无法通过返回值传递,因为返回值已被 maxGain 占用为单向贡献。真正最大的路径(比如 15 → 20 → 7)恰恰是 maxGain 不返回的东西——它需要同时接入左右子树。
所以更新操作必须就地发生,在获取 left_gain 和 right_gain 后立刻执行:max_sum = max(max_sum, root->val + max(0, left_gain) + max(0, right_gain))。
- 错误做法:在函数入口初始化
max_sum,或等所有递归结束再扫一遍——漏掉中间节点的拐点路径 - 初始化必须是
INT_MIN,不是0或root->val;否则输入[-3]会返回0 - 负值子树要“截断上传”,但不能“丢弃参与”:同一个子树收益,在两个上下文里处理方式不同——向上交能力时舍弃负值,本地拼完整路径时仍要用原始值(再套
max(0, ))
容易被忽略的负子树截断时机
关键在两处统一处理:max(0, left_gain) 和 max(0, right_gain)。这保证了:即使当前节点是负数,只要左右都不选,路径就退化为仅含自身;如果左右之一为正,就择优接入。
最容易踩的坑是只在返回值里截断,却在 left_gain + right_gain + root->val 计算中仍用原始负值。
- 错误写法:
int l = dfs(node->left); int r = dfs(node->right); max_sum = max(max_sum, node->val + l + r);—— 若l是-5、r是-8,加进去就错 - 正确顺序:
int l = max(0, dfs(node->left)); int r = max(0, dfs(node->right)); max_sum = max(max_sum, node->val + l + r); - 返回值也建议套一层
max(0, node->val + max(l, r)),防止负数上传干扰上层
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











