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

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

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

Answer 2

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

不想调用它的三种情况：

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

编辑：添加第三种情况

Answer 3

基本上，虚析构函数也实现了调用操作符delete。参数在那里决定是否调用它。

见this answer that shows the meaning of such hidden destructor parameter。