尝试在 unordered_map 中擦除时双重释放或损坏

Question

我有一个继承自类案例的类 Block：

class Case {
public:
    Case(sf::Vector2f const& pos, sf::IntRect const& textureRect, int type = 1);

protected:
    int type_;

    sf::Vector2f pos_;
    sf::FloatRect hitBox_;
    sf::IntRect textureRect_;
};

class Block : public Case {

public:
    Block(sf::Texture* const& texture, sf::Vector2f const& pos, sf::IntRect const& textureRect, int const& type = 2);

    sf::Sprite& getSprite();

private:
    std::shared_ptr<sf::Texture> texture_;
    sf::Sprite sprite_;

};

（两个构造函数都很基础，我没有在任何地方使用任何新的）

我有一个 unordered_map 的无序地图来存储我的块：

std::unordered_map<int, std::unordered_map<int, Block>> blocks_;

但是当我尝试删除一个时：

if(blocks_[i%lenght].find((i-i%lenght)/lenght) != blocks_[i%lenght].end())
    blocks_[i%lenght].erase((i-i%lenght)/lenght);

我得到了错误：

double free or corruption (out)

我试图打印析构函数，在我得到这个错误之前只调用了 Block 的析构函数。

找了2小时左右，终于在这里问了，谢谢！

Answer 1

你的问题出在构造函数上：

Block::Block(sf::Texture *const &texture, sf::Vector2f const &pos,
             sf::IntRect const &textureRect, int const &type)
    : Case(pos, textureRect, 2), texture_(texture),
      sprite_(*texture_, textureRect_) {}

虽然这样写不一定是错的，但如果你将相同的纹理传递给多个块，那就错了：

sf::Texture *tex = new sf::Texture(/* ... params ... */);

Block b1(tex, /* ... remaining params ... */);
Block b2(tex, /* ... remaining params ... */);

现在两个独立的shared_ptr 认为他们是tex 的唯一所有者，因此一旦删除其中一个块，纹理也会被删除，所以如果两个块都被删除，那么你有一个双重免费.

到目前为止，这被认为是一种反模式。通常，如果您使用智能指针，那么您应该将原始指针视为不拥有指针，并且您永远不应该从不拥有指针构造智能指针。 _{（但是，此规则有一个例外，如果您使用不使用智能指针的库，那么您需要检查它们返回或接收的原始指针是否被视为欠指针，如果是，则可能是可以将该原始指针转换为智能指针。）}

您的代码应该是这样的：

Block::Block(const std::shared_ptr<sf::Texture> &texture, sf::Vector2f const &pos,
             sf::IntRect const &textureRect, int const &type)
    : Case(pos, textureRect, 2), texture_(texture),
      sprite_(*texture_, textureRect_) {}

你应该像这样构造你的Blocks：

std::shared_ptr<Texture> tex = std::make_shared<Texture>(/* ... params ... */);

Block b1(tex, /* ... remaining params ... */);
Block b2(tex, /* ... remaining params ... */);

这并不意味着你不应该使用原始指针。如果你例如会有一个函数可以将纹理绘制到屏幕上，那么原始指针就可以了：

void draw_texture( sf::Texture * const tex) {
   // do some drawing but don't store tex somewhere
   // so tex is only used within that draw_texture call
}

那么你会这样称呼它：

std::shared_ptr<Texture> tex = std::make_shared<Texture>(/* ... params ... */);

draw_texture(tex.get());