C++ 删除对象时出现意外错误

Question

我写了一个解释器，其中每个关键字、语法符号或运算符都有Token的基类。

class Token {
    private:
        static std::vector<Token *> registered;

        size_t id;

        std::string name;
        std::string symbol;

    public:
        Token(const std::string& Name, const std::string& Symbol);
        Token::~Token();

        Token(const Token& rhs) = delete;
        Token& operator =(const Token& rhs) = delete;

        /* ... */

        static void DeleteRegistered();
};

构造函数：

Token::Token(const std::string& Name, const std::string& Symbol)
                : name(Name), symbol(Symbol) {
    Token::registered.push_back(this);
    this->id = Token::registered.size();
}

析构函数：

Token::~Token() {
    // Removes 'this' from Token::registered
    Token::registered.erase(std::remove(Token::registered.begin(), Token::registered.end(), this), Token::registered.end());
}

删除注册：

void Token::DeleteRegistered() {
    for (size_t i = 0; i < Token::registered.size(); ++i) {
        delete Token::registered[i];
    }
}

在我的代码中，许多不同的类存储指向最终派生自 Token 的子类的指针容器。

为了避免删除对象两次或更多次，我存储了对所有分配实例的引用，并有一个静态方法将它们全部删除。

所有操作执行完毕后调用DeleteRegistered方法。

现在，我的问题：

当我调用Token::DeleteRegistered 时（在程序退出前几行发生，它会失败并且在调试中显示以下内容：

File: f:\dd\vctools\crt\crtw32\misc\dbgdel.cpp
Line: 52

Expression: _BLOCK_TYPE_IS_VALID(pHead->nBlockUse)

由于所有Token 实例都没有真正定义的范围，因此我提出了这个设计，在我看来目前还可以。

什么会导致这个错误？

编辑： 析构函数是我后期添加的，将其注释掉仍然会显示上述错误。 delete 甚至无法删除容器中的第一项。

第二次编辑： 我如何使用Token的一个例子：

this->parser.Operators.Add(new RefBinaryOperator(
    "Assignment", "=", 14, RefBinaryOperator::Assign
));

注意：RefBinaryOperator 是Token 的子类（非直接），最终调用Token 的构造函数。

例如，我从Operators 容器中提取指向Tokens 的指针，并将它们分配给其他结构。一切完成后，我打电话给DeleteRegistered。

最终编辑：

我通过将 Token 析构函数声明为 virtual 来使其工作：

Does delete work with pointers to base class?

Answer 1

发生的情况是，在 Token::~Token() 中，您从 registered 向量中调用 erase，这会使您注意到问题的 for 循环中使用的索引无效。您需要记住，在该向量上调用 erase 后，需要正确调整 for 循环索引。如果您保留当前的析构函数，则以下内容可以在 DeleteRegistered 中工作：

void DeleteRegistered() {
  while(!Token::registered.empty())
    delete *Token::registered.begin();
}

此外，由于您有许多从Token 扩展的类，~Token() 应该变为虚拟，以便正确处理基类的销毁。

Answer 2

void Token::DeleteRegistered() {
    for (size_t i = 0; i < Token::registered.size(); ++i) {
        delete Token::registered[i];
    }
}

上面不会做你想做的事。它将从registered 中删除第一个（第0 个）元素。第二个元素现在变成了第一个（第 0 个元素），但现在 i 将是 1。您的循环将只删除 Token::registered 中的所有其他元素。它泄漏了。

处理此问题的一种方法：在向量不为空时继续删除第一个或最后一个元素。我建议删除最后一个元素，因为这更符合向量的工作方式。删除第一个元素直到向量为空涉及每一步重建向量。

void Token::DeleteRegistered() {
    while (! Token::registered.empty()) {
        delete Token::registered.back();
    }
}