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

2021-12-24 00:00:00 polymorphism c++ boost

你是否必须传递与 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 应该可以工作,所以编译器在某处存储了足够的信息来解决它.<小时>感谢所有回答和评论的人的帮助.我已经知道虚拟析构函数的重要性,如我的示例所示;看到答案后,我稍微思考了一下,并意识到虚拟析构函数的全部原因就是这种情况.因此它必须起作用.由于没有将指针转换回原始指针的可见方法,我感到很困惑.多一点思考让我相信有一种无形的手段,我推论析构函数正在返回真正的指针以供 delete 释放.当我在 ~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.

相关文章