C++ this指針的理解和做用

時間 2019-11-29

標籤 c++ 指針理解欄目 C&C++ 简体版

原文原文鏈接

01 C++ 程序到 C 程序的翻譯

要想理解 C++ 的 this 指針，咱們先把下面的 C++ 代碼轉換成 C 的代碼ios

class Car 
{
public:
    int m_price;         // 成員變量
    void SetPrice(int p) // 成員函數
    {
        m_price = p; 
    }
};

int main()
{
    Car car;
    car.SetPrice(20000); // 給car對象m_price成員變量賦值
    
    return 0;
}

C 語言是沒有類定義的class關鍵詞，可是有跟class相似的定義，那就是結構體struct。函數

m_price變量是Car類的成員變量，那麼咱們能夠把Car類和成員變量翻譯成以下的 C 代碼：this

// 結構體Car
struct Car
{
    // price變量是屬於Car結構體這個域裏的變量
    int price;  
};

SetPrice函數是Car類的成員函數，可是 C 程序裏是沒有成員函數這種概念的，因此只能把成員函數翻譯成全局的函數：翻譯

// 參數1：結構體Car的指針
// 參數2：要設置的價格變量
void SetPrice(struct Car* this, int p)
{ 
    this->price = p;  // 將傳入的Car結構體的price變量賦值
}

爲何要加個 this 的指針呢？咱們繼續往下看。指針

在這裏咱們把上面main函數下面的 C++ 程序翻譯 C 程序是這樣的：code

int main() 
{
    struct Car car;
    SetPrice( &car, 20000);
    return 0;
}

因此最終把上述的 C++程序轉換成C 程序的代碼以下：對象

struct Car
{
    int price;  
};


void SetPrice(struct Car* this, int p)
{ 
    this->price = p; 
}

int main() 
{
    struct Car car;
    SetPrice( &car, 20000); // 給car結構體的price變量賦值
    return 0;
}

02 this指針的做用

其做用就是指向成員函數所做用的對象，
因此非靜態成員函數中能夠直接使用 this 來表明指向該函數做用的對象的指針。io

#include <iostream>

class Car 
{
public:
    int m_price;
    
    void PrintPrice()
    {
        std::cout << m_price << std::endl;  
    }
    
    void SetPrice(int p)
    {
        this->m_price = p; // 等價於 m_price = p;
        this->PrintPrice();// 等價於 PrintPrice();
    }
    
    Car GetCar()
    {
        return *this; // 返回該函數做用的對象
    }
};

int main(void)
{
    Car car1, car2;
    car1.SetPrice(20000);
    
    // GetCar()成員函數返回所做用的car1對象，所把返回的car1賦值給了car2
    car2 = car1.GetCar(); 
    car2.PrintPrice();   
    
    return 0;
}

輸出結果：class

20000
20000

接下來咱們下面的代碼，你以爲輸出結果是什麼呢？會出錯嗎？stream

class A
{
    int i;
    public:
    void Hello() { cout << "hello" << endl; }
};

int main()
{
    A * p = NULL;
    p->Hello(); //結果會怎樣？
}

答案是正常輸出hello，你可能會好奇明明 p 指針是空的，不該該是會程序奔潰嗎？彆着急，咱們先把上面的代碼轉換C程序，就能理解爲何能正常運行了。

void Hello() { cout << "hello" << endl; } 
# 成員函數至關於以下形式：
void Hello(A * this ) { cout << "hello" << endl; }

p->Hello(); 
# 執行Hello()形式至關於：
Hello(p);

因此，實際上每一個成員函數的第一個參數默認都有個指向對象的 this 指針，上述狀況下若是該指向的對象是空，至關於成員函數的第一個參數是NULL，那麼只要成員函數沒有使用到成員變量，也是能夠正常執行。

下面這份代碼執行時，就會奔潰了，由於this指針是空的，使用了空的指針指向了成員變量i，程序就會奔潰。

class A
{
    int i;
public:
    void Hello() { cout << i << "hello" << endl; }
    // ->> void Hello(A * this ) { cout << this->i << "hello" << endl; }
};
int main()
{
    A * p = NULL;
    p->Hello(); //  ->> Hello(p); 
}