删除是否适用于指向基类的指针?

2022-01-24 00:00:00 polymorphism c++ boost

您是否必须传递 delete 与 new 返回的相同指针,或者您可以传递一个指向类基类型之一的指针?例如:

Do you have to pass delete the same pointer that was returned by new, or can you pass it a pointer to one of the classes base types? For example:

class Base
{
public:
    virtual ~Base();
    ...
};

class IFoo
{
public:
    virtual ~IFoo() {}
    virtual void DoSomething() = 0;
};

class Bar : public Base, public IFoo
{
public:
    virtual ~Bar();
    void DoSomething();
    ...
};

Bar * pBar = new Bar;
IFoo * pFoo = pBar;
delete pFoo;

当然,这大大简化了.我真正想做的是创建一个充满 boost::shared_ptr 的容器,并将其传递给一些代码,该代码将在完成后将其从容器中删除.此代码对 Bar 或 Base 的实现一无所知,并将依赖 shared_ptr 析构函数中隐含的删除运算符来做正确的事情.

Of course this is greatly simplified. What I really want to do is create a container full of boost::shared_ptr and pass it to some code that will remove it from the container when it is finished. This code will know nothing of the implementation of Bar or Base, and will rely on the implied delete operator in the shared_ptr destructor to do the right thing.

这可能行得通吗?我的直觉说不,因为指针不会有相同的地址.另一方面, dynamic_cast 应该可以工作,所以编译器在某个地方存储了足够的信息来解决它.<小时>感谢您的帮助,所有回答和评论的人.我已经知道虚拟析构函数的重要性,如我的示例所示;看到答案后,我稍微思考了一下,并意识到虚拟析构函数的全部原因就是这种情况.因此它必须工作.我被缺少将指针转换回原始指针的可见方法而感到震惊.更多的思考让我相信有一种看不见的方法,我推测析构函数正在返回真正的删除指针以释放.当我在 ~Base: 中看到这一行时,调查从 Microsoft VC++ 编译的代码证实了我的怀疑:

Can this possibly work? My intuition says no, since the pointers will not have the same address. On the other hand, a dynamic_cast<Bar*> should work, so somewhere the compiler is storing enough information to figure it out.


Thanks for the help, everybody who answered and commented. I already knew the importance of virtual destructors, as shown in my example; after seeing the answer I gave it a little thought, and realized the whole reason for a virtual destructor is this exact scenario. Thus it had to work. I was thrown by the absence of a visible means of converting the pointer back to the original. A little more thinking led me to believe there was an invisible means, and I theorized that the destructor was returning the true pointer for delete to release. Investigating the compiled code from Microsoft VC++ confirmed my suspicion when I saw this line in ~Base:

mov eax, DWORD PTR _this$[ebp]

跟踪汇编程序发现这是传递给删除函数的指针.谜团解开了.

Tracing the assembler revealed that this was the pointer being passed to the delete function. Mystery solved.

我已经修复了将虚拟析构函数添加到 IFoo 的示例,这是一个简单的疏忽.再次感谢所有指出这一点的人.

I've fixed the example to add the virtual destructor to IFoo, it was a simple oversight. Thanks again to everyone who pointed it out.

推荐答案

是的,它会工作,当且仅当基类析构函数是虚拟的,你已经为 Base 基类,但不适用于 IFoo 基类.如果基类析构函数是虚拟的,那么当你在基类指针上调用 operator delete 时,它使用动态调度通过在虚函数中查找派生类析构函数来确定如何删除对象表.

Yes, it will work, if and only if the base class destructor is virtual, which you have done for the Base base class but not for the IFoo base class. If the base class destructor is virtual, then when you call operator delete on the base class pointer, it uses dynamic dispatch to figure out how to delete the object by looking up the derived class destructor in the virtual function table.

在您的多重继承的情况下,只有当您删除它的基类具有虚拟析构函数时,它才会起作用;其他基类可以没有虚拟析构函数,但前提是您不尝试通过其他基类指针删除任何派生对象.

In your case of multiple inheritance, it will only work if the base class you're deleting it through has a virtual destructor; it's ok for the other base classes to not have a virtual destructor, but only if you don't try to delete any derived objects via those other base class pointers.

相关文章