返回《c++知識要點》
參考：《[c++基礎]過載、覆蓋、多型與函式隱藏》
一、過載與覆蓋 ：
成員函式被過載的特徵：
（1）相同的範圍（在同乙個類中）；
（2）函式名字相同；
（3）引數不同；
（4）virtual 關鍵字可有可無。
覆蓋是指派生類函式覆蓋基類函式，特徵是：
（1）不同的範圍（分別位於派生類與基類）；
（2）函式名字相同；
（3）引數相同；
（4）基類函式必須有virtual 關鍵字。
示例1 :成員函式的過載和覆蓋
#include
class base
void f(float x)
virtual void g(void)
}; class derived : public base
}; void main(void)
示例1 中，函式base::f(int)與base::f(float)相互過載，而base::g(void)被derived::g(void)覆蓋。
二、隱藏：
令人迷惑的隱藏規則，本來僅僅區別過載與覆蓋並不算困難，但是c++的隱藏規則使問題複雜性陡然增加。這裡「隱藏」是指派生類的函式遮蔽了與其同名的基類函式，規則如下：
（1）如果派生類的函式與基類的函式同名，但是引數不同。此時，不論有無virtual關鍵字，基類的函式將被隱藏（注意別與過載混淆）。
（2）如果派生類的函式與基類的函式同名，並且引數也相同，但是基類函式沒有virtual關鍵字。此時，基類的函式被隱藏（注意別與覆蓋混淆）。
示例2（a）：成員函式的過載、覆蓋和隱藏
#include
class base
void g(float x)
void h(float x)
}; class derived : public base
void g(int x)
void h(float x)
}; 示例2（a）中：
（1）函式derived::f(float)覆蓋了base::f(float)；
（2）函式derived::g(int)隱藏了base::g(float)，而不是過載；
（3）函式derived::h(float)隱藏了base::h(float)，而不是覆蓋。
據察，很多c++程式設計師沒有意識到有「隱藏」這回事。由於認識不夠深刻，「隱藏」的發生可謂神出鬼沒，常常產生令人迷惑的結果。
示例2（b）：過載、覆蓋和隱藏的比較
void main(void)
示例2（b）中，bp 和dp 指向同一位址，按理說執行結果應該是相同的，可事實並非這樣。
三、擺脫隱藏
示例3 ：隱藏而導致的錯誤
class base
; class derived : public base
; void test(void)
隱藏規則引起了不少麻煩。示例3 中，語句pd->f(10)的本意是想呼叫函式base::f(int)，但是base::f(int)不幸derived::f(char *)隱藏了。由於數字10不能被隱式地轉化為字串，所以在編譯時出錯。
從示例3 看來，隱藏規則似乎很愚蠢，但是隱藏規則至少有兩個存在的理由：
1.寫語句pd->f(10)的人可能真的想呼叫derived::f(char *)函式，只是他誤將引數寫錯了。有了隱藏規則，編譯器就可以明確指出錯誤，這未必不是好事。否則，編譯器會靜悄悄地將錯就錯，程式設計師將很難發現這個錯誤，流下禍根。
2.假如類derived 有多個基類（多重繼承），有時搞不清楚哪些基類定義了函式f。如果沒有隱藏規則，那麼pd->f(10)可能會呼叫乙個出乎意料的基類函式f。儘管隱藏規則看起來不怎麼有道理，但它的確能消滅這些意外。示例3 中，如果語句pd->f(10)一定要呼叫函式base::f(int)，那麼將類derived 修改為如下即可。
class derived : public base };
四、多型：
在基類中定義了乙個虛函式，然後在派生類中又定義乙個同名，同參數列的函式，這就是多型。
多型是(覆蓋，過載與多型)3種情況中唯一採用動態繫結技術的一種情況。也就是說，通過乙個基類指標來操作物件，如果物件是基類物件，就會呼叫基類中的那個函式，如果物件實際是派生類物件，就會呼叫派聲雷中的那個函式，呼叫哪個函式並不由函式的參數列決定，而是由函式的實際型別決定。
編譯時的多型性：
靜態聯編：執行之前就完成的聯編，系統在編譯時就決定如何完成某個動作；
動態聯編：程式執行之後才完成的聯編，系統在執行時動態實現某一動作。
靜態多型性：函式過載，運算子過載；
動態多型性：繼承；虛函式。
派生類是否繼承基類的虛函式?
定義為virtual的函式是基類期待派生類重新定義的，基類希望派生類繼承的函式不能定義為虛函式。
如果派生類沒有重定義某個虛函式，則使用基類中定義的版本。
----4th edtion中文版
如果派生類又重新實現了這個虛函式，那麼，這叫「覆蓋」；如果不重新實現，才是「繼承」 。
五、c++語言三大特性：即封裝、繼承與派生和多型（動態繫結）
1：封裝的性：是物件導向的基礎，物件導向系統的封裝性其實是一種資訊的隱藏技術。
2：繼承的本質是實現**重用，因而繼承機制能縮短軟體的開發周期，加快程式設計速度
3：多型性是物件導向系統的重要特性，對於同一訊息，它可以根據傳送訊息的物件的不同採用多種不同的處理方式。一句話，多型是由虛函式與動態繫結實現的
在學習這個部分給我印象最深的是:
基類指標可以指向它的派生類的例項(物件) ，這樣給乙個函式(可以是乙個普通函式)傳遞乙個基類的指標。在傳遞乙個例項時可以根據類的不同呼叫不同的響應函式(當然這個函式一般為虛函式) 。還有函式過載和操作符過載，你可以為自己的類定義乙個實用的new和delete，這樣在大量的產生類物件可以更好的節省記憶體。
c++支援兩種多型性:靜態多型和動態多型，靜態多型是通過過載實現的,動態多型是通過虛函式實現的。
如果用乙個基類指標指向乙個衍生類的物件，但用該指標只能訪問基類所定義的成員函式。為了解決這個問題,就引入虛函式的概念。
C 成員函式的過載 覆蓋與隱藏
成員函式的過載 覆蓋 override 與隱藏很容易混淆，c 程式設計師必須要搞清楚概念，否則錯誤將防不勝防。成員函式被過載的特徵 1 相同的範圍 在同乙個類中 2 函式名字相同 3 引數不同 4 virtual 關鍵字可有可無。覆蓋 派生類函式覆蓋基類函式，特徵是 1 不同的範圍 分別位於派生類與...
C 成員函式的過載 覆蓋與隱藏
成員函式的過載 覆蓋 override 與隱藏很容易混淆，c 程式設計師必須要搞清楚概念，否則錯誤將防不勝防。成員函式被過載的特徵 1 相同的範圍 在同乙個類中 2 函式名字相同 3 引數不同 4 virtual 關鍵字可有可無。覆蓋 派生類函式覆蓋基類函式，特徵是 1 不同的範圍 分別位於派生類與...
C 成員函式的過載 覆蓋與隱藏
一 成員函式被過載的特徵 1 相同的範圍 在同乙個類中 2 函式名字相同 3 引數不同 4 virtual關鍵字可有可無。二 成員函式被覆蓋的特徵 1 不同的範圍 分別位於派生類與基類 2 函式名字相同 3 引數相同 4 基類函式中必須有virtua 關鍵字。三 成員函式被隱藏的規則 1 如果派生類...