您好,登錄后才能下訂單哦!
C++ override從字面意思上,是覆蓋的意思,實際上在C++中它是覆蓋了一個方法并且對其重寫,從而達到不同的作用。在我們C++編程過程中,最熟悉的就是對接口方法的實現,在接口中一般只是對方法進行了聲明,而我們在實現時,就需要實現接口聲明的所有方法。還有一個典型應用就是在繼承中也可能會在子類覆蓋父類的方法。
公有繼承包含兩部分:一是“接口”(interface),二是 "實現" (implementation)。
例如Person類的幾種成員函數的繼承方式:
class Person{ public: virtual void Eat() const = 0; // 1) 純虛函數 virtual void Say(const std::string& msg); // 2) 普通虛函數 int Name() const; // 3) 非虛函數 }; class Student: public Person{ ... }; class Teahcer: public Person{ ... };
1.純虛函數
純虛函數,繼承的是基類成員函數的接口,必須在派生類中重寫該函數的實現:
Person *s1 = new Student; s1->Eat(); // calls Student::Eat Person *t1 = new Ellipse; t1->Eat(); // calls Teacher::Eat
若想調用基類的 Eat(),須加上 類作用域操作符 ::
s1->Person::Eat(); // calls Person::Eat
2.普通虛函數
普通虛函數,對應在基類中定義一個缺省的實現 (default implementation),表示繼承的是基類成員函數的接口和缺省的實現,由派生類自行選擇是否重寫該函數。
實際上,允許普通虛函數同時繼承接口和缺省實現是危險的。 如下, CarA 和 CarB 是 Car的兩種類型,且二者的運行方式完全相同。
class Car{ public: virtual void Run(const Car& destination); }; class CarA: public Car{ ... }; class CarB: public Car{ ... };
這是典型的面向對象設計,兩個類共享一個特性 -- Run,則 Run可在基類中實現,并由兩個派生類繼承。
現增加一個新的飛機型號 CarC,其飛行方式與 CarA,CarB 并不相同,假如不小心忘了在 CarC 中重寫新的 Fly 函數
class CarC: public Car{ ... // no fly function is declared };
則調用 CarC 中的 Run 函數,就是調用 Car::Run,但是 CarC的運行方式和缺省的并不相同
Car *pa = new CarC; pa->Run(Beijing); // calls Car::Run!
這就是前面所說的,普通虛函數同時繼承接口和缺省實現是危險的,最好是基類中實現缺省行為 (behavior),但只有在派生類要求時才提供該缺省行為.
方法一:
一種方法是 純虛函數 + 缺省實現,因為是純虛函數,所以只有接口被繼承,其缺省的實現不會被繼承。派生類要想使用該缺省的實現,必須顯式的調用:
class Car{ public: virtual void Run(const Run& destination) = 0; }; void Car::Run(const Airport& destination) { // a pure virtual function default code for Run an Car to the given destination } class CarA: public Car{ public: virtual void Run(const Car& destination) { Car::Run(destination); } };
這樣在派生類 CarC 中,即使一不小心忘記重寫 Run函數,也不會調用 Car的缺省實現
class CarC: public CAr{ public: virtual void Run(const Car& destination); }; void CarC::Run(const Car& destination) { // code for Run a CarC Car to the given destination }
方法二:
可以看到,上面問題的關鍵就在于,一不小心在派生類 CarC中忘記重寫 Run函數,C++11 中使用關鍵字 override,可以避免這樣的“一不小心”。
非虛函數:
非虛成員函數沒有virtual關鍵字,表示派生類不但繼承了接口,而且繼承了一個強制實現(mandatory implementation),既然繼承了一個強制的實現,則在派生類中,無須重新定義繼承自基類的成員函數,如下:
使用指針調用 Name 函數,則都是調用的 Person::Name()
Student s1; // s1 is an object of type Student Person *p= &s1; // get pointer to s1 p->Name(); // call Name() through pointer Student *s= &s1; // get pointer to s1 s->Name(); // call Name() through pointer
如果在派生類中重新定義了繼承自基類的成員函數 Name 呢?
class Student : public Person{ public: int Name() const; // hides Person::Name }; p->Name(); // calls Person::Name() s->Name(); // calls Student::Name()
此時,派生類中重新定義的成員函數會 “隱藏” (hide) 繼承自基類的成員函數
這是因為非虛函數是 “靜態綁定” 的,p被聲明的是 Person* 類型的指針,則通過 p調用的非虛函數都是基類中的,既使 p指向的是派生類。
與“靜態綁定”相對的是虛函數的“動態綁定”,即無論 p被聲明為 Person* 還是 Student* 類型,其調用的虛函數取決于 p實際指向的對象類型
重寫 (override)
在程序中加override 關鍵字,可以避免派生類中忘記重寫虛函數的錯誤
下面以重寫虛函數時,容易犯的四個錯誤為例,詳細闡述之
class Base { public: virtual void fun1() const; virtual void fun2(int x); virtual void fun3() &; void fun4() const; // is not declared virtual in Base }; class Derived: public Base { public: virtual void fun1(); // declared const in Base, but not in Derived. virtual void fun2(unsigned int x); // takes an int in Base, but an unsigned int in Derived virtual void fun3() &&; // is lvalue-qualified in Base, but rvalue-qualified in Derived. void fun4() const; };
在派生類中,重寫 (override) 繼承自基類成員函數的實現 (implementation) 時,要滿足如下條件:
一虛:基類中,成員函數聲明為虛擬的 (virtual)
二容:基類和派生類中,成員函數的返回類型和異常規格 (exception specification) 必須兼容
四同:基類和派生類中,成員函數名、形參類型、常量屬性 (constness) 和 引用限定符 (reference qualifier) 必須完全相同
如此多的限制條件,導致了虛函數重寫如上述代碼,極容易因為一個不小心而出錯
C++11 中的 override 關鍵字,可以顯式的在派生類中聲明,哪些成員函數需要被重寫,如果沒被重寫,則編譯器會報錯。
class Derived: public Base { public: virtual void fun1() override; virtual void fun2(unsigned int x) override; virtual void fun3() && override; virtual void fun4() const override; };
class Derived: public Base { public: virtual void fun1() const override; // adding "virtual" is OK, but not necessary virtual void fun2(int x) override; void fun3() & override; void fun4() const override; };
1) 公有繼承
2) 不要重新定義一個繼承自基類的非虛函數 (never redefine an inherited non-virtual function
3) 在聲明需要重寫的函數后,加關鍵字 override
這樣,即使不小心漏寫了虛函數重寫的某個苛刻條件,也可以通過編譯器的報錯,快速改正錯誤。
在使用中需要注意以下幾點:
(1).覆蓋的方法的標志必須要和被覆蓋的方法的標志完全匹配,才能達到覆蓋的效果;
(2).覆蓋的方法的返回值必須和被覆蓋的方法的返回一致;
(3).覆蓋的方法所拋出的異常必須和被覆蓋方法的所拋出的異常一致,或者是其子類;
(4).被覆蓋的方法不能為private,否則在其子類中只是新定義了一個方法,并沒有對其進行覆蓋。
以上就是本文的全部內容,希望對大家的學習有所幫助,也希望大家多多支持億速云。
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。