2

我试图弄清楚使用虚拟析构函数从模块 B 中删除在模块 A 中创建的对象是否安全。

使用 MS C++ 编译器时，删除具有虚拟析构函数的对象只会导致单个 vtable 调用，并且在其中free()执行底层调用（即在创建对象的同一模块中，即安全）。

问题是：它只是当前的 MS 实现，还是在某些标准或文档中得到保证并且可以安全地依赖？

这是 VS2010 中反汇编的虚拟析构函数调用的示例：

int _tmain(int argc, _TCHAR* argv[])
{
    test *p = new test();
008A1030  push        4  
008A1032  call        dword ptr [__imp_operator new (8A20A0h)]  
008A1038  add         esp,4  
008A103B  test        eax,eax  
008A103D  je          wmain+19h (8A1049h)  
008A103F  mov         dword ptr [eax],offset test::`vftable' (8A2100h)  
008A1045  mov         ecx,eax  
008A1047  jmp         wmain+1Bh (8A104Bh)  
008A1049  xor         ecx,ecx  
    __asm int 3;
008A104B  int         3  
    delete p;
008A104C  test        ecx,ecx  
008A104E  je          wmain+28h (8A1058h)  
008A1050  mov         eax,dword ptr [ecx]  
008A1052  mov         edx,dword ptr [eax]  
008A1054  push        1  
008A1056  call        edx  
    __asm int 3;
008A1058  int         3  
    return 0;
008A1059  xor         eax,eax  
}
4

1 回答 1

3

那么，调用者不会知道对象的类型？在不知道那种类型的情况下，来电者怎么会打电话Derived::operator delete？只能Derived::~Derived知道是否Derived::operator delete必须调用而不是泛型::operator delete。

因此，我们可以推断出调用者不能调用::operator delete。

是否operator delete稍后调用未指定free()，但无论如何这是一个细节。

于 2012-08-13T10:55:46.990 回答