兩道關於C++對象內存模型和多態機制的tricky題目

class parent{
public: virtual void output();  
};  
void parent::output()  
{  
    printf("parent!");  
}  
  
class son : public parent  
{  
public: virtual void output();  
};  
void son::output()  
{  
    printf("son!");  
}

則以下程序段：
son s;
::memset(&s , 0 , sizeof(s));
parent& p = s;
p.output();

執行結果是（）

A、parent!       B、son!       C、son!parent!           D、沒有輸出結果，程序運行出錯

答案是D。應該很多人會選擇B，跟我一樣。。。主要是因爲沒看懂memset(&s , 0 , sizeof(s));這行的意思。

      先說下多態吧。基類指針或引用可以引用派生類對象，注意引用不能引用臨時變量，派生類重寫了基類中的虛函數，在使用基類指針或引用調用時就會產生多態行爲，也就是說實際調用的是派生類中的函數。如果去掉memset(&s , 0 , sizeof(s));這一行的話，答案就是B。

      再說一下c++對象內存模型吧。c++編譯器不允許不同對象有相同的內存地址，因此空類和空結構體大小爲1（具體原因）。c++多態的實現機制，含有虛函數的類的每個對象，內部都有一個虛函數地址表指針，每個地址對應代碼段中相應的虛函數。如果採用memset啥都不管就把整個對象的內存全置爲0，那麼虛函數表指針就空了，調用的時候找不到對應函數，運行出錯！

還有一題

     以下代碼的執行情況是：

class classA
{
public:
    classA()
    {
        clear();
    }
    virtual ~classA()
    {
    }
    void clear()
    {
        memset(this , 0 , sizeof(*this));
    }
    virtual void func()
    {
        printf("func\n");
    }
};
class classB : public classA
{
};

int main(void)
{
    classA oa;
    classB ob;
    classA * pa0 = &oa;
    classA * pa1 = &ob;
    classB * pb = &ob;

    oa.func();         // 1
    ob.func();         // 2
    pa0->func();       // 3
    pa1->func();       // 4
    pb->func();        // 5

    return 0;
}

A、func              func        執行出錯      執行出錯        func  
B、執行出錯         func        執行出錯      執行出錯        func 
C、執行出錯      執行出錯      執行出錯      執行出錯      執行出錯
D、func              func          func            func          func
E、func              func        執行出錯          func          func
F、以上選項都不對

    答案是E，語句1、2執行沒問題，3執行肯定出錯，4和5具體原因還沒弄清楚。。。難道是派生類對象在基類構造完成後，重新寫了虛表指針？如果你知道，還請留言相告啊