maxPathSum不能只靠一次递归返回值解决,因为路径可跨根节点形成“左→根→右”的V字形,而递归函数只能返回以当前节点为起点的单向路径和;必须用全局变量记录所有可能路径的最大值,递归函数仅负责计算并返回max(0, max(left, right)) + root->val。

为什么 maxPathSum 不能只靠一次递归返回值解决
因为路径可以跨过根节点(左→根→右),但递归函数每次只能向上返回一条“单向路径”(比如从根出发向下走的最长链)。如果只依赖子树返回的路径和,会漏掉“经过当前根、左右子树都参与”的情况。所以必须用一个全局变量(或引用参数)持续更新所有可能路径中的最大值,而递归函数本身只负责计算并返回以当前节点为起点向下的最大单向路径和。
常见错误现象:return max(left, right) + root->val 直接作为最终答案——这只能得到自顶向下的某条路径,完全忽略了“V字形”路径(即左右子树都贡献的路径)。
实操建议:
- 定义全局变量
max_sum初始化为INT_MIN,在每次递归中用left + right + root->val尝试更新它 - 递归函数返回值必须是
max(0, max(left, right)) + root->val,负数子路径直接截断(因为路径可以不包含子树) - 注意空节点返回 0,不是
INT_MIN;否则加法会溢出或逻辑错乱
TreeNode* 传参时要不要用引用?会影响结果吗
不影响正确性,但影响可读性和潜在 bug。递归过程中我们只读节点值、遍历子树,不修改树结构,所以 TreeNode* root 足够。若误写成 TreeNode*& root,不仅没必要,还可能因意外赋值(如 root = nullptr)破坏调用栈逻辑。
立即学习“C++免费学习笔记(深入)”;
使用场景:只有当你需要在递归中修改指针本身(比如重建树、删除节点)才需引用或双重指针。本题纯遍历,传值语义更清晰。
实操建议:
- 函数签名统一用
int dfs(TreeNode* root),避免任何指针引用干扰逻辑焦点 - 若用 C++17 及以上,可考虑
[[nodiscard]] int dfs(...)防止返回值被忽略 - 不要为了“看起来高效”而传递
const TreeNode*&——const 引用指针仍是多余抽象
负数节点怎么处理?max(0, ...) 是不是太激进
不激进,这是关键剪枝。路径不要求必须到叶子,也不强制非空;如果某子树向下所有路径和都是负数,那么最优策略就是“不往下走”,即贡献为 0。例如节点值为 -5,左子路径和为 -10,右为 -8,那么以该节点为起点的最优单向路径就是它自己(-5),而不是 -5 + (-10) = -15。
常见错误现象:去掉 max(0, left) 后,遇到全负树(如 [-2,-1,-3])会返回错误的 -1(应为 -1,但逻辑可能算成 -6);实际正确答案是最大单个节点值,而这个值正是通过“子路径和取 0 或正值”+“当前节点”自然覆盖的。
实操建议:
- 始终对左右子树返回值做
max(0, dfs(root->left))再参与拼接 - 全局最大值更新时仍用原始子路径和(即不截断前的
left和right),因为left和right在进入当前层时已由下层返回,它们本身已含截断逻辑 - 测试用例务必包含全负、单节点、链状树,验证边界
LeetCode 提交时 INT_MIN 初始化为什么有时报错
不是报错,而是整型溢出导致未定义行为。当某个子路径和为 INT_MIN,再加一个负数(比如 -1),结果溢出,变成正数,后续比较就彻底失真。更安全的做法是用 long long 做全局记录,或干脆用节点值范围做初始化(题目约束节点值在 [-1000, 1000],树最多 10⁴ 节点,理论最大和不超过 10⁷,int 足够,但初始值建议用第一个访问节点的值)。
实操建议:
- 初始化
max_sum为root->val,然后在 dfs 前先调用一次,避免依赖INT_MIN - 或者统一用
long long max_sum = numeric_limits<long long>::min()</long>,避免溢出风险 - 不要在类成员里用
static int max_sum——多测例共享状态会导致 WA;每次调用maxPathSum都应重置
真正容易被忽略的是:路径不要求连续到叶子,也不限于从根出发;它是一条任意节点出发、任意节点结束、不重复经过节点的路径。这意味着你必须在每个节点处“张开双手”同时看左右,并且允许“停在手上”(即不继续向下)。递归返回值和全局变量的分工,本质上是在模拟这种“局部决策 + 全局观察”的双重视角。


















