为什么这段递归代码能遍历所有情况？

[spencerqiu]

int dfs(int i,int sum)
{
    if(i==n+1) return sum==k;
    if(dfs(i+1,sum)) return 1;
    if(dfs(i+1,sum+a[i+1])) return 1;
}

这段代码是计算能否从数组 a 中找到任意个数，使其和等于 k 的。难道搜索树从最左边走到底的时候，如果 sum != k 不已经 return 0 了么 ... 为什么程序还能继续跑呢？

return 我理解 ... 就是退到上一个递归的情况，但是为何 return 的是 0 之后依然还能遍历全部搜索树呢？

[KotiyaSanae]

因为 sum != k 只是结束了一个递归栈帧呐，主程序会继续执行接下来的代码。

[KotiyaSanae]

这个解法其实就是讨论两种情况，一种是取接下的元素，一种不取，你可以认为是一颗二叉树，程序实际上在进行后序遍历

[KotiyaSanae]

@KotiyaSanae 前序……

[spencerqiu]

@KotiyaSanae
那么如果在遍历到最右边一个子节电之前，已经遍历到了答案，会直接退出程序？

[spencerqiu]

退出函数 …

[KotiyaSanae]

@spencerqiu 对啊，很容易分析吧……最简单的情况， k 是 0 的话，就只会沿着最左边的路径走下去，然后退出，返回 1

[spencerqiu]

@KotiyaSanae
大概是最后一个问题， return 、 return 0/1 、 return sum==k 的区别？

return 是返回上一层递归。

return 0/1 是返回 0/1 给主程序，并且不再返回上一层递归？

return sum==k 呢？

唉 ... 越来越云里雾里了 ...

[KotiyaSanae]

@spencerqiu return 就是 return 啊，终止当前的调用栈，控制权交还给调用方，不管 return 什么，意义都是这个。 return 、 return 0/1 、 return sum==k ……唔？除了返回的值不一样，哪有啥不同。
个人觉得你是对递归不熟……递归一层一层压栈，然后每一次 return 弹出当前的栈帧，就是这样。

[hienchu]

@spencerqiu return 在 cpp 里就是退出当前函数，也就是 stack 上的当前 frame,跟退出当前程序(process)没直接关系