c++类反汇编

Question

我有以下代码：

class Base {
public:
int x,y;
Base() { x=10; y=20; }
virtual void myfunction() { }
};

int main() {
Base *b = new Base();
return 0;
}

反汇编给了我类似的东西：

push 0Ch                ; size of Base
call j_<some giberrish> ; IDA gives the comment "operator new(uint)"
add esp, 4              ; function epilogue
mov [ebp+var_E0], eax

几行之后，您将调用构造函数。

mov ecx, [ebp+var_E0]
call j_Base__Base
mov [ebp+var_F4], eax

• 起初我以为var_E0 将包含指向实例的指针，但现在我很确定var_F4 确实如此，因为它包含构造函数的返回值。
• 在那种情况下，var_E0 到底包含什么？为什么在调用构造函数之前将其移动到ecx？

Answer 1

这是编译器临时生成的一些内部变量。

当你写new Base时，编译器会生成一个对全局的调用 operator new 函数，然后调用返回的构造函数 地址。显然，您的编译器保存从返回的地址 operator new 在内存中，而不是将其保存在寄存器中。

Answer 2

Visual C++ 使用内部约定，构造函数返回指向对象实例的指针（根据 C++ 标准，构造函数没有返回值）。所以在你的情况下 var_E0 和 var_F4 都持有实例指针。

查看my article 了解有关 Visual C++ 如何实现 C++ 的更多详细信息。

Answer 3

这几乎可以肯定是您正在查看的调试版本，并且调试版本对其所做的事情非常保守。创建对象是一个两阶段的过程：分配内存，然后构造对象。您的编译器将分配的内存指针放入临时变量中。如果您构建优化版本，则不会存储此临时变量，因为这会引入不必要的开销（写入/读取 RAM）。