不能直接求最短路径；递归回溯本质是暴力穷举所有可行路径，不带距离优先级，需额外记录并比较长度，效率远不如BFS，更适合解决“是否存在路径”或“输出所有路径”问题。
递归回溯能求出迷宫最短路径吗？
不能直接求最短路径。递归回溯本质是暴力穷举所有可行路径，它默认不带距离优先级，遇到第一个解就可能返回（如果提前终止），即使继续跑完所有路径，也得额外记录并比较长度——这已经脱离了“回溯”的典型用法，变成“回溯 + 全局最优维护”，效率远不如 BFS。真正适合最短路径的是 BFS；递归回溯更适合解决“是否存在路径”或“输出所有路径”这类问题。
为什么递归回溯在迷宫中容易陷入死循环或栈溢出？
主因是没正确标记访问状态或未及时回退标记。常见错误包括：
- 只在进入格子时设
visited[r][c] = true，但忘了在函数返回前设回false（即“回溯”那一步） - 用值传递二维数组或坐标，导致修改不生效，重复访问同一位置
- 未检查边界（
r = rows || c = cols）就访问数组，引发越界读写，行为不可控 - 迷宫太大（比如 50×50），递归深度轻易超千层，触发栈溢出（
std::stack_overflow或 SIGSEGV）
如果坚持用递归回溯找所有路径，怎么避免漏解或重复？
关键在状态管理和剪枝。以 vector<pair>></pair> 记录当前路径，用全局变量 min_len 动态更新最短长度，同时加长度剪枝：
void dfs(vector<vector<int>>& maze, int r, int c, vector<pair<int,int>>& path, int& min_len) {
if (r == tr && c == tc) { // 到达终点
min_len = min(min_len, (int)path.size());
return;
}
if (path.size() >= min_len) return; // 剪枝：当前路径已不优于已知最优
for (auto [dr, dc] : vector<pair<int,int>>{{0,1},{1,0},{0,-1},{-1,0}}) {
int nr = r + dr, nc = c + dc;
if (nr >= 0 && nr < maze.size() && nc >= 0 && nc < maze[0].size()
&& maze[nr][nc] == 0 && !visited[nr][nc]) {
visited[nr][nc] = true;
path.push_back({nr, nc});
dfs(maze, nr, nc, path, min_len);
path.pop_back(); // 回溯
visited[nr][nc] = false;
}
}
}
注意：visited 必须是全局或引用传入的二维布尔数组；path 用引用传入，避免拷贝开销；剪枝条件 path.size() >= min_len 能显著减少无效递归分支。
立即学习“C++免费学习笔记（深入）”；
C++ 实现时哪些细节会导致结果错误？
几个高频翻车点：
-
visited数组初始化为false，但没在每次新搜索前重置（尤其多测试用例时） - 起点是否可走没判断：如果
maze[0][0] == 1（墙），应直接返回无解，但常被忽略 - 方向数组顺序影响路径字典序，但不影响正确性；若需固定顺序（如上→右→下→左），必须显式定义，不能依赖编译器迭代顺序
- 使用
INT_MAX初始化min_len，但忘记在找到路径后才更新——否则未找到时返回INT_MAX容易被误判为有效距离
迷宫最短路径问题里，递归回溯不是错，而是选错了工具场景。真要最短，老实用 BFS；非要回溯，就得接受它本质是“枚举+筛选”，且规模一大就慢得明显。
