如何理解基類和派生類的關係

如何理解基類和派生類的關係

在開講以前，咱們先看基類和派生類的定義。爲了方便顯示，我把方法的聲明和定義寫在了一塊兒。

基類

class Person {
// 設置爲protected方便調用
protected:
    string name;
    string sex;
    string living;
public:
    Person() {
        this->name = "Jack";
        this->sex = "unknown";
        this->living = "house";
    }

    Person(const string name, const string sex, const string living) {
        this->name = name;
        this->sex = sex;
        this->living = living;
    }
	
    // 派生類重寫的方法
    void talk() {
        cout << "I am a person, my name is " + this->name;
        cout << endl;
    }
    
    // 返回住所
    string whereLiving(){
        return this->living;
    }
};

派生類

// 繼承自Person類
class Student : public Person {
public:
    Student() {
        // 隱式調用基類構造方法
    }

    Student(const string name, const string sex, const string living)
        :Person(name, sex, living) {
        //調用基類有參構造方法
    }

    // 重寫基類方法
    void talk() {
        cout << "I am a student, my name is " + this->name;
    }
    
    // 派生類本身的方法
    void goSchool(){
        cout << "I love study" << endl;
    }
};

1. 派生類對象能夠調用基類的方法

這個應該是衆人皆知的，這也是繼承的最大做用，最大限度地複用了代碼。

Student s; // 建立Student對象
    s.say();   // 派生類調用基類方法

//輸出
// I am from Base Class

2. 基類指針（引用）能夠在不進行顯式類型轉換的狀況下指向（引用）派生類對象

// 建立派生類對象
    Student s;

    Person* pp = &s;    // 基類指針指向派生類對象
    Person& pr = s;     // 基類引用引用派生類對象

    pp->talk();
    pr.talk();

//輸出
//I am a person, my name is Jack
//I am a person, my name is Jack

誒，看到這裏有人問了。我這個指針和引用不是都針對的是派生類嗎？爲何會輸出"I am a person"呢？這明明是基類的方法啊？(這裏爲了舉例，特意沒有采用虛函數的方式，具體虛函數的實現方式能夠參見如何理解基類和派生類的關係

不着急，看第三條。可是再看第三條以前，咱們必須說明。雖然基類的指針和引用能夠指向、引用派生類，可是反過來是絕對不能夠的。派生類的指針和引用是絕對不能夠指向、引用基類的。

// 建立基類對象
    Person p;

    Student* sp = &p;    // 報錯
    Student& sr = p;     // 報錯

至於爲何，咱們先看第三條。

3. 基類指針（引用）只能用於調用基類方法

// 建立派生類對象
    Student s;

    Person* pp = &s;    // 基類指針指向派生類對象
    Person& pr = s;     // 基類引用引用派生類對象

    pp->talk();         // ok
    pr.talk();          // ok

    pp->goSchool();     // 報錯
    pr.goSchool();      // 報錯

如代碼所示，若是我用Person的指針和引用調派生類Student本身的方法goSchool()，那麼編譯器是絕對不會經過的。

這麼作是很是有道理的，是知足繼承的要求的。例如，編譯器容許基類引用隱式地引用派生類對象，能夠利用該基類引用爲所引用的派生類對象調用基類的方法。由於基類和派生類有繼承的關係，這麼作是合情合理的。

可是反過來，若是派生類引用能調用基類方法是很荒謬的。一個Student引用，應該是一個Student的別名。那麼他就應該上學，這是學生該作的事情。可是不是全部人都是學生，都該去上學。因此我用Student引用讓一個Person去上學是很好笑的，是沒有意義的。

基類指針和引用可以指向、引用派生類的特性，能夠說是多態實現的基礎。例如，基類引用定義的函數或者指針參數可用於基類對象或者派生類對象。

舉個例子，我有另一個類叫作Worker也繼承自Person。假如我如今有個函數，叫作睡覺。

void sleep(Person& p){
    cout << "I sleep in " + p.whereLiving() << endl; 
}

可是Student要睡在dormitory裏，而Worker睡在apartment裏面，我總不能一個一個判斷是什麼對象吧？因此上面這種實現，就能夠很好的實現多態。

Student s("Mary","Female","Dormitory");
    sleep(s);

//輸出
//I sleep in Dormitory

能夠看見，雖然基類引用對派生類的引用沒法調用派生類的方法，可是卻能夠調用它的繼承下來的成員變量（固然派生類本身新定義的成員變量是不能夠經過基類指針、引用來訪問的）。

4. 派生類指針能夠強制轉換爲基類指針

雖然派生類指針不能指向基類對象，可是能夠強制讓它降級。

Student s("Tom","Male","Studio");   // 建立派生類對象  
    Student* sp = &s;           	    // 建立s對象的指針
    Person* pp = (Person*)sp;   		// 派生類指針強制轉換爲基類指針
    cout << pp->whereLiving();			// 輸出 Studio

可是注意，這個操做不建議反過來。基類指針強制轉換爲派生類指針容易致使崩潰性錯誤。