摘自《高質量程式設計指南》林銳

過載與覆蓋

成員函式被過載的特徵是：

-具有相同的作用域（即同一個類定義中）--如果位於不同的作用域，則為隱藏。

-函式名字相同。

-引數型別/順序或數目不同（包括const引數和非const引數）。

-virtual關鍵字可有可無。

覆蓋是指派生類重新實現（或者改寫）了基類的成員函式，其特徵是：

-不同的作用域（分別位於派生類和基類中）。

-函式名稱相同。

-引數列表相同。

-基類函式必須是虛擬函式。（用virtual關鍵字）。--如果沒有virtual關鍵字，則為隱藏。

注：覆蓋：使用虛擬函式virtual 一般不用具體的實現函式virtual fun() = 0;即故意要讓繼承者重新實現函式功。

                   而隱藏則可以暫時在子類裡遮蔽了基類的功能函式，重新實現函式名相同，但引數可以不同。

綜上，覆蓋是一種特殊的隱藏。

程式示例1

#include<iostream>
using namespace std;
class Base{
public:
  void f(int x){cout<<"Base::f(int)="<<x<<endl;}
  void f(float x){cout<<"Base::f(float)="<<x<<endl;}

  virtual void g(void){cout<<"Base::g(void)."<<endl;}
};
class Derived:public Base{
public:

  virtual void g(void){cout<<"Derived::g(void)."<<endl;}
};
int main(void)
{
  Derived d;
  Base *pb=&d;
  pb->f(42);     //Base::f(int)=42
  pb->f(3.14f);  //Base::f(float)=3.14
  pb->g();       //Derived::g(void).
  return 0;      
}
 

另一種機制--隱藏，它是指派生類的成員函式遮蔽了與其同名的基類成員函式。

雖然還沒達到完美的要求，但C++使用了這種策略（原因《The  Designed and Evolution of C++》）.

示例2

#include<iostream>
using namespace std;
class Base{
public:
  virtual void f(float x){ cout<<"Base::f(float)="<<x<<endl;}
  void g(float x){cout<<"Base::g(float)="<<x<<endl;}
  void h(float x){cout<<"Base::h(float)="<<x<<endl;}

};
class Derived:public Base{
public:
  virtual void f(float x){ cout << "Derived::f(float)"<<x<<endl; }
  void g(int x){ cout << "Derived::g(int)"<<x<<endl; }
 

  void h(float x){ cout << "Derived::h(float)"<<x<<endl;}

};

int main()
{
  Derived d;
  Base *pb=&d;
  Derived *pd=&d;
  //程式的行為僅僅依賴於物件的真實型別
  pb->f(3.14f);   //動態繫結：Derived::f(float)=3.14
  pd->f(3.14f);   //動態繫結：Derived::f(float)=3.14
  //不好：程式的行為依賴於指標的靜態模型
  pb->g(3.14f);  //靜態繫結：Base::g(float)=3.14
  pd->g(3.14f);  //靜態繫結：Derived::g(float)=3
  //此處3.14被強制轉化為一個int型別的臨時變數,而本意是想使用跨越類邊界的過載
  //不好：程式的行為依賴於指標的靜態模型
  pb->h(3.14f);  //靜態繫結：Base::h(float)3.14
  pd->h(3.14f);  //靜態繫結：Derived::g(float)=3
  return 0;

}

總結：覆蓋是隱藏的一種特殊，它改寫類基類的成員函式，但是隱藏卻沒被改寫成員函式。

           而過載是根據引數的不同，區分使用同一作用域中同名的函式。

另外，

如果確實想使用所謂的“跨越類邊界的過載”，可以在派生類定義中的任何地方顯示的使用using關鍵字，

示例2中紅色處：

寫成 using Base ::g;

         void g(int x){ cout << "Derived::g(int)"<<x<<endl; }

或者使用呼叫傳遞
         void g(float x){Base::g(x);}
         void g(int x){ cout << "Derived::g(int)"<<x<<endl; }
顯然使用using關鍵字比較省事。

引數的預設值的常見錯誤