【轉】
http://www.shnenglu.com/tiandejian/archive/2008/05/01/EC_33.html
第33條： 防止隱藏繼承的名字
莎士比亞對于“名字”有著獨特的見解。“名字意味著什么？玫瑰不叫玫瑰，依然芬芳如故。”大師還寫道：“倘若有人偷竊了我的好名聲……事實上會讓我變得一貧如洗。”讓這兩段至理名言引領我們去探究 C++ 中繼承的名字。
事實上，本節討論的問題與繼承并沒有太大關系。它僅僅關系到作用域。我們都能讀懂下面的代碼：
int x; // 全局變量
void someFunc()
{
double x; // 局部變量
std::cin >> x; // 讀一個新值賦給局部變量 x
}
為 x 賦值的語句是關于局部變量 x 的，而不是全局變量 x ，這是因為內部作用域隱藏了（“遮擋了”）外部作用域的名字。我們可以將這種域間狀況用下圖描述：
當編譯器執行至 someFunc 的作用域內并且遇到名字 x 時，它將在局部作用域內查找，以便確認此處是否包含與 x 這個名字相關的操作。因為如果有的話，編譯器就不會再去檢查其它任何作用域了。在這上面的示例中， someFunc 中的 x 是 double 類型的，全局變量 x 是 int 類型的，但是這無關緊要， C++ 的名字隱藏準則只會這樣做：隱藏名字。無論與名字相關的類型是否一致。本例中， double 類型的 x 隱藏了 int 類型的 x 。
引入繼承。我們知道當我們在一個派生類的成員函數中企圖引用基類的某些內容（比如成員函數、 typedef 、或者數據成員等等）時，編譯器能夠找出我們所引用的東西，因為派生類所繼承的東西在基類中都做過聲明。這里真正的工作方式實際上是：派生類的作用域嵌套在基類的作用域中。請看下面示例：
class Base {
private:
int x;
public:
virtual void mf1() = 0;
virtual void mf2();
void mf3();
...
};
class Derived: public Base {
public:
virtual void mf1();
void mf4();
...
};
本示例中同時存在公共的、私有的名字，另外同時包含了數據成員和成員函數的名字。成員函數包括純需函數、簡單虛函數（非純虛的）和非虛函數。這就是向大家強調，我們此處討論的中心話題就是名字。示例中還可以添加進類型的名字，比如枚舉類型、嵌套類以及預定義類型的名字。這里討論的核心是：它們都是名字，而它們是為什么東西命名的并不重要。示例中使用了單一繼承結構，然而一旦你了解了 C++ 中單一繼承的行為方式之后，多重繼承的行為也就不難推斷了。
假定繼承類中 mf4 是這樣實現的（部分內容）：
void Derived::mf4()
{
...
mf2();
...
}
當編譯器看到這個函數中使用了 mf2 這個名字，它就能夠找到 mf2 的出處。編譯器是這樣做到的：它通過搜尋名字為 mf2 的那處聲明所在的作用域。首先它在本地作用域（也就是 mf4 以內）查找，但是沒有找到任何名字為 mf2 的聲明。隨后編譯器搜尋當前包含域，也就是 Derived 類的作用域。仍然沒有找到，于是又轉向搜索上一層作用域，也就是基類。在這里編譯器終于找到了名叫 mf2 的東西，于是搜索結束。如果 Base 類中依然沒有 mf2 ，那么搜索仍會繼續，從包含 Base 的名字空間開始，到全局作用域為止。
雖然我剛剛描述的查找過程是精確的，但是其對于 C++ 中名字查找機制的描述依然沒有做到面面俱到。索性我們的目標并不是對名字查找機制刨根問底從而去編寫一個編譯器。我們的目標是避免惱人的意外發生，針對這一點，我們掌握的信息已經足夠了。
請再次考慮上面的示例，這次我們做一些小的改動：為 mf1 和 mf3 個添加一個重載版本，并且在 Derived 中為 mf3 添加一個新版本。（第 36 條中將會做出解釋， Derived 中重載版本的 mf3 （一個繼承的非墟函數）將會使這樣的設計存在無法避免的潛在危險，但是在此問題的焦點是繼承下名字的可見性，我們暫且忽略這一問題。）
class Base {
private:
int x;
public:
virtual void mf1() = 0;
virtual void mf1(int);
virtual void mf2();
void mf3();
void mf3(double);
...
};
class Derived: public Base {
public:
virtual void mf1();
void mf3();
void mf4();
...
};
這段代碼的行為將會使每個乍看到它的 C++ 程序員吃上一驚。由于基于作用域的名字隱藏機制并沒有改變，因此基類中所有名叫 mf1 和 mf3 的函數都被派生類中的 mf1 和 mf3 所隱藏。從名字查找的角度看， Base::mf1 和 Base::mf3 不再被 Derived 繼承！
Derived d;
int x;
...
d.mf1(); // 工作正常，調用 Derived::mf1
d.mf1(x); // 錯誤！ Derived::mf1 隱藏了 Base::mf1
d.mf2(); // 工作正常，調用 Base::mf2
d.mf3(); // 工作正常，調用 Derived::mf3
d.mf3(x); // 錯誤！ Derived::mf3 隱藏了 Base::mf3
就像你所看到的，即使同一函數在基類和派生類中的參數表不同，基類中該函數依然會被隱藏，而且這一結論不會因函數是否為虛函數而改變。類似地，在本條目最開端的實例中， someFunc 中的 double x 隱藏了全局域中的 int x ，在此， Derived 類中的函數 mf3 將 Base 類中名叫 mf3 但類型不同的函數隱藏起來。
C++ 這一特性的理論基礎是：可以防止一類繼承意外的發生，那就是當你為一個庫或應用框架創建一個新的派生類時，你可能會去繼承遠族基類中的重載版本。遺憾的是，我們通常情況下恰恰希望這么做。事實上，如果你使用公有繼承，但不繼承重載的元素，那么就有悖于公有繼承的一項基本原則——基類和派生類之間是“ Derived 是一個 Base ”關系（見第 32 條）。既然如此，你就需要時時刻刻重載 C++ 默認情況下隱藏的繼承而來的名字。
這一工作通過使用 using 聲明來實現：
class Base {
private:
int x;
public:
virtual void mf1() = 0;
virtual void mf1(int);
virtual void mf2();
void mf3();
void mf3(double);
...
};
class Derived: public Base {
public:
using Base::mf1; // 讓積累中所有名為 mf1 和 mf3 的東西
using Base::mf3; // 在 Derived 的作用域中可見（并且是公有的）
virtual void mf1();
void mf3();
void mf4();
...
};
現在，繼承將按部就班進行：
Derived d;
int x;
...
d.mf1(); // 依然正常，依然調用 Derived::mf1
d.mf1(x); // 現在可以了，調用了 Base::mf1
d.mf2(); // 依然正常，依然調用 Derived::mf1
d.mf3(); // 正常，調用 Derived::mf3
d.mf3(x); // 現在可以了，調用了 Base::mf3
這意味著如果你繼承一個包含重載函數的基類，并且你僅期望對其中一部分進行重定義或重載，你就應該為每一個不期望被隱藏的名字添加一條 using 聲明。如果你不這樣做，一些你希望繼承下來的名字將可能被隱藏。
不難想象，某些場合你可能不需要把基類中所有的函數繼承下來。在公有繼承體系下這是無論如何不可行的，在次聲明，這是違背公有繼承“ Derived 是一個 Base ”關系的。（這也是為什么上文中 using 聲明要置于派生類中的公共元素部分：基類中公有的名字在公共派生類中必須是公有的。）然而在私有繼承體系下（參見第 39 條），這種不完全繼承依然是有意義的。比如，假設 Derived 類私有地繼承自 Base ，并且 Derived 只希望繼承 mf1 不包含參數的那個版本。 using 聲明在此就不會奏效了，因為它將使該名字所代表的所有繼承版本的函數在派生類中可見。在這種情況下可以使用另一種技術，我們稱之為“轉發函數”：
class Base {
public:
virtual void mf1() = 0;
virtual void mf1(int);
... // 照舊
};
class Derived: private Base {
public:
virtual void mf1() // 轉發函數 ；
{ Base::mf1(); } // 隱式內聯（參見第 30 條）
...
};
...
Derived d;
int x;
d.mf1(); // 正常，調用 Derived::mf1
d.mf1(x); // 錯誤！ Base::mf1() 被隱藏了
內聯轉發函數的另一個用途是：在使用古老的編譯器時，它們通常不支持使用 using 聲明來為繼承類的作用域引入繼承的名字（這實際上是編譯器的缺陷）。此時可以使用內聯轉發函數。
你已經了解了繼承和名字隱藏的方方面面，但是當繼承與模板同時使用時，又會出現“繼承名字是隱藏的”一種全新的形式。 第 43 條將另起一行進行介紹。
銘記在心
l 派生類中的名字會將基類中的名字隱藏起來。在公有繼承體系下，這是我們所不希望見到的。
l 為了讓被隱藏名字再次可見，可以使 用 using 聲明或者 轉發函數。