C++ override關鍵字使用詳解
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) 繼承自基類的成員函數
這是因為非虛函數是 “靜態(tài)綁定” 的,p被聲明的是 Person* 類型的指針,則通過 p調用的非虛函數都是基類中的,既使 p指向的是派生類。
與“靜態(tài)綁定”相對的是虛函數的“動態(tài)綁定”,即無論 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)
二容:基類和派生類中,成員函數的返回類型和異常規(guī)格 (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) 公有繼承
- 純虛函數 => 繼承的是:接口 (interface)
- 普通虛函數 => 繼承的是:接口 + 缺省實現 (default implementation)
- 非虛成員函數 =>繼承的是:接口 + 強制實現 (mandatory implementation)
2) 不要重新定義一個繼承自基類的非虛函數 (never redefine an inherited non-virtual function
3) 在聲明需要重寫的函數后,加關鍵字 override
這樣,即使不小心漏寫了虛函數重寫的某個苛刻條件,也可以通過編譯器的報錯,快速改正錯誤。
在使用中需要注意以下幾點:
(1).覆蓋的方法的標志必須要和被覆蓋的方法的標志完全匹配,才能達到覆蓋的效果;
(2).覆蓋的方法的返回值必須和被覆蓋的方法的返回一致;
(3).覆蓋的方法所拋出的異常必須和被覆蓋方法的所拋出的異常一致,或者是其子類;
(4).被覆蓋的方法不能為private,否則在其子類中只是新定義了一個方法,并沒有對其進行覆蓋。
以上就是本文的全部內容,希望對大家的學習有所幫助,也希望大家多多支持我們。
您可能感興趣的文章
- 04-02c語言沒有round函數 round c語言
- 01-10深入理解C++中常見的關鍵字含義
- 01-10使用C++實現全排列算法的方法詳解
- 01-10c++中inline的用法分析
- 01-10用C++實現DBSCAN聚類算法
- 01-10全排列算法的非遞歸實現與遞歸實現的方法(C++)
- 01-10C++大數模板(推薦)
- 01-10淺談C/C++中的static與extern關鍵字的使用詳解
- 01-10深入C/C++浮點數在內存中的存儲方式詳解
- 01-10深入理解C/C++混合編程


閱讀排行
本欄相關
- 04-02c語言函數調用后清空內存 c語言調用
- 04-02func函數+在C語言 func函數在c語言中
- 04-02c語言的正則匹配函數 c語言正則表達
- 04-02c語言用函數寫分段 用c語言表示分段
- 04-02c語言中對數函數的表達式 c語言中對
- 04-02c語言編寫函數冒泡排序 c語言冒泡排
- 04-02c語言沒有round函數 round c語言
- 04-02c語言分段函數怎么求 用c語言求分段
- 04-02C語言中怎么打出三角函數 c語言中怎
- 04-02c語言調用函數求fibo C語言調用函數求
隨機閱讀
- 01-10使用C語言求解撲克牌的順子及n個骰子
- 01-10C#中split用法實例總結
- 08-05織夢dedecms什么時候用欄目交叉功能?
- 04-02jquery與jsp,用jquery
- 08-05dedecms(織夢)副欄目數量限制代碼修改
- 01-11ajax實現頁面的局部加載
- 01-10delphi制作wav文件的方法
- 01-11Mac OSX 打開原生自帶讀寫NTFS功能(圖文
- 01-10SublimeText編譯C開發(fā)環(huán)境設置
- 08-05DEDE織夢data目錄下的sessions文件夾有什