引題

class A{
public:
    void function()
    {
        cout << "I can run" << endl;
    }
};

int main()
{
    A* pa = NULL;
    pa->function();
    system("pause");
    return 0;
}

C++中，空指標是不能夠使用的，然而空物件指標有時候卻能夠呼叫成員函式。
這就涉及到this指標。

為什麼空的物件指標可以呼叫成員函式卻不能呼叫成員變數？

類的成員函式其實可以認為是一個普通的函式，比如

class A{  
public:  
    void func(int x) { cout<<"hello, A. x="<<x<<endl; }  
};  

//在編譯器看來，大概是這個樣子：

void A_func(A* this, int x) { cout<<"hello, A. x="<<x<<endl; }  

//類的成員函式
A a;  
a.func(2);  
//被解釋成下面這樣子
A_func(&a, 2);  

那麼當物件指標為空的時候

A *pa = NULL;  
pa->
 
func(2);  
//在編譯器看來就好像是 A_func(pa, 2);且pa==NULL  

((A*)NULL)->func(2);  
//在編譯器看來就好像是 A_func( ((A*)NULL), 2);  

那麼對於類的成員變數時

class A{  
private:  
    int y;  
public:  
    void func(int x) { y = x; }  
};  
//注意此時y是成員變數，編譯器會自動給它加上this->，也就是:

void A_func(A* this, int x) { this->y = x; }  

但是！此時程式會崩潰！因為this指標是NULL，而你訪問了它的y變數！

總結

什麼是this指標

this是一個指標，它時時刻刻指向你這個例項本身。

this指標的特點

1）this只能在成員函式中使用。指向被呼叫函式所在的類例項的地址全域性函式、靜態函式都不能使用this，
2）this在成員函式的開始前構造，在成員函式的結束後清除。
3）一個物件的this指標並不是物件本身的一部分，不會影響sizeof(物件)的結果。
4）我們只有獲得一個物件後，才能通過物件使用this指標
5）this指標是類成員函式的第一個預設隱含引數，編譯器自動維護傳遞，類編寫者不能顯式傳遞。

從這道題得到的結論

1）NULL物件指標可以呼叫成員函式
2）通過物件呼叫成員函式，物件的指標會被傳入函式中，指標名稱為this
3）NULL物件指標呼叫成員函式時，只要不訪問此物件的成員變數，則程式正常執行
4）NULL物件指標呼叫成員函式時，一旦訪問此物件的成員變數，則程式崩潰