莎士比亞對于“名字”有著獨特的見解。“名字意味著什么?玫瑰不叫玫瑰,依然芬芳如故。”大師還寫道:“倘若有人偷竊了我的好名字……事實上會讓我變得一貧如洗。”讓這兩段名句引領我們去探究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
// (此處的x由int隱式轉換為double,
// 從而使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)
... // (關于對純虛函數的調用,請參見條目34)
};
...
Derived d;
int x;
d.mf1(); // 正常,調用Derived::mf1
d.mf1(x); // 錯誤!Base::mf1()被隱藏了
內聯轉發函數的另一個用途是:在使用古老的編譯器時,它們通常不支持使用using聲明來為繼承類的作用域引入繼承的名字(這實際上是編譯器的缺陷)。此時可以使用內聯轉發函數。
以上是繼承和名字隱藏的全部內容,但是如果繼承涉及模板,那么我們將以另一種形式面對“繼承而來的名字被隱藏”這一問題。對于模板繼承的全部細節,請參見條目43。
時刻牢記
l 派生類中的名字會將基類中的名字隱藏起來。在公共繼承體系下,這是我們永遠不希望見到的。
l 為了讓被隱藏名字再次可見,可以使用using聲明或者轉發函數。