c++ - std::swap(*(void **)x, *(void **)y) 是什么意思？

Question

我刚读了这个答案How are virtual functions and vtable implemented? .响应的作者使用了这个表达式:

std::swap(*(void **)x, *(void **)y);
// Now x is a C, and y is a B! Hope they used the same layout of members!

有人可以解释一下它是如何工作的吗？为什么以及什么是 (void **) 后跟 operator*？

Answer 1

它涉及未定义的行为，因此不能保证有效。

基本思想是 x 和 y 是指向相同基类型对象的指针，其中该类型至少有一个虚函数，并且编译器通过在每个对象的最开头(即偏移量 0)放置一个 vtable 指针 来实现虚函数机制。这是迄今为止最常见的做事方式。但不是唯一的方法。

然后，交换假设这些 vtable 指针的大小与 void* 相同。