从汇编看c++中的placement operator new

时间：2023-03-09 17:50:23
从汇编看c++中的placement operator new

placement operator new是重载的operator new运算符，它允许我们将对象放到一个指定的内存中。下面来看c++源码:

class X {

private:

    int _x;

public:

    X(int xx = ) : _x(xx) {}

    ~X() {}

    void* operator new(size_t n, void* location) {

        return location;

    }

};

int main() {

    int i;

    X* xp = new (&i) X;//placement operator new的语法

};

下面是main函数里面的汇编码:

int i;

    :     X* xp = new (&i) X;

013913AE  lea         eax,[i]  ;将i的地址给寄存器eax

013913B1  push        eax  ;压栈eax，作为参数传递给operator new，即传递参数loc

013913B2  push         ;压栈内存大小4，即传递参数size_t 由编译器算出

013913B4  call        X::operator new (13910FAh) ;调用operator new

013913B9  add         esp,  ;栈顶指针-8，释放调用operator new而传参时分配的栈空间

013913BC  mov         dword ptr [ebp-0E0h],eax ;eax保存operator new的返回值，即内存空间的首地址

                                               ;这里是变量i的地址 ，将此地址存入ebp-0E0h所代表的内存

013913C2  cmp         dword ptr [ebp-0E0h],  ;将ebp-0E0h内存里面的值与0做比较，判断是否为空指针

013913C9  je          main+50h (13913E0h) ;如果为空，就跳转到地址13913E0h处执行，否则，顺序执行

                                          ;这里顺序执行

013913CB  push          ;压入参数0，为调用构造函数传递参数

013913CD  mov         ecx,dword ptr [ebp-0E0h] ;将 ebp-0E0h内存中的值(变量i的地址)给寄存器ecx

                                                ;作为隐含参数(即this指针)传递给构造函数

013913D3  call        X::X (1391041h);调用构造函数

013913D8  mov         dword ptr [ebp-0E8h],eax  ;寄存器eax存有对象首地址(即变量i的地址)，将eax的值给ebp-0E8h所代表的内存

013913DE  jmp         main+5Ah (13913EAh)  ;跳转到地址13913EAh处执行

013913E0  mov         dword ptr [ebp-0E8h],  ;这一条指令是013913C2 处判断失败后将要执行的指令

                                              ;将0给ebp-0E8h所代表的内存

013913EA  mov         ecx,dword ptr [ebp-0E8h]  ;将ebp-0E8h内存的值给寄存器ecx

013913F0  mov         dword ptr [xp],ecx  ;ecx的值(对象首地址)给指针变量xp

    : };

从汇编码可以看到，首先调用重载之后的placement operator new运算符，它仅仅返回的是变量i的地址。接下来，编译器将这个地址作为所要构造对象的首地址，作为this指针传给了构造函数，进行构造函数的调用。最后，将对象首地址(也就是变量i的地址)给了指针变量xp,从而在变量i处的内存中构造了一个对象。

需要注意的是如果类X所占用的内存比一个int i大，那么，在这种情况下构造的时候，将引起程序崩溃。

相关文章