二叉树最大路径和需区分“单侧贡献值”与“全局最大路径和”：方案一用结构体封装双状态；方案二以引用传递全局极值；方案三统一负值处理保障路径连续；方案四用显式栈模拟后序遍历。
如果您在实现二叉树最大路径和问题时，发现递归返回值设计混乱、路径跨父节点逻辑错误或节点收益计算不一致，则可能是由于未准确区分“单侧贡献值”与“全局最大路径和”的语义。以下是实现该问题递归核心逻辑的多个关键方案：
一、定义双状态递归返回结构
为避免在单次递归中混用路径和贡献值，需显式分离两种含义：当前节点作为路径端点所能向上提供的最大单侧贡献（含自身），以及以当前子树为范围的全局最大路径和。该方案通过结构体或std::pair封装两个整数值，确保语义清晰、无副作用。
1、声明结构体NodeResult，包含maxSingleGain（非负，可为0）和maxPathSum（可为负）两个public成员。
2、在递归函数末尾，计算左子树maxSingleGain与右子树maxSingleGain，取较大者加当前节点值，再与0比较，结果赋给当前maxSingleGain。
立即学习“C++免费学习笔记（深入）”；
3、计算当前节点为顶点的完整路径和：leftMaxSingleGain + rightMaxSingleGain + root->val，并与左右子树的maxPathSum及该值三者取最大，赋给当前maxPathSum。
4、递归调用返回NodeResult{maxSingleGain, maxPathSum}，上层据此继续计算。
二、使用引用参数传递全局极值
该方案放弃返回全局最大值，转而将全局最大路径和作为引用参数在递归中持续更新，递归函数仅返回单侧最大贡献值。此举降低返回值耦合度，符合单一职责原则，且避免结构体构造开销。
1、定义递归函数int maxGain(TreeNode* node, int& globalMax)，其中globalMax初始设为INT_MIN。
2、若node为空，返回0。
3、递归获取leftGain = maxGain(node->left, globalMax) 和 rightGain = maxGain(node->right, globalMax)。
4、计算当前路径和：currentPath = leftGain + rightGain + node->val。
5、执行globalMax = std::max(globalMax, currentPath)。
6、返回std::max(0, std::max(leftGain, rightGain) + node->val)作为单侧贡献。
三、统一负值处理与路径连续性保障
当节点值全为负时，最大路径和应为最大单个节点值，而非0。该方案强制保留负值传播能力，同时防止路径断裂，通过严格控制“不选择子路径”的条件为仅当子路径贡献为负且小于当前节点值本身时才截断。
1、递归函数返回值定义为当前节点向下延伸的最大路径和（必须包含当前节点，可不含子节点）。
2、对每个子节点收益，若其返回值小于0，则视为不连接该子路径，对应贡献置为0；但若所有子路径均为负，且当前节点值也负，则最大单侧路径即为当前节点自身值，不可强制置0。
3、因此单侧贡献计算为：int single = node->val + std::max({0, leftGain, rightGain})，但前提是leftGain和rightGain已按规则返回真实子路径和（允许负）。
4、全局最大值更新为：std::max({globalMax, node->val, node->val + leftGain, node->val + rightGain, node->val + leftGain + rightGain})。
四、基于后序遍历的无额外变量栈模拟
该方案不依赖系统调用栈隐式保存状态，而是显式维护一个栈，存储节点指针与对应左右子树已计算出的singleGain值。适用于需规避深递归栈溢出或教学演示递归本质的场景。
1、初始化stack
2、执行深度优先后序遍历：先压入根，再循环压入左、右子节点，标记访问状态。
3、当节点出栈时，若其左右子节点均已处理，则从栈中取出对应leftGain和rightGain值。
4、计算当前singleGain = node->val + max(0, max(leftGain, rightGain))，并更新全局最大路径和为max(globalMax, node->val + leftGain + rightGain)。
5、将当前singleGain回填至父节点对应位置（通过栈中父节点条目索引或哈希映射关联）。
