析构函数

  析构函数在执行的时候,会先将vptr指针初始化为当前类的虚表vtable首地址,但是如果析构函数时编译器提供非无用的默认析构函数,则不会有vptr指针的初始化操作:

  c++源码:

class X {
private:
    int i;
public:
    virtual void set(int ii) {
        i = ii;
    }
    ~X() {}
};
class Y : public X {
private:
    int i;
};
int main() {
    Y y;
}

  类Y析构函数汇编码:

??1Y@@QAE@XZ PROC                    ; Y::~Y, COMDAT
; _this$ = ecx
    push    ebp
    mov    ebp, esp
    push    ecx;为传进来的y对象首地址预留空间
    mov    DWORD PTR _this$[ebp], ecx;ecx中保存y对象首地址,存到刚才空间中
    mov    ecx, DWORD PTR _this$[ebp];将y对象首地址(y对象包含父对象,他们的首地址一样)传给ecx,作为隐含参数传地址类X的析构函数
    call    ??1X@@QAE@XZ                ; 调用类X的析构函数
    mov    esp, ebp
    pop    ebp
    ret    0
??1Y@@QAE@XZ ENDP

  从汇编码可以看到,编译器为y对象提供了非无用的默认析构函数,用来调用父类的析构函数,但是在y对象的析构函数里面,并没有初始化y对象vptr指针指向类Y的虚表vtable的操作。

  下面是类X的析构函数汇编码:

??1X@@QAE@XZ PROC                    ; X::~X, COMDAT
; _this$ = ecx

; 9    :     ~X() {}

    push    ebp
    mov    ebp, esp
    push    ecx;为传进来的父对象的首地址预留空间
    mov    DWORD PTR _this$[ebp], ecx;为将传进来的父对象首地址存放到刚才空间
    mov    eax, DWORD PTR _this$[ebp];父对象首地址给eax
    mov    DWORD PTR [eax], OFFSET ??_7X@@6B@;将父类vtable首地址给父对象首地址处的内存 即初始化父对象中的vptr指针
    mov    esp, ebp
    pop    ebp
    ret    0
??1X@@QAE@XZ ENDP

  父类的析构函数有初始化vptr的操作。

  抽象基类

  c++源码如下:

class X {
private:
    int i;
public:
    virtual void f() = 0;//纯虚函数
    X() {
       i = 1;
    }
};

class Y : public X {//Y继承自X
private:
   int j;
public:
    virtual void f() {
        j = 2;
    }
};

 


int main() {
 Y y;
}

  只看父类X的构造函数和子类Y的构造函数的汇编码:

  子类Y构造函数的汇编码:

??0Y@@QAE@XZ PROC                    ; Y::Y, COMDAT
; _this$ = ecx
    push    ebp
    mov    ebp, esp
    push    ecx;为保存子对象首地址预留空间
    mov    DWORD PTR _this$[ebp], ecx;将ecx(里面存放子对象首地址)的值放到刚才的空间
    mov    ecx, DWORD PTR _this$[ebp];将子对象首地址传给ecx,作为隐含参数(this指针)调用父对象的构造函数
    call    ??0X@@QAE@XZ                ; 调用父对象的构造函数
    mov    eax, DWORD PTR _this$[ebp];将子对象首地址给eax t
    mov    DWORD PTR [eax], OFFSET ??_7Y@@6B@;将子对象的vtable首地址存到子对象首地址所指向的内存,即初始化子对象的vptr
    mov    eax, DWORD PTR _this$[ebp];将子对象的首地址给eax,作为返回值。构造函数总是返回对象首地址
    mov    esp, ebp
    pop    ebp
    ret    0
??0Y@@QAE@XZ ENDP

  父类X构造函数汇编码:

??0X@@QAE@XZPROC                    ; X::X, COMDAT
; _this$ = ecx

; 6    :     X() {

    push    ebp
    mov    ebp, esp
    push    ecx;压栈的目的是为存储父对象首地址(即this指针)预留空间
    mov    DWORD PTR _this$[ebp], ecx;将父对象首地址存到刚才的空间
    mov    eax, DWORD PTR _this$[ebp];将父对象的首地址传给eax
    mov    DWORD PTR [eax], OFFSET 7X@@6B将父对象的vtable(由于父类为抽象类,其vtable不完全,即里面没有存放纯虚函数的地址,只为其保留了一个位置)首地址存到父对象首地址所指的内存 即初始化父对象的vptr指针

; 7    :        i = 1;

    mov    ecx, DWORD PTR _this$[ebp];将父对象的首地址给ecx
    mov    DWORD PTR [ecx+4], 1;将1存到偏移父对象首地址4byte处,即给父对象的成员变量i赋值

; 8    :     }

    mov    eax, DWORD PTR _this$[ebp];父对象的首地址给eax 作为返回值。构造函数总是返回对象首地址
    mov    esp, ebp
    pop    ebp
    ret    0
0X@@QAE@XZ ENDP