为什么使用虚拟驱动器std :: vector :: push_back segfaults

Why std::vector::push_back segfaults with virtual destructor?

本文关键字：vector push back segfaults std 虚拟 驱动器 为什么      更新时间：2023-10-16

我有以下类：

class Thing
{
public:
  Thing() {};
  virtual ~Thing() {}
};

class MyOwnThing : public Thing
{
public:
  std::vector<int> m;
  MyOwnThing() {};
  void init()
  {
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    m.push_back(0);
    puts("done");
  }
};

到目前为止，除了基类中的虚拟破坏者之外，还没有什么不寻常的。现在，这就是我在主要功能中所做的：

int main()
{
  MyOwnThing *t = (MyOwnThing *) new Thing(); // (1)
  t->init();
  delete t;
  return 0;
}

上面的代码对push_back的第二个呼叫生成了一个不错的segfault。如果我从Thing中删除虚拟破坏者，则一切都可以顺利进行。怎么了？

1）我怀疑这种演员可能是问题的根源。

MyOwnThing *t = (MyOwnThing *) new Thing();

铸造的需求应该是一个危险信号： Thing是不是 a MyOwnThing。它甚至没有init()的std::vector<int> 。

正式，您在不是MyOwnThing的对象上从MyOwnThing调用该函数后立即触发了UB。行为随着虚拟驱动器而变化的荒谬事实是一切都破裂的症状，因为您将某些任意记忆部分视为std::vector<int>。

相关文章：