不可思議的C++，關於繼承

問題是這麼來的：

    ATL的視窗實現機制主要思想是繼承和模板，這樣做的目的是避免虛函數運行時類結構增大(同樣，MFC中為了實現訊息映射和RTTI，同樣沒有採用虛函數機制，而是採用宏來達到這一目的)。一個簡單的樣本程式如下：

#include <iostream>
using namespace std;
template<class T>
class Base
{
public:
    Base(){};
    virtual ~Base(){};
    void func()
    {
        (static_cast<T*>(this))->func();
        cout << "Base" << endl;
    }
};
class Derived : public Base<Derived>
{
public:
    Derived() : Base<Derived>(){};
    void func()
    {
        cout << "Derived" << endl;
    }
};
int main(int argc, char* argv[])
{
    Base<Derived> *a = new Derived();
    a->func();
    delete a;
    system("pause");
    return 0;
}

輸出結果：

        Derived
        Base

    注意，這裡的func()並不是虛函數。巧妙之處在於對基類的thsi指標的強制轉換。

    問題來了，如果在main中不是採用指標，而是採用基類對象，程式輸出又會是怎樣的？也許你會很快的回答，依然不變，因為這裡沒有採用虛函數機制。為此，程式進行了一下改動，如下：

#include <iostream>
using namespace std;
template<class T>
class Base
{
public:
    Base() {};
    virtual ~Base(){};
    void func()
    {
        (static_cast<T*>(this))->func();
        cout << "Base " << endl;
    }
};
class Derived : public Base<Derived>
{
public:
    Derived() : Base<Derived>(),n(3){};
    void func()
    {
        cout << "Derived " << n << endl;
    }
private:
 int n;
};
int main(int argc, char* argv[])
{
    Base<Derived> a;
    a.func();
    system("pause");
    return 0;
}

    讓衍生類別的func()函數輸出衍生類別的成員變數。現在你還能一下子說出結果嗎？程式中只產生了基類的對象，而並沒有產生衍生類別對象。但是基類仍然可以調用衍生類別的函數。

輸出結果：

        Derived 1245104
        Base

    因為衍生類別的建構函式並沒有被調用，所以n的值是隨機的。