Question

在以下代码中，dynamic_cast为什么不产生Base *？

#include <cassert>

class BaseI;

class SystemI {
public:
    virtual ~SystemI() {}
    virtual void remove(BaseI *) = 0;
};

class BaseI {
public:
    SystemI * system = nullptr;
    virtual ~BaseI() {
        system->remove(this);
    }
};

class Base : public BaseI { };

class System : public SystemI {
public:
    System() {
        Base base;
        base.system = this;
    }
    void remove(BaseI * basei) override {
        Base * base = dynamic_cast<Base *>(basei);
        assert(base != nullptr); // <-------------------- fails
    }
};

int main() {
    System sys;
}

我的目的是创建一种机制，其中源自BaseI的组件在删除后会自动从系统中删除。

Answer 1

在C ++中，派生类对象的“派生性”在基类析构函数开始运行之前被销毁。因此，当Base对象超出范围时，其（空）析构函数Base::~Base首先运行；完成此操作后，将不再有Base对象，但仍然有一个BaseI对象，随后必须将其销毁。因此，当BaseI::~BaseI运行并调用remove时，向Base*的动态转换必须失败。

对派生类的dynamic_cast返回nullptr

1 个答案: