DFS递归中路径容器必须引用传参,因需回溯时pop_back()修改原容器;若传值则只操作副本,父层无法感知。空指针检查必须首行if(!root) return;,再判断叶子节点。

为什么 dfs 递归中必须用引用传参修改路径容器
因为路径是逐层向下“累积”的,每次进入子节点都要在当前路径末尾追加当前节点值;但回退到父节点时,必须把刚加进去的那个值删掉——否则上层递归看到的路径就污染了。如果传值(vector),每次递归都是拷贝,push_back 和 pop_back 只影响副本,父层完全感知不到变化;只有传引用(vector)才能让回溯生效。
常见错误现象:result 里全是重复长路径,或者只有一条路径、长度远超预期。
- 务必声明为
vector,不是& path const vector(需要修改)& - 入口调用前要确保
path是空的,避免残留数据 -
pop_back()必须紧跟在左右子树递归之后,顺序错会导致漏删或多删
TreeNode* 空指针判断必须放在递归入口而非叶子判断前
二叉树递归最易错的是边界处理顺序。如果先判断 !root->left && !root->right 再判 !root,遇到空节点就会崩溃——因为访问了 root->left。正确做法是:第一行就检查 if (!root) return;,确保后续所有 root->val、root->left 访问都安全。
使用场景:所有基于 TreeNode* 的 DFS 实现都适用,尤其当输入可能含空树时(比如测试用例 root = nullptr)。
- 错误写法:
if (!root->left && !root->right) { ... }前没判!root - 正确结构:入口立即
if (!root) return;,然后才处理值、递归子树 - 这个判断也决定了是否需要显式处理“空树无路径”的情况——空树时
result应为空 vector
字符串拼接路径时,to_string 和分隔符位置容易出错
题目要求返回“所有从根到叶的路径”,输出是 vector,每条形如 "1->2->5"。很多人在回溯过程中直接拼字符串,结果导致分隔符冗余(如末尾多一个 "->")或缺失(如单节点路径变成空串)。更稳的方式是:回溯过程中只维护整数路径 vector,等到达叶子节点时,再一次性转成字符串。
性能影响:临时拼接字符串会触发多次内存分配,而整数 vector 复用同一块内存,pop_back 开销小得多。
- 叶子节点判断后,用循环拼接:
for (int i = 0; i "; } - 不要在每层递归里做字符串拼接,避免重复构造和拷贝
- 注意
to_string对负数、大整数都有效,无需额外处理
LeetCode 测试用例里存在单节点树,需确认叶子定义
叶子节点是指左右子节点都为空的节点,不是“没有子节点的节点”这种模糊说法。单节点树(只有 root)就是叶子,必须加入结果。容易踩的坑是误加条件如 if (!root->left && !root->right && root != original_root),这会漏掉单节点情况。
验证方法:手写测试 root = new TreeNode(1);,期望输出 ["1"]。若返回空,则叶子判断逻辑有缺陷。
- 判断叶子唯一可靠方式:
!root->left && !root->right - 不需要比较地址、不依赖深度计数、不查父节点
- 该判断必须放在空指针检查之后、递归子树之前,否则空指针解引用
实际运行时最常被忽略的是引用传参和空指针检查的组合——少一个,整个路径收集就全乱。写完务必用空树、单节点、左偏树、右偏树四类最小用例过一遍。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











