Question

我有一个递归函数find()，它试图找到一个具有给定ID的项目。下面我从类中提取了相关的部分，以便编译一个例子：

#include <iostream>
#include <cstdarg>
#include <cstdio>
#include <string>
#include <vector>

class Item {
private:
    std::vector<Item> subitems;

public:
    std::wstring id;

public:
    Item()
    : subitems(0), id(L"") {}

    Item(const Item& rhs)
    : subitems(rhs.subitems.size()) {
        for (std::size_t i = 0; i < rhs.subitems.size(); ++i)
            subitems[i] = rhs.subitems[i];
        id = rhs.id;
    }

    Item& operator==(const Item& rhs) {
        if (this != &rhs) {
            for (std::size_t i = 0; i < rhs.subitems.size(); ++i)
                subitems[i] = rhs.subitems[i];
            id = rhs.id;
        }
        return *this;
    }

    std::vector<Item> getSubitems() {
        return subitems;
    }

    Item addSubitems(Item * item ...) {
        va_list args;
        va_start(args, item);
        for (Item * arg = item; arg != NULL; arg = va_arg(args, Item *)) {
            subitems.push_back(*item);
        }
        va_end(args);

        return *this;
    }

    Item addSubitems(std::vector<Item>& items) {
        for (typename std::vector<Item>::value_type &item : items) {
            subitems.push_back(item);
        }

        return *this;
    }

    static Item * find(int id, std::vector<Item>& items) {
        std::wstring id_str = std::to_wstring(id);
        std::wcout << "--> find id=" << id_str << std::endl;
        std::wcout << "size of items=" << items.size() << std::endl;
        for (typename std::vector<Item>::value_type &c : items) {
            std::wcout << "it .. cur id=" << c.id << std::endl;
            if (!c.id.empty() && c.id == id_str) {
                std::wcout << "==> found" << std::endl;
                return &c;
            }

            if (!(c.getSubitems()).empty()) {
                std::wcout << "-> find " << id << " in subitems" << std::endl;
                std::vector<Item> subcls = c.getSubitems();
                std::wcout << "size of subitems=" << subcls.size() << std::endl;
                Item * sub = find(id, subcls);
                if (sub != NULL) {
                    std::wcout << "==> found in subitems" << std::endl;
                    return sub;
                }
            }
        }
        return NULL;
    }
};

int main() {
    Item c1;
    c1.id = L"0";
    Item c2;
    c2.id = L"1";
    Item c3;
    c3.id = L"2";
    Item c4;
    c4.id = L"3";
    //std::vector<Item> cll4({c4});
    //std::vector<Item> cll3({c3});
    //std::vector<Item> cll2({c2});

    c3.addSubitems(&c4, NULL);
    c2.addSubitems(&c3, NULL);
    c1.addSubitems(&c2, NULL);

    //c1.addSubitems(cll2);
    //c2.addSubitems(cll3);
    //c3.addSubitems(cll4);

    std::vector<Item> items({c1});

    Item * c = Item::find(2, items);
    std::wcout 
        << "Found item=" 
        << ((c != NULL && c == &c3) ? "true" : "false") << std::endl;
    std::wcout
        << ((c != NULL) ? c->id : L"") << std::endl;

    return 0;
}

我创建了一些Items并向其添加了sub-Items。现在，我希望能够使用递归find()方法查找项的ID并返回找到的项或子项对象。如果我使用addSubitems()（带变量args）添加项目，它将找到该项目但不返回（有效）项目对象。如果我通过传递项目向量来使用addSubitems方法，则find（）方法不会完全递归所有子项。

实际上我在过去的4个小时里一直坐在这个问题上而且我没有想法，这可能是一个我监督或错过的简单事情。我添加了复制构造函数/和赋值运算符afterwords（只是为了查看行为是否有变化），但没有。不要担心项目ID是一个字符串类型（原因是为了以后的序列化），这个类还处于早期阶段，所以我现在选择了一个字符串类型。

有人可以指出我的缺点/问题让这堂课顺利！非常感谢提前！

Answer 1

好吧，“它会找到项目但不返回（有效）项目对象”的一个问题。是：

您将Item *发送到addSubItems方法，然后向向量添加（* Item）; 这将初始化一个拷贝c'tor，所以稍后，当你做＆amp; c ==＆amp; c3时，显然它是假的，因为虽然对象是INDEED相同的，但地址不会是因为它们是副本彼此。

不是我理解你为什么要复制，但解决方案是测试

if (c == c3) -> activating the Item operator ==

或分配成员，保存

std::vector<Item*> subitems;

然后问if (c == c3) -> asking about the addresses

递归函数不完全递归对象/子对象

1 个答案: