I can

posts - 195, comments - 30, trackbacks - 0

1，c# virtual 不能修飾類
以前對關鍵字abstract和virtual一直沒做太多深入了解，今天看msdn，專門翻到c#關鍵字章節(jié)，想系統(tǒng)了解一下c#關鍵字，其中第一個就是abstract，msdn上的原話是：abstract 修飾符可以和類、方法、屬性、索引器及事件一起使用。在類聲明中使用 abstract 修飾符以指示類只能是其他類的基類。接下來描述了abstract的一些特性：不能實例化；可以包含抽象方法和抽象訪問器；不能用 sealed 修飾符修改抽象類，意味著該類不能被繼承；從抽象類派生的非抽象類必須包括繼承的所有抽象方法和抽象訪問器的實現(xiàn)；在方法或屬性聲明中使用 abstract 修飾符以指示此方法或屬性不包含實現(xiàn)等等。"abstract"可以修飾類、方法、屬性、索引器及事件。而看到virtual關鍵字的時候，產生了一個疑問："virtual"關鍵字只能修飾方法和屬性，卻不能修飾類~但清楚記得以前上大學老師講c++的時候有一個概念，叫虛基類。難道c#把virtual的這個特性去掉了？然后我到google找答案~看到了兩篇文章“c++虛基類”和“深入剖析c#繼承機制”，終于明白了原來是由于這兩者的繼承機制不同而決定的。c++允許多重繼承，而c#只允許派生類從一個類中繼承，由于多重繼承產生的二義性問題需要虛基類來解決，所以c++有虛基類的概念，而c#類由于單繼承的原因不會產生繼承而帶來的二義性問題，所以不需要virtual關鍵修飾

2，c# virtual 可以用于修飾一個實現(xiàn)的類方法（待重寫，override），而abstract 修飾的方法沒有實現(xiàn)（待實現(xiàn)，override）

3，virtual和非virtual關鍵是在運行時候，而不是在編譯時候
<1>, 如果方法不是virtual的，編譯器就使用聲明的類對應的類型，也就是說，不是virtual的，在編譯時候，就定了。比如下面的例子:子類的方法都沒有執(zhí)行，執(zhí)行的全部都是父類的方法。運行的結果是
father
boy
girl
<2>, 如果方法是Virtual的，然后子類使用了override, 編譯器就生產代碼。然后，在運行的時候，進行檢測，看對象屬于哪個類，然后調用這個類的方法。這個是最常用的方法,基本上所有書上說的就是這個，我就不多此一舉了。
<3>對于new沒有說清楚：
new與virtual并沒有必然的聯(lián)系。從字面上看，new聲明的方法是一個“新”方法，與基類完全沒有關系（雖然不幸與基類的某個方法同名同參）。也即：通過向上轉型（如：基類引用名=new 子類（））得到的引用將無法看到子類中new出來的方法。所以會出現(xiàn)樓主第3點中的結果。

4，實際流程
在C++、Java等眾多OOP語言里都可以看到virtual的身影，而C#作為一個完全面向對象的語言當然也不例外。

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

如：飛禽 bird = new 麻雀();
那么飛禽就是申明類，麻雀是實例類。

具體的檢查的流程如下

1、當調用一個對象的函數(shù)時，系統(tǒng)會直接去檢查這個對象申明定義的類，即申明類，看所調用的函數(shù)是否為虛函數(shù)；

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

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

知道這點，就可以理解下面代碼的運行結果了：

view plaincopy to clipboardprint?
using System;
namespace Smz.Test
{
    class A
    {
        public virtual void Func() // 注意virtual,表明這是一個虛擬函數(shù)
        {
            Console.WriteLine("Func In A");
        }
    }
    class B : A // 注意B是從A類繼承,所以A是父類,B是子類
    {
        public override void Func() // 注意override ,表明重新實現(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 ，表明覆蓋父類里的同名類，而不是重新實現(xiàn)
        {
            Console.WriteLine("Func In D");
        }
    }
    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();    // 執(zhí)行a.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉去檢查實例類A，就為本身 4.執(zhí)行實例類A中的方法 5.輸出結果 Func In A
            b.Func();    // 執(zhí)行b.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉去檢查實例類B，有重載的 4.執(zhí)行實例類B中的方法 5.輸出結果 Func In B
            c.Func();    // 執(zhí)行c.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉去檢查實例類C，無重載的 4.轉去檢查類C的父類B，有重載的 5.執(zhí)行父類B中的Func方法 5.輸出結果 Func In B
            d.Func();    // 執(zhí)行d.Func：1.先檢查申明類A 2.檢查到是虛擬方法 3.轉去檢查實例類D，無重載的（這個地方要注意了，雖然D里有實現(xiàn)Func()，但沒有使用override關鍵字，所以不會被認為是重載） 4.轉去檢查類D的父類A，就為本身 5.執(zhí)行父類A中的Func方法 5.輸出結果 Func In A
            D d1 = new D();
            d1.Func(); // 執(zhí)行D類里的Func()，輸出結果 Func In D
            Console.ReadLine();
        }
    }
}