C ++虚拟继承，虚拟析构函数和dynamic_cast <void *>

您在问它是如何工作的。您将无法获得确切的答案。最好的答案是，std::destroy_at如果它是UB至，则将能够权威地回答dynamic_cast。这就是标准所说的，只要遵守标准，编译器作者就可以按照自己的喜好来做。

就是说，您可以在实践中推断可能发生的情况。

std::destroy_at(c);

不会取消分配内存。它只能修改由malloc分配的内存。

dynamic_cast

从逻辑上讲应该只看内存缓冲区。缺少局部优化，它唯一可以看到的地方是malloc分配的缓冲区。

这为您提供了一些工具来弄清楚您的实现在做什么。新放置后立即在该位置打印sizeof(child)出内存字节c。然后在每个步骤之后再次打印内存。

这将告诉您您的实现正在做什么。它不能保证其他编译器/计算机可以做什么。但是我想您会在销毁期间看到v表指针被重置为零。

如果我在编译器上尝试以下操作：

#include <cstdlib>
#include <cassert>
#include <memory>
#include <iostream>

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

class parent : public virtual grandparent 
{};

class child : public parent
{
int x = 0x42;// just to see where this is in memory
};

void print(void* c, size_t size)
{
for (size_t i = 0; i < size; i++)
{
    std::cout << std::hex << (int)(((unsigned char*)c)[i]) << " ";
}
std::cout << std::endl;
}

int main() 
{
void* mem = malloc(sizeof(child));
child* c = new (mem) child;

print(c, sizeof(*c));

assert(dynamic_cast<void*>(c) == mem); // ok
std::destroy_at(c);

print(c, sizeof(*c));

assert(dynamic_cast<void*>(c) == mem); // fails
}

我得到：

60 ab d7 0 42 0 0 0 58 ab d7 0

60 ab d7 0 42 0 0 0 34 ab d7 0

断言失败：dynamic_cast（c）== mem，文件

d：\ projects \ test1 \ test1.cpp，第41行

因此，在对象之前还有一些其他内容。这里有0x42，三个填充零和一个指针的存储（这是v表，如调试器所示）。一个指针，在删除过程中会被修改，并阻止下一个dynamic_cast工作。然后可以检查内存并找出更多内容。

但是，您所发现的任何东西都不能保证保留在另一个实现中，甚至在您的下一个版本中也不会保留。