c++ - 指针在退出功能时设置为空指针

我有一个无法理解的阻塞问题。通常，我正在做一种蚁丘模拟。内部有一个主要通道，该通道分为多个部分，蚂蚁可以从某些部分进入小室。所有这三个类（通道，段，室）都有一个共同的事物-当前正在访问它们的蚂蚁的集合。因此，有一个抽象类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函数在派生类中的实现方式有所不同，但通常用于将ant添加到ants的目的。从派生类中，我尤其对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。

最佳答案

噢，天哪，我真瞎了...

我按照Shafik Yaghmour的建议进行了SSCCE，并且在执行过程中注意到了问题。

我使用了一个思想上的飞跃，说chamber->items.back()或chamber->ants.back()为NULL，因为实际上它们不是NULL！但是它们在其类中受到保护，因此我在两个类中都编写了一个函数来获取第i个项目/蚂蚁。问题是此功能。它提供了标准的防白痴保护措施，以防止从向量的键中给出索引，但是这样做有误：

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

因此它总是返回0 ...并且在寻找此问题时，我可能对此方法进行了数百次检查，但从未发现任何错误（到目前为止）。

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

关于c++ - 指针在退出功能时设置为空指针，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/16814712/