重新定義隱藏方法

假設建立了如下所示的代碼：

class Dwelling

{

public:

     virtual void showperks(int a) const;

....

};

 

class Hovel : public Dwelling

{

public:

     virtual void showperks() const;

....

};

 

這將導致問題，可能會出現類似於下面這樣的編譯警告：

Warning: Hovel::showperks(void) hides Dwelling::showperks(int).

但是不管 怎麼樣，代碼將具有如下含義：

Hovel trump;

trump.showperks();  // valid

trump.showperks(5);// invalid

    新定義將showperks()定義為一個不接受任何參數的函數。重新定義不會產生函數的兩個重載版本，而是隱藏了接受一個int參數的基類版本。簡而言之，重新定義繼承的方法並不是重載。如果在衍生類別中重新定義函數，將不是使用相同的函數特徵標覆蓋基類聲明，而是隱藏同名的基類方法，不管參數特徵標如何。

    這引出了兩條經驗規則：第一，如果重新定義繼承的方法，應確保與原來的原型完全相同，但如果傳回型別是基類引用或指標，則可以修改為指向衍生類別的引用或指標（這種例外是新出現的）。這種特性被稱為傳回型別協變(covariance of return type)，因為允許傳回型別隨類類型的變化而變化。

class Dwelling

{

public:

     // a base method

     virtual Dwelling &build(int n);

....

};

 

class Howel : public Dwelling

{

public:

// a derived method with a covariant return type

virtual Hovel & build(int n);  // same function signature

...

};

注意：這種例外只適用於傳回值，而不適用於參數。

第二，如果基類聲明被重載了，則應在衍生類別中重新定義所有的基類版本。

如果只重新定義一個版本，則另外兩個版本將被隱藏，衍生類別對象將無法使用它們。注意，如果不需要修改，則新定義可只調用基類版本。

 

 

《C++ Primer Plus(5rd)》