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

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

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

基類c++

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. 派生類對象能夠調用基類的方法

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

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"呢?這明明是基類的方法啊?(這裏爲了舉例,特意沒有采用虛函數的方式,具體虛函數的實現方式能夠參見如何理解基類和派生類的關係指針

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

// 建立基類對象
    Person p;

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

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

3. 基類指針(引用)只能用於調用基類方法

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

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

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

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

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

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

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

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

舉個例子,我有另一個類叫作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

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