c++ - 抽象类析构函数与继承的 "Shutdown"函数

Question

class System
{
    public:
        virtual ~System() final { Shutdown(); };
        virtual void Shutdown() = 0;
}

class DerivedSystem : public System
{
    public:
        virtual void Shutdown() override;

    private:
        Object* MySelfAllocatedObj;
}

这是我的用例，

我有一个管理器，其中包含由各种其他“模块”注册的 System* 列表，这些 System* 中的每一个实际上都是派生类，系统管理器不知道。

当它们各自的系统* 应该结束/死亡时，这些模块将请求 Shutdown()。

因此，如果其中一个 DerivedSystem 具有 MySelfAllocatedObj (ptr) 并将其作为 Shutdown() 的一部分销毁，我的内存是否会使用当前架构正确清理？

我这样做是为了限制“销毁”函数的数量，即 Destructor/Shutdown，但不想将析构函数暴露给“请求 DerivedSystem 的模块)”

额外:如果 DerievedSystem 类要声明析构函数会发生什么？

编辑:添加了:公共(public)系统(继承)

问题不是我是否应该，问题是，我的内存是否会被正确清理，或者被管理器销毁

delete System* 

或由请求模块(第 3 方)调用

SystemManager->RequestShutdown(SystemID...) { System->Shutdown()};

这两条路径是否会以相同的“内存已清除”结束，或者我会错过什么？

重点是不要在这两个函数中重复代码。

Answer 1

在析构函数中，任何派生对象的生命周期都已经结束，就像在构造函数中一样，任何派生对象的生命周期尚未开始。对析构函数(或构造函数)中的虚函数的调用将被静态调度，因为不再有派生对象(或者在构造函数的情况下还不存在派生对象)可以将其调度到动态地。除非您定义 System::Shutdown，否则程序不太可能链接成功。

此外，声明基类 final 的析构函数将阻止您派生此类基类，因为即使是派生类的隐式生成的析构函数也将是“覆盖”。

Would my memory get cleaned properly either being destroyed by the Manager

delete System*

你的伪代码不清楚，但从描述中我了解到你删除了一个System*类型的指针

不，因为 1. DerivedSystem::shutdown 从未被调用，并且因为 2. DerivedSystem 格式错误，因为它覆盖了最终的析构函数并且程序不太可能编译。

SystemManager->RequestShutdown(SystemID...) { System->Shutdown()};

这将调用 DerivedSystem::shutdown，因此它应该在这方面起作用。不过，该类的格式不正确仍然是一个问题。

---

Those modules will Request a Shutdown() when their respective System* should end/die.

I'm doing so to limit the number of "destruction" functions ie Destructor/Shutdown

如果您想限制销毁函数的数量，一个简单的解决方案是根本不提供 Shutdown 函数，而是让系统在系统应该死亡时销毁它们各自的系统。

如果您确实需要一个单独的Shutdown 函数——我不推荐这样做——并且您想在析构函数中重用它，那么您需要在每个派生类的析构函数中调用它。

---

附言。显式删除和指向拥有资源的裸指针非常容易出错。最好改用智能指针。