莎士比亞對(duì)于“名字”有著獨(dú)特的見(jiàn)解。“名字意味著什么？玫瑰不叫玫瑰，依然芬芳如故。”大師還寫(xiě)道：“倘若有人偷竊了我的好名字……事實(shí)上會(huì)讓我變得一貧如洗。”讓這兩段名句引領(lǐng)我們?nèi)ヌ骄緾++中繼承的名字。
事實(shí)上，本節(jié)討論的問(wèn)題與繼承并沒(méi)有太大關(guān)系。它僅僅關(guān)系到作用域。我們都能讀懂下面的代碼：
int x; // 全局變量
void someFunc()
{
double x; // 局部變量
std::cin >> x; // 讀一個(gè)新值賦給局部變量x
}
為x賦值的語(yǔ)句是關(guān)于局部變量x的，而不是全局變量x，這是因?yàn)閮?nèi)部作用域隱藏了（“遮擋了”）外部作用域的名字。我們可以將這種域間狀況用下圖描述：
當(dāng)編譯器執(zhí)行至someFunc的作用域內(nèi)并且遇到名字x時(shí)，它將在局部作用域內(nèi)查找，以便確認(rèn)此處是否包含與x這個(gè)名字相關(guān)的操作。因?yàn)槿绻械脑挘幾g器就不會(huì)再去檢查其它任何作用域了。在這上面的示例中，someFunc中的x是double類型的，全局變量x是int類型的，但是這無(wú)關(guān)緊要，C++的名字隱藏準(zhǔn)則只會(huì)做一件事情：隱藏名字。至于名字相關(guān)的類型是否一致并不重要。本例中，double類型的x隱藏了int類型的x。
引入繼承。我們知道當(dāng)我們?cè)谝粋€(gè)派生類的成員函數(shù)中企圖引用基類的某些內(nèi)容（比如成員函數(shù)、typedef、或者數(shù)據(jù)成員等等）時(shí)，編譯器能夠找出我們所引用的內(nèi)容，因?yàn)榕缮愃^承的內(nèi)容在基類中都做過(guò)聲明。這里真正的工作方式實(shí)際上是：派生類的作用域嵌套在基類的作用域中。請(qǐng)看下面示例：
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();
...
};
本示例中同時(shí)存在公共的、私有的名字，另外同時(shí)包含了數(shù)據(jù)成員和成員函數(shù)的名字。成員函數(shù)還包括純虛函數(shù)、簡(jiǎn)單虛函數(shù)（非純虛的）和非虛函數(shù)。這就是向大家強(qiáng)調(diào)，我們此處討論的中心話題就是名字。示例中還可以添加類型的名字，比如枚舉類型、嵌套類以及預(yù)定義類型的名字。這里討論的核心是：它們都是名字，而它們是為哪些東西命名的并不重要。示例中使用了單一繼承結(jié)構(gòu)，然而一旦你了解了C++中單一繼承的行為方式之后，多重繼承的行為也就不難推斷了。
假定繼承類中mf4是這樣實(shí)現(xiàn)的（部分內(nèi)容）：
void Derived::mf4()
...
mf2();
...
}
當(dāng)編譯器看到這個(gè)函數(shù)中使用了mf2這個(gè)名字，它就能夠找到mf2的出處。編譯器是這樣做到的：它通過(guò)搜尋名字為mf2的那處聲明所在的作用域。首先它在本地作用域（也就是mf4以內(nèi)）查找，但是沒(méi)有找到任何名字為mf2的聲明。隨后編譯器搜尋當(dāng)前包含它的域，也就是Derived類的作用域。仍然沒(méi)有找到，于是又轉(zhuǎn)向搜索上一層作用域，也就是基類。在這里編譯器終于找到了名叫mf2的東西，于是搜索結(jié)束。如果Base類中依然沒(méi)有mf2，那么搜索仍會(huì)繼續(xù)，從包含Base的名字空間開(kāi)始，到全局作用域?yàn)橹埂?/p>
雖然我剛剛描述的查找過(guò)程是精確的，但是其對(duì)于C++中名字查找機(jī)制的描述依然沒(méi)有做到面面俱到。所幸我們的目標(biāo)并不是對(duì)名字查找機(jī)制刨根問(wèn)底從而去編寫(xiě)一個(gè)編譯器。我們的目標(biāo)是避免惱人的意外發(fā)生，針對(duì)這一點(diǎn)，我們掌握的信息已經(jīng)足夠了。
請(qǐng)?jiān)俅慰紤]上面的示例，這次我們做一些小的改動(dòng)：為mf1和mf3個(gè)添加一個(gè)重載版本，并且在Derived中為mf3添加一個(gè)新版本。（如條目36所講，Derived中重載版本的mf3（一個(gè)繼承而來(lái)的非虛函數(shù)）將會(huì)使這樣的設(shè)計(jì)存在無(wú)法避免的潛在危險(xiǎn)，但是在此問(wèn)題的焦點(diǎn)是繼承下名字的可見(jiàn)性，我們暫且忽略這一問(wèn)題。）
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();
...
};
這段代碼的行為將會(huì)使每個(gè)乍看到它的C++程序員吃上一驚。由于基于作用域的名字隱藏機(jī)制并沒(méi)有改變，因此基類中所有名叫mf1和mf3的函數(shù)都被派生類中的mf1和mf3所隱藏。從名字查找的角度看，Base::mf1和Base::mf3不再被Derived繼承！
Derived d;
int x;
...
d.mf1(); // 正確，調(diào)用Derived::mf1
d.mf1(x); // 錯(cuò)誤！ Derived::mf1隱藏了Base::mf1
d.mf2(); // 正確，調(diào)用Base::mf2
d.mf3(); // 正確，調(diào)用Derived::mf3
d.mf3(x); // 錯(cuò)誤！Derived::mf3隱藏了Base::mf3
就像你所看到的，即使同一函數(shù)在基類和派生類中的參數(shù)表不同，基類中該函數(shù)依然會(huì)被隱藏，而且這一結(jié)論不會(huì)因函數(shù)是否為虛函數(shù)而改變。在本條目最開(kāi)端的示例中，someFunc中的double x隱藏了全局的int x，此處的情況類似，Derived類中的函數(shù)mf3也會(huì)將Base類中名叫mf3但類型不同的函數(shù)隱藏起來(lái)。
C++這一特性的理論基礎(chǔ)是：可以防止一類繼承意外的發(fā)生，那就是當(dāng)你為一個(gè)庫(kù)或應(yīng)用框架創(chuàng)建一個(gè)新的派生類時(shí)，你可能會(huì)去繼承遠(yuǎn)族基類中的重載版本。遺憾的是，我們通常情況下恰恰希望這么做。事實(shí)上，如果你使用公共繼承，但不繼承重載的元素，那么就有悖于公共繼承的一項(xiàng)基本原則——基類和派生類之間是“Derived是一個(gè)Base”關(guān)系（見(jiàn)條目32）。既然如此，你就需要時(shí)時(shí)刻刻重載C++默認(rèn)情況下隱藏的繼承而來(lái)的名字。
這一工作通過(guò)使用using聲明來(lái)實(shí)現(xiàn)：
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的作用域中可見(jiàn)（并且是公有的）
virtual void mf1();
void mf3();
void mf4();
...
};
現(xiàn)在，繼承將按部就班進(jìn)行：
Derived d;
int x;
...
d.mf1(); // 依然正常，依然調(diào)用Derived::mf1
d.mf1(x); // 現(xiàn)在可以了，調(diào)用了Base::mf1
d.mf2(); // 依然正常，依然調(diào)用Derived::mf1
d.mf3(); // 正常，調(diào)用Derived::mf3
d.mf3(x); // 現(xiàn)在可以了，調(diào)用了Base::mf3
// (此處的x由int隱式轉(zhuǎn)換為double，
// 從而使Base::mf3的調(diào)用合法。)
這意味著如果你繼承一個(gè)包含重載函數(shù)的基類，并且你僅期望對(duì)其中一部分進(jìn)行重定義或重載，你就應(yīng)該為每一個(gè)不期望被隱藏的名字添加一條using聲明。如果你不這樣做，一些你希望繼承下來(lái)的名字將可能被隱藏。
不難想象，某些場(chǎng)合你可能不想把基類中所有的函數(shù)繼承下來(lái)。但是在公共繼承體系下這是無(wú)論如何不可行的，再次聲明，這是違背公共繼承“Derived是一個(gè)Base”關(guān)系的。（這也是為什么上文中using聲明要置于派生類中的公共元素部分：因?yàn)榛愔泄械拿衷诠才缮愔斜仨毷枪械摹＃┤欢谒接欣^承體系下（參見(jiàn)條目39），這種不完全繼承在某些情況下是有意義的。比如，假設(shè)Derived類私有繼承自Base，并且Derived只希望繼承mf1不包含參數(shù)的那個(gè)版本。using聲明在此就不會(huì)奏效了，因?yàn)樗鼘⑹乖撁炙淼?em>所有繼承版本的函數(shù)在派生類中可見(jiàn)。在這種情況下可以使用另一種技術(shù)，我們稱之為“轉(zhuǎn)發(fā)函數(shù)”：
class Base {
public:
virtual void mf1() = 0;
virtual void mf1(int);
... // 同上
};
class Derived: private Base {
public:
virtual void mf1() // 轉(zhuǎn)發(fā)函數(shù)；
{ Base::mf1(); } // 隱式內(nèi)聯(lián)（參見(jiàn)條目30）
... // （關(guān)于對(duì)純虛函數(shù)的調(diào)用，請(qǐng)參見(jiàn)條目34）
};
...
Derived d;
int x;
d.mf1(); // 正常，調(diào)用Derived::mf1
d.mf1(x); // 錯(cuò)誤！Base::mf1()被隱藏了
內(nèi)聯(lián)轉(zhuǎn)發(fā)函數(shù)的另一個(gè)用途是：在使用古老的編譯器時(shí)，它們通常不支持使用using聲明來(lái)為繼承類的作用域引入繼承的名字（這實(shí)際上是編譯器的缺陷）。此時(shí)可以使用內(nèi)聯(lián)轉(zhuǎn)發(fā)函數(shù)。
以上是繼承和名字隱藏的全部?jī)?nèi)容，但是如果繼承涉及模板，那么我們將以另一種形式面對(duì)“繼承而來(lái)的名字被隱藏”這一問(wèn)題。對(duì)于模板繼承的全部細(xì)節(jié)，請(qǐng)參見(jiàn)條目43。
時(shí)刻牢記
l 派生類中的名字會(huì)將基類中的名字隱藏起來(lái)。在公共繼承體系下，這是我們永遠(yuǎn)不希望見(jiàn)到的。
l 為了讓被隱藏名字再次可見(jiàn)，可以使用using聲明或者轉(zhuǎn)發(fā)函數(shù)。