递归函数中的奇怪返回行为

Question

我有一个这样的树节点类：

class Node
{
public:
    Node();
    Node(char _value);
    ~Node();

    char getValue() const;
    Node* getParent() const;
    void addChild(Node* _child);
    bool isLeaf() const;
    bool isRoot() const;
    bool hasChild(char _value) const;
private:
    vector<Node*> children;
    char value;
    Node* parent;
};

我实现了一个 serach 方法：

bool Node::hasChild(char _value) const
{
    if (value == _value)
        return true;

    for (auto it = children.begin(); it != children.end(); it++)
    {
        if (*it != NULL)
        {
            (*it)->hasChild(_value);
        }
    }
}

但是，当我运行此代码时，tmp 变量始终为 false。如果我用调试器跟踪它，return true; 部分会执行，但递归会继续。有什么建议吗？

Node* root = new Node();
Node* a = new Node('a');
Node* c = new Node('c');

root->addChild(a);
root->addChild(c);

bool tmp = root->hasChild('a');

Answer 1

您的hasChild 代码有两个主要缺陷，它永远无法返回false，并且您在以下行中对hasChild 的调用的返回值永远不会被使用：

(*it)->hasChild(_value);

这应该可以解决您的问题（排除其余代码的任何问题）

Answer 2

你的问题出在hasChild的自称方式上：

(*it)->hasChild(_value);

您调用它，但不对返回值做任何事情。您可能想尝试返回结果。

由于您的算法似乎表明了一个未排序的树，这并不像在语句前加上 return 那样简单。您可能需要检查 true 并返回它，但 false 意味着继续查找：

if ((*it)->hasChild(_value))
    return true;

你还需要在函数结束时返回 false。