从汇编看c++中的多态

　　在构造函数调用虚函数机制失效，也是说，在构造函数中调用虚函数总是本地版本（析构函数中也是一样）

　　c++源码如下：

class X {
private:
    int i;
public:
    virtual void f(int ii) {
        i = ii;
    }
    X() {
       f(1);
    }
};

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

int main() {
 Y y;
}

　　下面主要来看父类X和子类Y中的构造函数的汇编码：

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

??0Y@@QAE@XZ PROC                    ; Y::Y， COMDAT
; _this$ = ecx

; 20   :     Y() {

    push    ebp
    mov    ebp， esp
    push    ecx;压栈的目的是为存放this指针(在ecx寄存器里面存放了子对象首地址)预留空间
    mov    DWORD PTR _this$[ebp]， ecx;将子对象首地址存入刚才预留空间
    mov    ecx， DWORD PTR _this$[ebp];将子类首地址作为隐含参数传给父对象构造器(子对象首地址和父对象首地址一样)
    call    ??0X@@QAE@XZ                ; 调用父类构造器
    mov    eax， DWORD PTR _this$[ebp];将子对象首地址传给寄存器eax
    mov    DWORD PTR [eax]， OFFSET ??_7Y@@6B@;将子对象的vtable首地址存到子对象首地址所指向的内存，即初始化子对象的vptr指针

; 21   :         f(2);

    push    2;将2压栈，作为参数调用函数f，这里，子对象调用的是自己的函数f
    mov    ecx， DWORD PTR _this$[ebp];将子对象首地址传给ecx，作为隐含参数传递给成员函数f
    call    ?f@Y@@UAEXH@Z                ; 调用子对象中的f函数

; 22   :     }

    mov    eax， DWORD PTR _this$[ebp];将子对象首地址给寄存器eax，作为返回值。构造器总是返回对象首地址
    mov    esp， ebp
    pop    ebp
    ret    0
??0Y@@QAE@XZENDP                    ; Y::Y

　　父类X构造函数的汇编码：

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

; 8    :     X() {

    push    ebp
    mov    ebp， esp
    push    ecx;压栈的目的是存放父对象首地址预留空间 父对象首地址和子对象首地址一样
    mov    DWORD PTR _this$[ebp]， ecx;ecx里面存放父对象首地址，传给刚才预留的空间
    mov    eax， DWORD PTR _this$[ebp];将父对象首地址传给eax
    mov    DWORD PTR [eax]， OFFSET ??_7X@@6B@;将父对象的vtable首地址写入父对象首地址所指向的内存 即初始化父对象的vptr指针

; 9    :        f(1);

    push    1;将1压栈，作为参数调用函数f 这里调用时父对象的版本
    mov    ecx， DWORD PTR _this$[ebp];将父对象首地址作为隐含参数传给f
    call    ?f@X@@UAEXH@Z                ; 调用函数f

; 10   :     }

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

　　从汇编码中可以看到，构造函数中确实不存在虚机制，都只调用本地版本的函数