可以在一個類的范圍內聲明另一個類。這樣的類稱為“嵌套類”。 嵌套類被視為在封閉類的范圍內且可在該范圍內使用。若要從嵌套類的即時封閉范圍之外的某個范圍引用該類,則必須使用完全限定名。
下面的示例演示如何聲明嵌套類:
// nested_class_declarations.cppclass BufferedIO{public: enum IOError { None, Access, General }; // Declare nested class BufferedInput. class BufferedInput { public: int read(); int good() { return _inputerror == None; } private: IOError _inputerror; }; // Declare nested class BufferedOutput. class BufferedOutput { // Member list };};int main(){}
在 BufferedIO::BufferedInput 中聲明 BufferedIO::BufferedOutput 和 BufferedIO。這些類名稱在類 BufferedIO 的范圍外不可見。但是,BufferedIO 類型的對象不包含 BufferedInput 或 BufferedOutput 類型的任何對象。
嵌套類只能從封閉類中直接使用名稱、類型名稱,靜態成員的名稱和枚舉數。若要使用其他類成員的名稱,您必須使用指針、引用或對象名。
在前面的 BufferedIO 示例中,枚舉 IOError 可由嵌套類中的成員函數、BufferedIO::BufferedInput 或 BufferedIO::BufferedOutput 直接訪問,如函數 good 中所示。
注意
嵌套類僅在類范圍內聲明類型。它們不會導致創建嵌套類的包含對象。前面的示例聲明兩個嵌套類,但未聲明這些類類型的任何對象。
在將類型名稱與前向聲明一起聲明時,會引發嵌套類聲明的范圍可見性的異常。在這種情況下,由前向聲明聲明的類名在封閉類的外部可見,其范圍定義為最小的封閉非類范圍。例如:
// nested_class_declarations_2.cppclass C{public: typedef class U u_t; // class U visible outside class C scope typedef class V {} v_t; // class V not visible outside class C};int main(){ // okay, forward declaration used above so file scope is used U* pu; // error, type name only exists in class C scope u_t* pu2; // C2065 // error, class defined above so class C scope V* pv; // C2065 // okay, fully qualified name C::V* pv2;}
嵌套類中的訪問權限
將一個類嵌入另一個類中不會為嵌入類的成員函數提供特殊訪問權限。同樣,封閉類的成員函數不具有對嵌套類的成員的特殊訪問權限。
嵌套類中的成員函數
在嵌套類中聲明的成員函數可在文件范圍中定義。前面的示例可能已編寫:
// member_functions_in_nested_classes.cppclass BufferedIO{public: enum IOError { None, Access, General }; class BufferedInput { public: int read(); // Declare but do not define member int good(); // functions read and good. private: IOError _inputerror; }; class BufferedOutput { // Member list. };};// Define member functions read and good in// file scope.int BufferedIO::BufferedInput::read(){ return(1);}int BufferedIO::BufferedInput::good(){ return _inputerror == None;}int main(){}
在前面的示例中,qualified-type-name 語法用于聲明函數名稱。聲明:
BufferedIO::BufferedInput::read()
表示“作為 read 類(位于 BufferedInput 類的范圍中)的成員的 BufferedIO 函數。” 由于此聲明使用 qualified-type-name 語法,因此以下形式的構造是可能的:
typedef BufferedIO::BufferedInput BIO_INPUT;int BIO_INPUT::read()
上述聲明與前一個聲明等效,但它使用了 typedef 名稱來代替類名稱。
嵌套類中的友元函數
嵌套類中聲明的友元函數被認為是在嵌套類而不是封閉類的范圍內。因此,友元函數未獲得對封閉類的成員或成員函數的特定訪問權限。如果需要使用在友元函數中的嵌套類中聲明的名稱,并且友元函數是在文件范圍內定義的,請使用限定的類型名稱,如下所示:
// friend_functions_and_nested_classes.cpp#include <string.h>enum{ sizeOfMessage = 255};char *rgszMessage[sizeOfMessage];class BufferedIO{public: class BufferedInput { public: friend int GetExtendedErrorStatus(); static char *message; static int messageSize; int iMsgNo; };};char *BufferedIO::BufferedInput::message;int BufferedIO::BufferedInput::messageSize;int GetExtendedErrorStatus(){ int iMsgNo = 1; // assign arbitrary value as message number strcpy_s( BufferedIO::BufferedInput::message, BufferedIO::BufferedInput::messageSize, rgszMessage[iMsgNo] ); return iMsgNo;}int main(){}
以下代碼演示聲明為友元函數的函數 GetExtendedErrorStatus。在文件范圍內定義的函數中,將消息從靜態數組復制到類成員中。請注意,GetExtendedErrorStatus 的更佳實現是將其聲明為:
int GetExtendedErrorStatus( char *message )
利用前面的接口,許多類可以通過傳遞要復制錯誤消息的內存位置來使用此函數的服務。