从汇编看c++中的多态

　　析构函数

　　析构函数在执行的时候，会先将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