實(shí)例解析C++/CLI中的繼承與枚舉

2019-11-17 05:03:08

字體：大中小

供稿：網(wǎng)友

　　本文中，將要介紹與繼續(xù)相關(guān)的C++/CLI主題，并以現(xiàn)實(shí)生活中銀行交易的三種形式：存款、取款、轉(zhuǎn)賬，來(lái)說(shuō)明類(lèi)的繼續(xù)體系，且以一種新的枚舉形式來(lái)實(shí)現(xiàn)。

　　枚舉器

　　請(qǐng)看例1中聲明的類(lèi)型，它存在于其自身的源文件中，并編譯為一個(gè)只包含此類(lèi)型的程序集：

　　例1：

public enum class TransactionType :
unsigned char {Deposit, Withdrawal, Transfer};
　　與想像的一樣，枚舉器中的Deposit、Withdrawal、Transfer分別代表0、1、2的常量值，但有三個(gè)方面卻讓這個(gè)enum類(lèi)型與標(biāo)準(zhǔn)C++的enum類(lèi)型（也就是"本地enum"）大不相同。

　　·enum類(lèi)只用于取代enum。這使TransactionType成為了一個(gè)CLI enum。（也答應(yīng)enum結(jié)構(gòu)，其與enum類(lèi)等價(jià)。）

　　·此類(lèi)型的可訪(fǎng)問(wèn)性為public，以使其可從父類(lèi)程序集外可見(jiàn)。（在C++/CLI中，一個(gè)本地enum類(lèi)型也能有一個(gè)訪(fǎng)問(wèn)限定符。）

　　·enum類(lèi)有一個(gè)顯式的基本類(lèi)型限定符：在本例中為unsigned char。（在C++/CLI中，一個(gè)本地enum也能有一個(gè)基本類(lèi)型。）默認(rèn)情況下，基本類(lèi)型為int。基本類(lèi)型也能為bool或除wchar_t之外的任意整形。（假如指定bool為基本類(lèi)型，枚舉器必須顯式地進(jìn)行初始化，因?yàn)闆](méi)有默認(rèn)的初始值。）

　　支持這個(gè)新語(yǔ)法的原因是CLI enum遵從CLS標(biāo)準(zhǔn)，而本地enum卻不遵從。

　　CLI enum與本地enum間最大的區(qū)別在于構(gòu)成方式上，枚舉名的作用范圍由它的父類(lèi)enum類(lèi)型來(lái)限定。另外，標(biāo)準(zhǔn)C++中定義的整數(shù)提升，并不適用于CLI enum。

　　與本地enum類(lèi)似，一個(gè)CLI enum也能被定義在一個(gè)類(lèi)中，在這種情況下，就不答應(yīng)使用訪(fǎng)問(wèn)限定符了，因?yàn)榍短最?lèi)型的可見(jiàn)性，已被其嵌入到的類(lèi)型可見(jiàn)性所取代。

　　交易的抽象基類(lèi)

　　交易類(lèi)型的繼續(xù)體系在基類(lèi)Transaction中，默認(rèn)從System::Object繼續(xù)，見(jiàn)例2：

　　例2：

using namespace System;
using namespace System::Threading;

/*1*/
public ref class Transaction abstract
{
　TransactionType typeOfTransaction;
　/*2*/ DateTime dateTimeOfTransaction;
　public:
　/*3a*/ PRoperty TransactionType TypeOfTransaction
　{
　　TransactionType get() { return typeOfTransaction; }

　private:
　　void set(TransactionType value) { typeOfTransaction = value; }
}

/*3b*/ property DateTime DateTimeOfTransaction
{
　DateTime get() { return dateTimeOfTransaction; }
　private:
　　void set(DateTime value) { dateTimeOfTransaction = value; }
}

/*4*/ virtual void PostTransaction() abstract;

protected:
/*5*/ Transaction(TransactionType transType)
{
　/*6*/ Thread::Sleep((gcnew Random)->Next(1000,2001));
　/*7*/ TypeOfTransaction = transType;
　/*8*/ DateTimeOfTransaction = DateTime::Now;
}
};
　　在標(biāo)號(hào)1中，這個(gè)類(lèi)被標(biāo)為abstract（抽象類(lèi)），這意味著它不能被直接實(shí)例化。（抽象不是一個(gè)要害字，僅僅在此上下文中作了保留。）這個(gè)abstract修飾詞可用于定義一個(gè)抽象類(lèi)，而無(wú)須顯式地聲明一個(gè)或多個(gè)成員函數(shù)為純虛類(lèi)型。

　　在類(lèi)的私有數(shù)據(jù)成員部分，一個(gè)Transaction包含了一個(gè)交易類(lèi)型及一個(gè)時(shí)間日期戳，兩者都由定義在標(biāo)號(hào)3a及3b中的屬性來(lái)訪(fǎng)問(wèn)。在標(biāo)號(hào)2中使用的CLI庫(kù)值類(lèi)型System::DateTime答應(yīng)用一個(gè)即時(shí)變量顯示出當(dāng)天的日期與時(shí)間。請(qǐng)注重，兩個(gè)屬性是怎樣擁有公有g(shù)et方法與私有set方法的。（這是基于新的CLI標(biāo)準(zhǔn)，并且現(xiàn)在已與CLS兼容了。）

　　標(biāo)號(hào)4要求每個(gè)具體的交易類(lèi)型都有公共的成員函數(shù)PostTransaction，在此的abstract函數(shù)修飾符等同于標(biāo)準(zhǔn)C++語(yǔ)法中的純虛函數(shù)，一個(gè)抽象（abstract）函數(shù)必須顯式地聲明為virtual。

　　由于構(gòu)造函數(shù)只應(yīng)從繼續(xù)類(lèi)中調(diào)用，所以定義在標(biāo)號(hào)5中的構(gòu)造函數(shù)為protected，但它需做的事情卻非常簡(jiǎn)單：設(shè)置新的交易類(lèi)型為傳遞進(jìn)來(lái)的類(lèi)型，并通過(guò)調(diào)用公有屬性DateTime::Now的get方法把時(shí)間日期戳設(shè)置為當(dāng)前時(shí)間。有關(guān)傳遞進(jìn)來(lái)的交易類(lèi)型，應(yīng)為一個(gè)值類(lèi)型，而不答應(yīng)為nullptr，由于CLI enum的強(qiáng)類(lèi)型檢查，編譯器只答應(yīng)同類(lèi)型的枚舉器被傳遞，或者同類(lèi)型的實(shí)例，當(dāng)然了，其也只能被同類(lèi)型的枚舉器所初始化。

　　通常地，構(gòu)造函數(shù)必須盡快執(zhí)行完，在此，為從測(cè)試程序中得出更多的結(jié)果，所以在程序中安置了一個(gè)延遲方法，因此時(shí)間日期戳在每次交易時(shí)都會(huì)改變，見(jiàn)標(biāo)號(hào)6，構(gòu)造函數(shù)會(huì)在初始化數(shù)據(jù)成員之前，隨機(jī)休眠一段時(shí)間。由于每個(gè)程序至少都會(huì)有一個(gè)執(zhí)行線(xiàn)程，而此線(xiàn)程的有關(guān)特征可通過(guò)sealed System::Threading::Thread引用類(lèi)來(lái)設(shè)置或獲取，Thread::Sleep函數(shù)則把當(dāng)前執(zhí)行線(xiàn)程掛起指定的毫秒數(shù)。

　　為使掛起的時(shí)間有所變化，使用了System::Random引用類(lèi)來(lái)生成一系列的偽隨機(jī)數(shù)，標(biāo)號(hào)6中重載的Next函數(shù)則獲取了一個(gè)"大于等于1000，小于2001"的數(shù)，也就是一至兩秒鐘的延遲。

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

存款、取款、轉(zhuǎn)賬類(lèi)

　　例3定義了存款類(lèi)，為什么這個(gè)類(lèi)為sealed呢？假如還沒(méi)有認(rèn)真考慮過(guò)它是否足夠"健壯"以可作一個(gè)基類(lèi)，那么還是讓它不可以繼續(xù)吧。例3：

using namespace System;

/*1*/
public ref class Deposit sealed : Transaction
{
　/*2*/ Decimal amount;
　int toAccount;
　public:
　　/*3a*/ Deposit(double amount, int toAccount) :
　　Transaction(TransactionType::Deposit)
　　{
　　　DepositAmount = Decimal(amount);
　　　DepositToAccount = toAccount;
　　}

　　/*3b*/ Deposit(Decimal amount, int toAccount) :
　　Transaction(TransactionType::Deposit)
　　{
　　　DepositAmount = amount;
　　　DepositToAccount = toAccount;
　　}
　　property Decimal DepositAmount
　　{
　　　Decimal get() { return amount; };
　　　private:
　　　　void set(Decimal value) { amount = value; }
　　}
　　property int DepositToAccount
　　{
　　　int get() { return toAccount; };
　　　private:
　　　　void set(int value) { toAccount = value; }
　　}

　　/*4*/ void PostTransaction()
　　{
　　　Console::WriteLine("{0} -- {1}", DateTimeOfTransaction, this);
　　}
　　virtual String^ ToString() override
　　{
　　　/*5*/ return String::Format(" Dep: {0,10:0.00} {1,10}",DepositAmount, DepositToAccount);
　　}
};
　　CLI只支持單一繼續(xù)，因此，值類(lèi)和引用類(lèi)只能有一個(gè)直接的基類(lèi)，默認(rèn)情況下為System::Object。在標(biāo)號(hào)1中，Deposit直接繼續(xù)自Transaction，請(qǐng)注重沒(méi)有public訪(fǎng)問(wèn)限定符，CLI只支持公有（public）繼續(xù)，所以在此也可寫(xiě)為": public Transaction"，但這是多余的。（對(duì)本地類(lèi)而言，當(dāng)繼續(xù)的類(lèi)型為結(jié)構(gòu)strUCt時(shí)，默認(rèn)為公有繼續(xù)；當(dāng)繼續(xù)的類(lèi)型為類(lèi)class時(shí)，默認(rèn)為私有繼續(xù)。）

　　別忘了，CLI庫(kù)支持一種非常適合金融計(jì)算的類(lèi)型--System::Decimal，可在標(biāo)號(hào)2中用它來(lái)表示存款額。

　　為了方便，提供了兩個(gè)構(gòu)造函數(shù)：一個(gè)接受表示為Decimal的數(shù)額，而另一個(gè)接受表示為double的數(shù)額。請(qǐng)注重，在兩個(gè)構(gòu)造函數(shù)的定義中，是怎樣使用CLI enum作用域符來(lái)訪(fǎng)問(wèn)枚舉器TransactionType中Deposit的。

　　為完成抽象基類(lèi)，需提供標(biāo)號(hào)4中的PostTransaction的實(shí)現(xiàn)，DateTime是一個(gè)值類(lèi)型，因此當(dāng)它的一個(gè)實(shí)例被傳遞進(jìn)來(lái)時(shí)，它被裝箱以匹配WriteLine所期望的Object^，而this表達(dá)式類(lèi)型為Deposit^，其也繼續(xù)自O(shè)bject^。在這兩種情況中，繼續(xù)層次會(huì)一直往下，直到抵達(dá)并調(diào)用對(duì)應(yīng)的ToString函數(shù)。

　　也能把函數(shù)PostTransaction聲明為sealed，這樣它就不能被覆蓋了，然而，假如父類(lèi)本身已經(jīng)為sealed，那么函數(shù)永遠(yuǎn)也不可能被覆蓋。

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

　　標(biāo)號(hào)5中的格式指定符{0,10:0.00}，表明在10個(gè)打印位寬度中右對(duì)齊數(shù)額，并四舍五入到小數(shù)點(diǎn)后兩位，且至少在小數(shù)點(diǎn)前有一位數(shù)。

　　Deposit類(lèi)型直接依靠于Transaction與TransactionType類(lèi)型，所以在Deposit的編譯期間，必須確保可訪(fǎng)問(wèn)到這兩者的程序集。但是，編譯器可能會(huì)發(fā)出一個(gè)警告，表示TransactionType已經(jīng)被引入了兩次，一次是直接，而另一次是間接地通過(guò)Transaction，在此，可安全地忽略此警告信息。

　　Withdrawal類(lèi)定義在例4中，而Transfer類(lèi)定義在例5中。

　　例4：

using namespace System;

public ref class Withdrawal sealed : Transaction
{
　Decimal amount;
　int fromAccount;
　public:
　　Withdrawal(double amount, int fromAccount) : Transaction(TransactionType::Withdrawal)
　　{
　　　WithdrawalAmount = Decimal(amount);
　　　WithdrawalFromAccount = fromAccount;
　　}
　　Withdrawal(Decimal amount, int fromAccount) : Transaction(TransactionType::Withdrawal)
　　{
　　　WithdrawalAmount = amount;
　　　WithdrawalFromAccount = fromAccount;
　　}
　　property Decimal WithdrawalAmount
　　{
　　　Decimal get() { return amount; };
　　　private:
　　　　void set(Decimal value) { amount = value; };
　　}
　　property int WithdrawalFromAccount
　　{
　　　int get() { return fromAccount; };
　　　private:
　　　　void set(int value) { fromAccount = value; };
　　}
　　void PostTransaction()
　　{
　　　Console::WriteLine("{0} -- {1}", DateTimeOfTransaction, this);
　　}
　　virtual String^ ToString() override
　　{
　　　return String::Format("With: {0,10:0.00} {1,10}",
　　　WithdrawalAmount, WithdrawalFromAccount);
　　}
};
　　例5：

using namespace System;

public ref class Transfer sealed : Transaction
{
　Decimal amount;
　int fromAccount;
　int toAccount;
　public:
　　Transfer(double amount, int fromAccount, int toAccount): Transaction(TransactionType::Transfer)
　　{
　　　TransferAmount = Decimal(amount);
　　　TransferFromAccount = fromAccount;
　　　TransferToAccount = toAccount;
　　}
　　Transfer(Decimal amount, int fromAccount, int toAccount): Transaction(TransactionType::Transfer)
　　{
　　　TransferAmount = amount;
　　　TransferFromAccount = fromAccount;
　　　TransferToAccount = toAccount;
　　}
　　property Decimal TransferAmount
　　{
　　　Decimal get() { return amount; };
　　　private:
　　　　void set(Decimal value) { amount = value; };
　　}
　　property int TransferFromAccount
　　{
　　　int get() { return fromAccount; };
　　　private:
　　　　void set(int value) { fromAccount = value; };
　　}
　　property int TransferToAccount
　　{
　　　int get() { return toAccount; };
　　　private:
　　　　void set(int value) { toAccount = value; };
　　}
　　void Transfer::PostTransaction()
　　{
　　　Console::WriteLine("{0} -- {1}", DateTimeOfTransaction, this);
　　}
　　virtual String^ ToString() override
　　{
　　　return String::Format("Xfer: {0,10:0.00} {1,10} {2,10}",
　　　TransferAmount, TransferToAccount, TransferFromAccount);
　　}
};
　　雖然三個(gè)PostTransaction的實(shí)現(xiàn)是同樣的，但在真實(shí)的交易處理系統(tǒng)中，這是不可能發(fā)生的。

　　測(cè)試程序

　　例6是測(cè)試交易類(lèi)型的程序，它會(huì)創(chuàng)建一個(gè)具體交易類(lèi)型的數(shù)組、遍歷此數(shù)組、調(diào)用每個(gè)元素的PostTransaction函數(shù)。插1是某次執(zhí)行后的輸出，默認(rèn)使用的是美國(guó)式的日期時(shí)間格式，即為，月、日、年、12小時(shí)制。

　　例6：

using namespace System;

int main()
{
　array<Transaction^>^ list = gcnew array<Transaction^> {
　　gcnew Deposit(123.05, 12345),
　　gcnew Transfer(Decimal::Parse("1256.40"), 1111, 222),
　　gcnew Withdrawal(34.54, 232323),
　　gcnew Deposit(56.12, 14321)
　};
　for each (Transaction^ t in list)
　{
　　t->PostTransaction();
　}
}
　　插1：例6某次執(zhí)行后的輸出

3/20/2005 12:36:16 AM -- Dep: 123.05 12345
3/20/2005 12:36:18 AM -- Xfer: 1256.40 222 1111
3/20/2005 12:36:19 AM -- With: 34.54 232323
3/20/2005 12:36:21 AM -- Dep: 56.12 14321

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

枚舉與繼續(xù)

　　一個(gè)CLI enum類(lèi)型通常實(shí)現(xiàn)為一個(gè)值類(lèi)型，且隱式繼續(xù)自System::Enum。同樣地，此類(lèi)型的靜態(tài)與實(shí)例成員，它們的基類(lèi)System::ValueType與類(lèi)型的基類(lèi)System::Object，在CLI enum類(lèi)型或此類(lèi)型的任意實(shí)例中，都可以訪(fǎng)問(wèn)到。插2是例7的輸出。

　　例7：

using namespace System;

public enum class Color {Black, White, Red};
public enum class TransactionType :
unsigned char {Deposit, Withdrawal, Transfer};
int main()
{
　Color c = Color::White;

　/*1*/ Console::WriteLine("Color::Red's name is >{0}<",
　Enum::GetName(c.GetType(), Color::Red));
　Console::Write("Color's members are:");

　/*2*/ array<String^>^ names = Enum::GetNames(Type::GetType("Color"));
　for each (String^ s in names)
　{
　　Console::Write(" {0}", s);
　}
　Console::WriteLine();

　/*3*/ Console::WriteLine("The type underlying Color is >{0}<",
　Enum::GetUnderlyingType(Color::typeid));

　/*4*/ Console::WriteLine("The type underlying TransactionType is >{0}<",
　Enum::GetUnderlyingType(TransactionType::typeid));
}
　　插2：例7的輸出

Color::Red's name is >Red<
Color's members are: Black White Red
The type underlying Color is >System.Int32<
The type underlying TransactionType is >System.Byte<
　　在標(biāo)號(hào)1中，調(diào)用了Enum::GetName以找出特定enum類(lèi)型枚舉器的名稱(chēng)，第一個(gè)參數(shù)必須為System::Type類(lèi)型，而獲取它的一個(gè)方法就是通過(guò)對(duì)感愛(ài)好的變量調(diào)用Object::GetType。

　　在標(biāo)號(hào)2中，調(diào)用了Enum::GetNames以找出特定enum類(lèi)型全部枚舉器的名稱(chēng)，第一個(gè)參數(shù)必須為System::Type類(lèi)型，而獲取它的一個(gè)方法就是通過(guò)對(duì)感愛(ài)好的變量（其以字符串形式表示的名稱(chēng)）調(diào)用Type::GetType。

　　在標(biāo)號(hào)3及標(biāo)號(hào)4中，調(diào)用了Enum::GetUnderlyingType以找出這兩個(gè)CLI enum類(lèi)型的底層類(lèi)型，此處使用了一個(gè)更簡(jiǎn)單的方法用于找出類(lèi)型的Type對(duì)象--新形式的typeid操作符。

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

數(shù)組與繼續(xù)

　　每個(gè)CLI數(shù)組類(lèi)型隱式繼續(xù)自抽象引用類(lèi)型System::Array，另外，數(shù)組的某些成員屬性也繼續(xù)自這個(gè)基類(lèi)，所以當(dāng)使用一個(gè)CLI數(shù)組時(shí)，便可訪(fǎng)問(wèn)到數(shù)組及對(duì)象的每個(gè)公有成員，見(jiàn)例8，插3是對(duì)應(yīng)的輸出。數(shù)組的成員函數(shù)在此是直接調(diào)用的。

　　例8：

using namespace System;

generic<typename T>
void Display1DArray(String^ text, array<T>^ ary)
{
　if (ary == nullptr)
　{
　　Console::WriteLine("nullptr passed");
　　return;
　}
　Console::Write("{0} {1}:", text, ary->Length);
　for each (T element in ary)
　{
　　Console::Write(" {0}", element);
　}
　Console::WriteLine();
}
int main()
{
　array<int>^ numbers = gcnew array<int>{10, 75, 23, 18, 53, 18};
　Display1DArray("numbers, original", numbers);

　/*1*/ Console::WriteLine("IndexOf(18) {0}", Array::IndexOf(numbers, 18));

　/*2*/ Console::WriteLine("LastIndexOf(18) {0}",
　Array::LastIndexOf(numbers, 18));
　/*3*/ Array::Sort(numbers);
　Display1DArray("numbers, sorted ", numbers);

　/*4*/ Console::WriteLine("BinarySearch(23) {0}",
　Array::BinarySearch(numbers, 23));
　/*5*/ Array::Reverse(numbers);
　Display1DArray("numbers, reversed", numbers);

　array<int>^ numbers2 = gcnew array<int>(4);

　/*6*/ Array::Copy(numbers, numbers2, numbers2->Length);
　Display1DArray("numbers2 ", numbers2);
　
　/*7*/ Array::Clear(numbers, 1, 4);
　Display1DArray("numbers, cleared ", numbers);
}
　　插3：例8的輸出

numbers, original 6: 10 75 23 18 53 18
IndexOf(18) 3
LastIndexOf(18) 5
numbers, sorted 6: 10 18 18 23 53 75
BinarySearch(23) 3
numbers, reversed 6: 75 53 23 18 18 10
numbers2 4: 75 53 23 18
numbers, cleared 6: 75 0 0 0 0 10

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

覆蓋 VS 隱藏

　　在一個(gè)虛擬函數(shù)調(diào)用時(shí)，其實(shí)例的運(yùn)行時(shí)類(lèi)型決定了實(shí)際要調(diào)用的具體函數(shù)實(shí)現(xiàn)；在一個(gè)非虛擬函數(shù)調(diào)用時(shí)，實(shí)例的編譯時(shí)類(lèi)型才是最終的決定因素。

　　我們可從標(biāo)準(zhǔn)C++中得知，一個(gè)虛擬函數(shù)的實(shí)現(xiàn)，可被繼續(xù)類(lèi)中的相應(yīng)實(shí)現(xiàn)所取代，而這個(gè)取代的過(guò)程被稱(chēng)為"覆蓋"，其是通過(guò)使用override函數(shù)修飾符來(lái)完成的。鑒于一個(gè)虛擬函數(shù)的聲明引入了一個(gè)新的函數(shù)，那么，通過(guò)提供一個(gè)此函數(shù)新的實(shí)現(xiàn)，一個(gè)覆蓋函數(shù)聲明可對(duì)繼續(xù)來(lái)的虛擬函數(shù)進(jìn)行專(zhuān)門(mén)的細(xì)化。需覆蓋的函數(shù)必須顯式聲明為virtual。

　　當(dāng)一個(gè)類(lèi)重新聲明了一個(gè)它繼續(xù)來(lái)的函數(shù)名稱(chēng)時(shí)，由于出現(xiàn)了new函數(shù)修飾符，那么可以說(shuō)這個(gè)類(lèi)，隱藏了父類(lèi)中的那個(gè)名稱(chēng)。

　　請(qǐng)看例9中的代碼，留意變量的定義及在調(diào)用成員函數(shù)時(shí)的使用情況：

　　例9：

using namespace System;

public ref struct A
{
　/*1a*/ void F0() { Console::WriteLine("A::F0"); }
　/*1b*/ virtual void F1() { Console::WriteLine("A::F1"); }
　/*1c*/ virtual void F2() { Console::WriteLine("A::F2"); }
　//*1d*/ virtual void F3() { Console::WriteLine("A::F3"); }
};

public ref struct B : public A
{
　/*2a*/ void F0() new { Console::WriteLine("B::F0"); }
　/*2b*/ virtual void F1() override { Console::WriteLine("B::F1"); }
　/*2c*/ virtual void F2() new { Console::WriteLine("B::F2"); }
　private:
　　//*2d*/ void F3() new { Console::WriteLine("B::F3"); }
};

public ref struct C : public B
{
　/*3a*/ void F0() new { Console::WriteLine("C::F0"); }
　/*3b*/ virtual void F1x() override = B::F1 { Console::WriteLine("C::F1x"); }
　/*3c*/ virtual void F2x() = B::F2 { Console::WriteLine("C::F2x"); }
　//*3d*/ virtual void F3() { Console::WriteLine("C::F3"); }
};
　　假定有以下代碼：

A^ a = gcnew A();
a->F0(); //調(diào)用 A::F0
a->F1(); //調(diào)用A::F1
a->F2(); //調(diào)用A::F2

a->F0()：A::F0是一個(gè)非虛擬函數(shù)，因此使用的是a的編譯時(shí)類(lèi)型（也就是A），導(dǎo)致A::F0被調(diào)用。
a->F1()：A::F1是一個(gè)虛擬函數(shù)，因此使用的是a的運(yùn)行時(shí)類(lèi)型（也就是A），導(dǎo)致A::F1被調(diào)用。
a->F2()：與A::F1類(lèi)似，A::F2也是一個(gè)虛擬函數(shù)，因此使用的是a的運(yùn)行時(shí)類(lèi)型（也就是A），導(dǎo)致A::F2被調(diào)用。

B^ b = gcnew B();
b->F0(); //調(diào)用 B::F0
b->F1(); //調(diào)用B::F1
b->F2(); //調(diào)用B::F2

b->F0()：B::F0是一個(gè)非虛擬函數(shù)，因此使用的是b的編譯時(shí)類(lèi)型（也就是B），導(dǎo)致B::F0被調(diào)用。
b->F1()：B::F1覆蓋了虛擬函數(shù)A::F1，因此使用的是b的運(yùn)行時(shí)類(lèi)型（也就是B），導(dǎo)致B::F1被調(diào)用。
b->F2()：B::F2（通過(guò)new）隱藏了虛擬函數(shù)A::F2，因此使用的b的是編譯時(shí)類(lèi)型（也就是B），導(dǎo)致B::F2被調(diào)用。這個(gè)隱藏函數(shù)同樣也為virtual，答應(yīng)繼續(xù)自B的類(lèi)覆蓋這個(gè)帶有new的函數(shù)。

a = b;
a->F0(); //調(diào)用 A::F0
a->F1(); //調(diào)用B::F1
a->F2(); //調(diào)用A::F2

a->F0()：A::F0是一個(gè)非虛擬函數(shù)，因此使用的是a的編譯時(shí)類(lèi)型（也就是A），導(dǎo)致A::F0被調(diào)用。
a->F1()：A::F1是一個(gè)虛擬函數(shù)，因此使用的是a的運(yùn)行時(shí)類(lèi)型（也就是B），導(dǎo)致B::F1被調(diào)用。
a->F2()：A::F2是一個(gè)虛擬函數(shù)，其被函數(shù)B::F2所隱藏，因此使用的是a的編譯時(shí)類(lèi)型（也就是A），導(dǎo)致A::F2被調(diào)用。（請(qǐng)記住，要先有后續(xù)的覆蓋函數(shù)，才會(huì)有動(dòng)態(tài)查詢(xún)過(guò)程，而在本例中，是不存在的。）

C^ c = gcnew C();
c->F0(); //調(diào)用C::F0
c->F1(); //調(diào)用C::F1x
c->F2(); //調(diào)用 C::F2x

c->F0()：C::F0是一個(gè)非虛擬函數(shù)，因此使用的是c的編譯時(shí)類(lèi)型（也就是C），導(dǎo)致C::F0被調(diào)用。
c->F1()：C::F1x是一個(gè)虛擬函數(shù)，因此使用的是c的運(yùn)行時(shí)類(lèi)型（也就是C），但是，在C::F1x的情況中，使用了一個(gè)命名覆蓋，也就是說(shuō)，被覆蓋的函數(shù)與覆蓋函數(shù)有著不同的名稱(chēng)，這導(dǎo)致C::F1x被調(diào)用。
c->F2()：C::F2x覆蓋了虛擬函數(shù)B::F2，因此使用的是c的運(yùn)行時(shí)類(lèi)型（也就是C），導(dǎo)致C::F2x被調(diào)用。（正如大家所見(jiàn)，在這個(gè)命名覆蓋中，省略了顯式覆蓋修飾符。）

b = c;
b->F0(); //調(diào)用 B::F0
b->F1(); //調(diào)用C::F1x
b->F2(); //調(diào)用C::F2x

b->F0()：B::F0是一個(gè)非虛擬函數(shù)，因此使用的是b的編譯時(shí)類(lèi)型（也就是B），導(dǎo)致B::F0被調(diào)用。
b->F1()：B::F1覆蓋了虛擬函數(shù)A::F1，因此使用的是b的運(yùn)行時(shí)類(lèi)型（也就是C），導(dǎo)致C::F1x被調(diào)用。
b->F2()：B::F2是一個(gè)虛擬函數(shù)，因此使用的是b的運(yùn)行時(shí)類(lèi)型（也就是C），導(dǎo)致C::F2x被調(diào)用。

a = c;
a->F0(); //調(diào)用A::F0
a->F1(); //調(diào)用C::F1x
a->F2(); //調(diào)用 A::F2

a->F0()：A::F0是一個(gè)非虛擬函數(shù)，因此使用的是a的編譯時(shí)類(lèi)型（也就是A），導(dǎo)致A::F0被調(diào)用。
a->F1()：A::F1是一個(gè)虛擬函數(shù)，因此使用的是a的運(yùn)行時(shí)類(lèi)型（也就是C），導(dǎo)致C::F1x被調(diào)用。
a->F2()：A::F2是一個(gè)虛擬函數(shù)，其被函數(shù)B::F2所隱藏，因此使用的是a的編譯時(shí)類(lèi)型（也就是A），導(dǎo)致A::F2被調(diào)用。
（請(qǐng)記住，要先有后續(xù)的覆蓋函數(shù)，才會(huì)有動(dòng)態(tài)查詢(xún)過(guò)程，而在這些例子中，是不存在的。）
　　訪(fǎng)問(wèn)限定符

　　標(biāo)準(zhǔn)C++支持三種成員訪(fǎng)問(wèn)限定符：public、protected、private。為了適應(yīng)程序集，C++/CLI添加了另外三種，完整地列在下表中：

　　·public意味著訪(fǎng)問(wèn)不受限制。

　　·protected意味著訪(fǎng)問(wèn)受限于包含的類(lèi)，及任意繼續(xù)自包含類(lèi)的類(lèi)型。

　　·private意味著訪(fǎng)問(wèn)受限于包含的類(lèi)中。

　　·internal意味著訪(fǎng)問(wèn)受限于父類(lèi)程序集。

　　·public protected（或protected public）意味著訪(fǎng)問(wèn)受限于父類(lèi)程序集，及繼續(xù)自包含類(lèi)的類(lèi)型--即使這些類(lèi)型位于程序集之外。

　　·private protected（或protected private）意味著訪(fǎng)問(wèn)受限于父類(lèi)程序集，及繼續(xù)自包含類(lèi)的類(lèi)型--倘若這些類(lèi)型是定義在這個(gè)程序集內(nèi)的。

　　通過(guò)對(duì)父類(lèi)施予更嚴(yán)格的訪(fǎng)問(wèn)限定符，成員也能具有更少的可訪(fǎng)問(wèn)性，另外，千萬(wàn)不要混淆成員名可訪(fǎng)問(wèn)性和類(lèi)型可見(jiàn)性（類(lèi)型可見(jiàn)性只能為public或private）。

更多內(nèi)容請(qǐng)看C/C++應(yīng)用實(shí)例專(zhuān)題，或

上一篇：C++數(shù)據(jù)結(jié)構(gòu)學(xué)習(xí):二叉樹(shù)(4)

下一篇：C語(yǔ)言基礎(chǔ):插入排序法