谁让狗出去的？- 当"Is-A"在类层次结构中遇到"Has-A"时销毁对象

Who let the dogs out? - Object destruction when "Is-A" meets "Has-A" in a class hierarchy

本文关键字：层次结构 遇到 Has-A 对象 Is-A      更新时间：2023-10-16

考虑一下：

class FluffyThing
{
public:
  FluffyThing()
  {
    m_pMyFur = new Fur;
  }
  virtual ~FluffyThing();
protected:
  Fur * m_pMyFur;
};
class ClawedFluffyThing : public FluffyThing
{
public:
  ClawedFluffyThing()
    : FluffyThing()
  {
    m_pMyClaws = new Claws;
  }
  virtual ~ClawedFluffyThing();
protected:
  Claws * m_pMyClaws;
};
class ScaryFluffyThing : public ClawedFluffyThing
{
public:
  ScaryFluffyThing()
    : ClawedFluffyThing()
  {
    m_pMyTeeth = new Teeth;
    m_pMyCollar = new SpikedCollar;
  }
  virtual ~ScaryFluffyThing();
protected:
  Teeth * m_pMyTeeth;
  SpikedCollar * m_pMyCollar;
};

希望没有太多错误 - 我想你明白了。关键的一点是，有 3 个类之间具有 IS-A 关系，每个类还有一两个 HAS-A 属性，在销毁时间方面需要一些清理。如果我没有声明虚拟析构函数，编译器会为我自动生成以下内容吗？声明析构函数并因此被迫实现它们（假设使用了类）是执行销毁的正确方法吗？

FluffyThing::~FluffyThing()
{
  delete m_pMyFur;
}
ClawedFluffyThing::~ClawedFluffyThing()
{
  delete m_pMyClaws;
  FluffyThing::~FluffyThing();
}
ScaryFluffyThing::~ScaryFluffyThing()
{
   delete m_pMyTeeth;
   delete m_pMyCollar;
   ClawedFluffyThing::~ClawedFluffyThing();
}

肯定已经有一个明确的答案了......但我不能足够快地把手放在我喜欢的地方。

No.您不会手动调用基类的析构函数，它们会自动调用，顺序与继承相反。除此之外，还好。

FluffyThing::~FluffyThing()
{
  delete m_pMyFur;
}
ClawedFluffyThing::~ClawedFluffyThing()
{
  delete m_pMyClaws;
} //will call ~FluffyThing
ScaryFluffyThing::~ScaryFluffyThing()
{
   delete m_pMyTeeth;
   delete m_pMyCollar;
}  //will call ~ClawedFluffyThing

当然，如果您使用 RAII（智能指针而不是原始指针），您甚至不需要 delete s。

如果我没有声明虚拟析构函数，编译器会为我自动生成以下内容吗？

第:)号 virtual析构函数用于在通过基类指针删除派生类实例时的正确行为。以下：

FluffyThing* p = new ScaryFluffyThing;
delete p;

只有当FluffyThing的析构函数是虚拟的时才合法。否则，这是未定义的行为。

相关文章：