Xcode报错“Control may reach end of non-void function”，求排查代码问题

你忽略的核心问题很明确——在递归调用Search(p->left, x)和Search(p->right, x)的时候，你没有返回这个递归调用的结果！

编译器会严格检查非void函数的每一条执行路径是否都有明确的返回值。你的代码里，当cond < 0或者cond > 0时，你只是发起了递归调用，但没有把递归得到的节点指针返回给上层调用者。这就导致编译器判定：存在一种执行路径（走到这两个递归分支的末尾）没有任何return语句，所以抛出了这个警告/错误。

其实你的逻辑是对的，递归确实会最终返回NULL或者目标节点，但编译器没办法识别这种递归逻辑的闭环，它只看当前函数内的每一条分支是否有返回动作。

修正后的代码如下：

BinNode *Search(BinNode *p, const Member *x) {
    int cond;
    if(p == NULL)
        return NULL;
    else if((cond = MemberNoCmp(x, &p->data)) == 0)
        return p;
    else if(cond < 0)
        return Search(p->left, x);  // 新增return，返回递归结果
    else
        return Search(p->right, x); // 新增return，返回递归结果
}

这样修改后，所有执行路径都会明确返回一个值：要么直接返回NULL或目标节点，要么返回递归调用得到的结果，编译器就不会再报这个错误了。

内容的提问来源于stack exchange，提问作者Sangeui