1

我写了这个递归函数，它按预期工作。它验证二叉树，即检查给定的二叉树是否是二叉搜索树，并给出正确的答案。

但是，我收到编译器警告说：

Control may reach end of non-void function

我确实知道这个错误意味着什么：函数应该返回 abool而不仅仅是在函数结束时脱落。我只是不知道如何克服它，因为它确实返回 a bool。

我试图搜索递归时可能忽略的东西，但无济于事。

bool isBSTRecursively(Node * root){
    if (!root) {
        return true;
    }else if (!root->getLeft() && !root->getRight()){
        return true;
    }else if(!root->getLeft()){
        if (root->getRight()->getData() > root->getData()) {
            return isBSTRecursively(root->getRight());
        }
    }else if (!root->getRight()){
        if (root->getLeft()->getData() < root->getData()) {
            return isBSTRecursively(root->getLeft());
        }
    }else{
        return (isBSTRecursively(root->getLeft()) && isBSTRecursively(root->getRight()));
    }
}
4

2 回答 2

2

在这些部分：

}else if(!root->getLeft()){
    if (root->getRight()->getData() > root->getData()) {
        return isBSTRecursively(root->getRight());
    }
}else if (!root->getRight()){
    if (root->getLeft()->getData() < root->getData()) {
        return isBSTRecursively(root->getLeft());
    }

请注意，您只在两种特定情况下返回？这就是警告告诉您的内容，代码可以采用的路径不明确包含return带值的 a。如果您遇到代码没有明确执行此操作的情况，这可能会导致奇怪的问题return。

消除警告的最简单方法是return false在函数末尾添加 a。

于 2013-03-24T07:31:04.060 回答
2

您编写了一个函数，该函数在所有 true 选项上都返回 true，但没有返回 false。

看起来最后 return false 将是正确的结果以及修复警告。

于 2013-03-24T07:40:40.813 回答