c++中基類與派生類中隱含的this指針的分析

先不要看結果，看一下你是否真正了解了this指針？

#include<iostream>
using namespace std;

class Parent{
     public:
         int x;
         Parent *p;
     public:
         Parent(){}
         Parent(int x){
           this->x=x; 
           p=this;
        }
         virtual void f(){
            cout<<"Parent::f()"<<endl; 
        }
        void g(){
            cout<<"Parent::g()"<<endl;
        }
    
        void h(){
            cout<<"Parent::h()"<<endl;
            f();
            g();
            y();
            cout<<"LOOK HERE: "<<x<<endl;
        }
        
        private:
            void y(){
                cout<<"Parent::y()"<<endl;
            }
};

class Child : public Parent{
    public:
        int x;
        
    public:
        Child(){}
        Child(int x) : Parent(x+5){//正確的調用父類構造函數要寫在初始化型參列表中 
            
             //這樣企圖調用父類的構造函數是錯誤的，因為這是另外創造了一個臨時對象，函數結束之后就什么都沒有了！ 
            //Parent(x+5);
            this->x=x;
        }
        void f(){
            cout<<"Child f()"<<endl;
        }
        void g(){
            cout<<"Child g()"<<endl; 
        }
};

int main(){
    //例一 
    Child *ch=new Child();
    ch->h(); 
    cout<<endl;
    //例二： 
    ch=new Child(5);
    ch->h();
    cout<<endl;
    
    //例三： 
    ch->p->h();
    return 0;
} 

/*
Parent::h()
Child f()
Parent::g()
Parent::y()
LOOK HERE: 9306304Parent::h()
Child f()
Parent::g()
Parent::y()
LOOK HERE: 10Parent::h()
Child f()
Parent::g()
Parent::y()
LOOK HERE: 10
*/ 

?

首先Child繼承了Parent中的 h()方法！
我們new 了一個Child類的對象XXX， 用ch指向了它！
當ch去調用h()方法的時候，好了關鍵的問題來了，那就是此時的this指針到底是指向誰的....

要知道，this指針是和對象相關的，所以無論怎樣，那么調用h()方法的是XXX這個對象，
那么this就是指向XXX這個對象XXX！在入棧的時候，this也一同被壓入！既然this是指向XXX
的，為什么會調用基類的g()方法呢？然后又調用的是派生類中的f()方法呢？（注意：g（）方法
和f()方法在基類和派生類中都有）.....

仔細看一下，是不是感覺和派生類向上轉型為基類的多態差不多啊。子類在調用h()方法時，其實
默認將this的類型進行了向上提升，也就是由Child* this -> Parent* this;想一想這是必須的，
why？因為h()只是派生類繼承基類的，并沒有進行重寫！如果沒有進行this的類型提升，那么
如果h()方法中存在對基類私有成員的訪問，比如這個子類中的y()方法是私有的！h（）中調用了
y(); 也就是this->y();是不是矛盾了？派生類中怎么可以訪問基類中的私有成員呢？？？

所以this的類型一定向上提升了！
如果還是不信，那你看一下 樣例2 中的x值是不是輸出的是基類中的 x 的值！
再看一看 樣例3中的輸出是不是和樣例2的輸出時一樣的！從f()的調用和g()調用
可以看出是多態的結果...