c++ - 传递给虚拟析构函数的这个额外参数是什么？

Question

我有这个代码：

class Class {
public:
    virtual ~Class() {}
};

int main()
{
    Class* object = new Class();
    delete object;
}

我用 Visual C++ 10 编译并得到这个反汇编delete object语句：

delete object;
test        eax,eax  
je          wmain+23h (401041h)  
mov         edx,dword ptr [eax]  
push        1  
mov         ecx,eax  
call        dword ptr [edx]

这对于实际的析构函数：

Class::`scalar deleting destructor':
test        byte ptr [esp+4],1  
push        esi  
mov         esi,ecx  
mov         dword ptr [esi],offset Class::`vftable' (402100h)  
je          Class::`scalar deleting destructor'+18h (401018h)  
push        esi  
call        dword ptr [__imp_operator delete (4020A8h)]  
pop         ecx  
mov         eax,esi  
pop         esi  
ret         4

在调用站点做什么？push 1为什么test在析构函数入口点检查该值并有条件地绕过对 的调用operator delete()？

Answer 1

析构函数使用该参数来知道它是否应该在最后调用 delete。

您不想调用它的 3 种情况：

• 析构函数由派生类析构函数调用
• 该对象是在堆栈上分配的，因此不是用 new 创建的。
• 该对象是另一个对象的字段，因此不是由 new 创建的

编辑：添加第三种情况

Answer 2

基本上，虚拟析构函数也实现了调用操作符删除。该参数用于决定是否调用它。

请参阅此答案，该答案显示了这种隐藏的析构函数参数的含义。

Answer 3

我相信额外的参数告诉编译器哪个析构函数是派生最多的，所以它只在适当的继承级别上释放一次内存。如果我没记错的话，我在 gcc 中看到过类似的东西。