C#虛方法virtual詳解C#虛方法virtual詳解

在C++、Java等衆多OOP語言裡都可以看到virtual的身影,而C#作為一個完全面向對象的語言當然也不例外。

虛拟函數從C#的程式編譯的角度來看,它和其它一般的函數有什麼差別呢？一般函數在編譯時就靜态地編譯到了執行檔案中,其相對位址在程式運作期間是不發生變化的,也就是寫死了的！而虛函數在編譯期間是不被靜态編譯的,它的相對位址是不确定的,它會根據運作時期對象執行個體來動态判斷要調用的函數,其中那個申明時定義的類叫申明類,那個執行時執行個體化的類叫執行個體類。

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

那麼飛禽就是申明類,麻雀是執行個體類。

具體的檢查的流程如下

1、當調用一個對象的函數時,系統會直接去檢查這個對象申明定義的類,即申明類,看所調用的函數是否為虛函數；

2、如果不是虛函數,那麼它就直接執行該函數。而如果有virtual關鍵字,也就是一個虛函數,那麼這個時候它就不會立刻執行該函數了,而是轉去檢查對象的執行個體類。

3、在這個執行個體類裡,他會檢查這個執行個體類的定義中是否有重新實作該虛函數（通過override關鍵字）,如果是有,那麼OK,它就不會再找了,而馬上執行該執行個體類中的這個重新實作的函數。而如果沒有的話,系統就會不停地往上找執行個體類的父類,并對父類重複剛才在執行個體類裡的檢查,直到找到第一個重載了該虛函數的父類為止,然後執行該父類裡重載後的函數。

知道這點,就可以了解下面代碼的運作結果了：

using System;

namespace Zhisi.Net

{

    class A

    {

        public virtual void Func() // 注意virtual,表明這是一個虛拟函數

        {

            Console.WriteLine("Func In A");

        }

    }

    class B ： A // 注意B是從A類繼承,是以A是父類,B是子類

        public override void Func() // 注意override ,表明重新實作了虛函數

            Console.WriteLine("Func In B");

    class C ： B // 注意C是從A類繼承,是以B是父類,C是子類

    class D ： A // 注意B是從A類繼承,是以A是父類,D是子類

        public new void Func() // 注意new ,表明覆寫父類裡的同名類,而不是重新實作

    class program

        static void Main()

            A a;         // 定義一個a這個A類的對象.這個A就是a的申明類

            A b;         // 定義一個b這個A類的對象.這個A就是b的申明類

            A c;         // 定義一個c這個A類的對象.這個A就是b的申明類

            A d;         // 定義一個d這個A類的對象.這個A就是b的申明類

            a = new A(); // 執行個體化a對象,A是a的執行個體類

            b = new B(); // 執行個體化b對象,B是b的執行個體類

            c = new C(); // 執行個體化b對象,C是b的執行個體類

            d = new D(); // 執行個體化b對象,D是b的執行個體類

            a.Func();    // 執行a.Func：1.先檢查申明類A 2.檢查到是虛拟方法 3.轉去檢查執行個體類A,就為本身 4.執行執行個體類A中的方法 5.輸出結果 Func In A

            b.Func();    // 執行b.Func：1.先檢查申明類A 2.檢查到是虛拟方法 3.轉去檢查執行個體類B,有重載的 4.執行執行個體類B中的方法 5.輸出結果 Func In B

            c.Func();    // 執行c.Func：1.先檢查申明類A 2.檢查到是虛拟方法 3.轉去檢查執行個體類C,無重載的 4.轉去檢查類C的父類B,有重載的 5.執行父類B中的Func方法 5.輸出結果 Func In B

            d.Func();    // 執行d.Func：1.先檢查申明類A 2.檢查到是虛拟方法 3.轉去檢查執行個體類D,無重載的（這個地方要注意了,雖然D裡有實作Func(),但沒有使用override關鍵字,是以不會被認為是重載） 4.轉去檢查類D的父類A,就為本身 5.執行父類A中的Func方法 5.輸出結果 Func In A

            D d1 = new D();

            d1.Func(); // 執行D類裡的Func(),輸出結果 Func In D

            Console.ReadLine();

}