Question

我有一个我不明白的阻塞问题。一般来说，我正在进行一种蚁丘模拟。内部有一个主要通道分成几个部分，一些部分的蚂蚁可以进入房间。所有这三个类别（Passage，Segment，Chamber）都有一个共同点 - 目前正在访问它们的蚂蚁集合。所以有一个抽象类AntHolder，其中包含vector<Ant*>（仅显示与案例相关的成员）：

    class AntHolder
    {
    protected:
        std::vector<Ant*> ants;
        /* some other members here */

    public:          
        virtual bool antEnter(Ant* ant) = 0;
        /* some other functions here */
    };

antEnter函数在派生类中的实现方式不同，但通常用于向ants添加ant。从派生类中我特别感兴趣的是AntChamber类（这里也省略了不太重要的成员）：

    class AntChamber : public AntHolder
    {
    protected:
        int itemCapacity;
        int additionalCapacity;
        std::vector<Item*> items;

        bool hasFood;
        bool hasEgg;

    public:
        bool putItem(Item* item);
        virtual bool antEnter(Ant* ant);
    };

putItem函数类似于antEnter函数，但它将Item个对象添加到items集合。（物品是例如食物，由蚂蚁从一个室移动到另一个室。）下面显示了两种功能的实施：

    bool AntChamber::antEnter(Ant* ant)
    {
        if (items.size() + ants.size() == itemCapacity + additionalCapacity) return false;

        ants.push_back(ant);
        return true;
    }

    bool AntChamber::putItem(Item* item)
    {
        if (items.size() == itemCapacity ||
            items.size() + ants.size() == itemCapacity + additionalCapacity)
            return false;

        if (item->getItemKind() == Food) hasFood = true; // Food == enum value
        else if (item->getItemKind() == Egg) hasEgg = true; // Egg == enum value

        items.push_back(item);
        return true;
    }

你可以清楚地看到，它们几乎相同。但是当谈到它们的影响时，存在着至关重要的，令人惊讶的差异，这就是我问题的核心。

假设我已经构建了AntChamber* chamber。当我运行以下代码时：

    Item* item = new Item(Food);
    chamber->putItem(item);

，之后item和chamber->items.back()指向此对象的某些内存。但是，当我运行类似的代码时：

    Ant* ant = new Ant(chamber);
    chamber->antEnter(ant));

，然后在ant指向对象之后，chamber->ants.back()指向NULL！

我绝对无法理解发生了什么，尤其是putItem和antEnter实际上做同样的事情：push_back指针，它是由参数传递的。我已经尝试在一些简单的代码中模拟这种情况，例如：

    class A { };
    class B { };

    class C
    {
        vector<A*> va;
        vector<B*> vb;
    public:
        A* vaBack() { return va.back(); }
        B* vbBack() { return vb.back(); }

        void addA(A* a) { va.push_back(a); }        
        void addB(B* b) { vb.push_back(b); }
    };

    int main(int argc, char** argv)
    {
        A* a = new A();
        B* b = new B();
        C* c = new C();

        cout << (unsigned int)a << endl;
        c->addA(a);
        cout << (unsigned int)c->vaBack() << endl;

        cout << (unsigned int)b << endl;
        c->addB(b);
        cout << (unsigned int)c->vbBack() << endl;

        delete c;
        delete b;
        delete a;
    }

，但似乎工作正常 - 指针都不是0x000000。

Answer 1

哦，天哪，我太盲目了......

我做了SSCCE，因为 Shafik Yaghmour 建议我在做这件事时注意到了这个问题。

我使用了一个精神上的飞跃，说chamber->items.back()或chamber->ants.back()是NULL，因为实际上它们不是！但是他们在课堂上受到保护，所以我在两个班级都写了一个函数来获得第i个项目/蚂蚁。问题是这个功能。它提供了一个标准的白痴保护，防止从矢量的债券中提供指数，但这样做是错误的：

    if (idx < 0 || ants.size() >= idx) return 0; // SHOULD BE <= !!!
    return ants[idx];

所以它总是返回0 ......我在寻找这个问题时看了几十次这个方法，从来没有发现任何错误（直到现在）。

愚蠢的错误......非常感谢 Shafik 。

当函数退出时，指针设置为空指针

1 个答案: