http://www.cnblogs.com/jason_yjau/archive/2009/08/25/1553949.html
在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 ，表明覆蓋父類里的同名類，而不是重新實現
{
Console.WriteLine("Func In B");
}
}
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();
}
}
}
