在C++、Java等眾多OOP語(yǔ)言里都可以看到virtual的身影，而C#作為一個(gè)完全面向?qū)ο蟮恼Z(yǔ)言當(dāng)然也不例外。

C#虛函數(shù)從程序編譯的角度來(lái)看，它和其它一般的函數(shù)有什么區(qū)別呢？一般函數(shù)在編譯時(shí)就靜態(tài)地編譯到了執(zhí)行文件中，其相對(duì)地址在程序運(yùn)行期間是不發(fā)生變化的，也就是寫死了的！而C#虛函數(shù)在編譯期間是不被靜態(tài)編譯的，它的相對(duì)地址是不確定的，它會(huì)根據(jù)運(yùn)行時(shí)期對(duì)象實(shí)例來(lái)動(dòng)態(tài)判斷要調(diào)用的函數(shù)，其中那個(gè)申明時(shí)定義的類叫申明類，那個(gè)執(zhí)行時(shí)實(shí)例化的類叫實(shí)例類。

如：飛禽 bird = new 麻雀();

那么飛禽就是申明類，麻雀是實(shí)例類。

具體的檢查的流程如下

1、當(dāng)調(diào)用一個(gè)對(duì)象的函數(shù)時(shí)，系統(tǒng)會(huì)直接去檢查這個(gè)對(duì)象申明定義的類，即申明類，看所調(diào)用的函數(shù)是否為C#虛函數(shù)；

2、如果不是虛函數(shù)，那么它就直接執(zhí)行該函數(shù)。而如果有virtual關(guān)鍵字，也就是一個(gè)虛函數(shù)，那么這個(gè)時(shí)候它就不會(huì)立刻執(zhí)行該函數(shù)了，而是轉(zhuǎn)去檢查對(duì)象的實(shí)例類。

3、在這個(gè)實(shí)例類里，他會(huì)檢查這個(gè)實(shí)例類的定義中是否有重新實(shí)現(xiàn)該虛函數(shù)（通過(guò)override關(guān)鍵字），如果是有，那么OK，它就不會(huì)再找了，而馬上執(zhí)行該實(shí)例類中的這個(gè)重新實(shí)現(xiàn)的函數(shù)。而如果沒(méi)有的話，系統(tǒng)就會(huì)不停地往上找實(shí)例類的父類，并對(duì)父類重復(fù)剛才在實(shí)例類里的檢查，直到找到***個(gè)重載了該虛函數(shù)的父類為止，然后執(zhí)行該父類里重載后的函數(shù)。

知道這點(diǎn)，就可以理解下面代碼的運(yùn)行結(jié)果了：

using System;  
 
namespace Zhisi.Net  
{  
    class A  
    {  
        public virtual void Func() // 注意virtual,表明這是一個(gè)虛擬函數(shù)  
        {  
            Console.WriteLine("Func In A");  
        }  
    }  
 
    class B : A // 注意B是從A類繼承,所以A是父類,B是子類  
    {  
        public override void Func() // 注意override ,表明重新實(shí)現(xiàn)了虛函數(shù)  
        {  
            Console.WriteLine("Func In B");  
        }  
    }  
 
    class C : B // 注意C是從A類繼承,所以B是父類,C是子類  
    {  
    }  
 
    class D : A // 注意B是從A類繼承,所以A是父類,D是子類  
    {  
        public new void Func() // 注意new ，表明覆蓋父類里的同名類，而不是重新實(shí)現(xiàn)  
        {  
            Console.WriteLine("Func In B");  
        }  
    }  
 
    class program  
    {  
        static void Main()  
        {  
            A a;         // 定義一個(gè)a這個(gè)A類的對(duì)象.這個(gè)A就是a的申明類  
            A b;         // 定義一個(gè)b這個(gè)A類的對(duì)象.這個(gè)A就是b的申明類  
            A c;         // 定義一個(gè)c這個(gè)A類的對(duì)象.這個(gè)A就是b的申明類  
            A d;         // 定義一個(gè)d這個(gè)A類的對(duì)象.這個(gè)A就是b的申明類  
 
            a = new A(); // 實(shí)例化a對(duì)象,A是a的實(shí)例類  
            b = new B(); // 實(shí)例化b對(duì)象,B是b的實(shí)例類  
            c = new C(); // 實(shí)例化b對(duì)象,C是b的實(shí)例類  
            d = new D(); // 實(shí)例化b對(duì)象,D是b的實(shí)例類  
 
            a.Func();    // 執(zhí)行a.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉(zhuǎn)去檢查實(shí)例類A，就為本身 4.執(zhí)行實(shí)例類A中的方法 5.輸出結(jié)果 Func In A  
            b.Func();    // 執(zhí)行b.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉(zhuǎn)去檢查實(shí)例類B，有重載的 4.執(zhí)行實(shí)例類B中的方法 5.輸出結(jié)果 Func In B  
            c.Func();    // 執(zhí)行c.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉(zhuǎn)去檢查實(shí)例類C，無(wú)重載的 4.轉(zhuǎn)去檢查類C的父類B，有重載的 5.執(zhí)行父類B中的Func方法 5.輸出結(jié)果 Func In B  
            d.Func();    // 執(zhí)行d.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉(zhuǎn)去檢查實(shí)例類D，無(wú)重載的（這個(gè)地方要注意了，雖然D里有實(shí)現(xiàn)Func()，但沒(méi)有使用override關(guān)鍵字，所以不會(huì)被認(rèn)為是重載） 4.轉(zhuǎn)去檢查類D的父類A，就為本身 5.執(zhí)行父類A中的Func方法 5.輸出結(jié)果 Func In A  
            D d1 = new D();  
            d1.Func(); // 執(zhí)行D類里的Func()，輸出結(jié)果 Func In D  
            Console.ReadLine();  
        }  
    }  
} 

【編輯推薦】

1. C#發(fā)送Email郵件的方法解析
2. 解析C#中is和as操作符的用法
3. C# Excel COM組件的使用
4. 如何判斷C#字符串是全角還是半角
5. C#語(yǔ)言規(guī)范之小結(jié)