1 ．對(duì)象的創(chuàng)建過程

Bird bird 創(chuàng)建的是一個(gè) Bird 類型的引用，而 new Bird () 完成的是創(chuàng)建 Bird 對(duì)象，分配內(nèi)存空間和初始化操作，然后將這個(gè)對(duì)象引用賦給 bird 變量，也就是建立 bird 變量與 Bird 對(duì)象的關(guān)聯(lián)。

2 ．從繼承的角度分析對(duì)象的創(chuàng)建過程

在此我們以 Chicken 對(duì)象的創(chuàng)建為例，首先是字段，對(duì)象一經(jīng)創(chuàng)建，會(huì)首先找到其父類 Bird ，并為其字段分配存儲(chǔ)空間，而 Bird 也會(huì)繼續(xù)找到其父類 Animal ，為其分配存儲(chǔ)空間，依次類推直到遞歸結(jié)束，也就是完成 System.Object 內(nèi)存分配為止。

思考

通過上面的講述與分析，我們基本上對(duì) .NET 在編譯期的實(shí)現(xiàn)原理有了大致的了解，但是還有以下的問題，一定會(huì)引起一定的疑惑，那就是： Bird bird2 = new Chicken();

這種情況下， bird2.ShowType 應(yīng)該返回什么值呢？而 bird2.type 又該是什么值呢？有兩個(gè)原則，是 .NET 專門用于解決這一問題的：

關(guān)注對(duì)象原則： 調(diào)用子類還是父類的方法，取決于創(chuàng)建的對(duì)象是子類對(duì)象還是父類對(duì)象，而不是它的引用類型。例如 Bird bird2 = new Chicken() 時(shí)，我們關(guān)注的是其創(chuàng)建對(duì)象為 Chicken 類型，因此子類將繼承父類的字段和方法，或者覆寫父類的虛方法，而不用關(guān)注 bird2 的引用類型是否為 Bird 。 引用類型不同的區(qū)別決定了不同的對(duì)象在方法表中不同的訪問權(quán)限。

注意： 根據(jù)關(guān)注對(duì)象原則，那么下面的兩種情況又該如何區(qū)別呢？

Bird bird = new Chicken ();

Chicken chicken = new Chicken ();

根據(jù)我們上文的分析， bird 對(duì)象和 chicken 對(duì)象在內(nèi)存布局上是一樣的，差別就在于其引用指針的類型不同： bird 為 Bird 類型指針，而 chicken 為 Chicken 類型指針。以方法調(diào)用為例，不同的類型指針在虛擬方法表中有不同的附加信息作為標(biāo)志來(lái)區(qū)別其訪問的地址區(qū)域，稱為 offset 。不同類型的指針只能在其特定地址區(qū)域內(nèi)進(jìn)行執(zhí)行，子類覆蓋父類時(shí)會(huì)保證其訪問地址區(qū)域的一致性，從而解決了不同的類型訪問具有不同的訪問權(quán)限問題。

執(zhí)行就近原則： 對(duì)于同名字段或者方法，編譯器是按照其順序查找來(lái)引用的，也就是首先訪問離它創(chuàng)建最近的字段或者方法，例如上例中的 bird ，是 Bird 類型，因此會(huì)首先訪問 Bird_type （注意編譯器是不會(huì)重新命名的，在此是為區(qū)分起見），如果 type 類型設(shè)為 public ，則在此將返回 “ Bird ” 值。這也就是為什么在對(duì)象創(chuàng)建時(shí)必須將字段按順序排列，而父類要先于子類編譯的原因了。

// 經(jīng)典指令解析之方法調(diào)度

using System;

using System.Collections.Generic;

using System.Text;

namespace testCall

{

public class Father

{

public void DoWork()

{

Console .WriteLine( "Father.DoWork()" );

}

public virtual void DoVirtualWork()

{

Console .WriteLine( "Father.DoVirtualWork()" );

}

public virtual void DoVirtualAll()

{

Console .WriteLine( "Father.DoVirtualAll()" );

}

}

public class Son : Father

{

public static void DoStaticWork()

{

Console .WriteLine( "Son.DoStaticWork()" );

}

public new void DoWork()

{

Console .WriteLine( "Son.DoWork()" );

}

public new virtual void DoVirtualWork()

{

base .DoVirtualWork();

Console .WriteLine( "Son.DoVirtualWork()" );

}

public override void DoVirtualAll()

{

Console .WriteLine( "Son.DoVirtualAll()" );

}

}

public class Grandson : Son

{

public override void DoVirtualWork()

{

base .DoVirtualWork();

Console .WriteLine( "Grandson.DoVirtualWork()" );

}

public override void DoVirtualAll()

{

base .DoVirtualAll();

Console .WriteLine( "Grandson.DoVirtualAll()" );

}

}

// 方法調(diào)用測(cè)試類

class call

{

static void Main( string [] args)

{

Father son = new Son ();

son.DoWork(); // 調(diào)用 Father.DoWork()

son.DoVirtualWork(); // 調(diào)用 Father.DoVirtualWork()

Son .DoStaticWork(); // 調(diào)用 Son 類特有的靜態(tài)方法 DoStaticWork()

Father aGrandson = new Grandson ();

aGrandson.DoWork(); // 調(diào)用 Father.DoWork()

aGrandson.DoVirtualWork(); // 調(diào)用 Father.DoVirtualWork()

aGrandson.DoVirtualAll(); // 調(diào)用 Grandson.DoVirtualAll()

Console .ReadKey();

}

}

}

new 隱藏基類成員中同名的成員方法，也就是該方法獨(dú)立于基類的方法。派生類同名方法如果未定義為 new 或 override 則默認(rèn)定義為 new 的方法。

override 表示覆寫，顯式的重寫基類成員，以實(shí)現(xiàn)派生類自己的版本。 C++ 派生類中對(duì)同名的基類方法的覆寫只需將基類方法聲明為 virtual 。

Son 中定義的 new DoWork() 獨(dú)立于 Father 中定義的同名的 DoWork() 方法，對(duì)于 Son 對(duì)象繼承的 DoWork() 方法被 new 隱藏而不可見。而 override DoVirtualAll() 則生成自己版本的 DoVirtualAll() 方法。

根據(jù)以上示意圖很容易分析出以上測(cè)試代碼的結(jié)果。

說明：

本文摘自《你必須知道的 .NET 》第十五回《繼承本質(zhì)論》，有改動(dòng)。

http://www.cnblogs.com/anytao/archive/2007/09/10/must_net_15.html

繼承本質(zhì)論