一、c#類型基礎(chǔ)

1、117C#類型基礎(chǔ)C#類型基礎(chǔ)引言本文之初的目的是講述設(shè)計(jì)模式中的Prototype(原型)模式，但是如果想較清楚地弄明白這個(gè)模式，需要了解對(duì)象克隆(ObjectClone)，Clone其實(shí)也就是對(duì)象復(fù)制。復(fù)制又分為了淺度復(fù)制(ShallowCopy)和深度復(fù)制(DeepCopy)，淺度復(fù)制和深度復(fù)制又是以如何復(fù)制引用類型成員來劃分的。由此又引出了引用類型和值類型，以及相關(guān)的對(duì)象判等、裝箱、拆箱等基礎(chǔ)知識(shí)。于是我干脆新起一篇，從最基礎(chǔ)的

2、類型開始自底向上寫起了。我僅僅想將對(duì)于這個(gè)主題的理解表述出來，一是總結(jié)和復(fù)習(xí)，二是交流經(jīng)驗(yàn)，或許有地方我理解的有偏差，希望指正。如果前面基礎(chǔ)的內(nèi)容對(duì)你來說過于簡(jiǎn)單，可以跳躍閱讀。值類型和引用類型我們先簡(jiǎn)單回顧一下C#中的類型系統(tǒng)。C#中的類型一共分為兩類，一類是值類型(ValueType)，一類是引用類型(ReferenceType)。值類型和引用類型是以它們?cè)谟?jì)算機(jī)內(nèi)存中是如何被分配的來劃分的。值類型包括結(jié)構(gòu)和枚舉，引用類型包括類、接

3、口、委托等。還有一種特殊的值類型，稱為簡(jiǎn)單類型(SimpleType)，比如byte，int等，這些簡(jiǎn)單類型實(shí)際上是FCL類庫(kù)類型的別名，比如聲明一個(gè)int類型，實(shí)際上是聲明一個(gè)System.Int32結(jié)構(gòu)類型。因此，在Int32類型中定義的操作，都可以應(yīng)用在int類型上，比如“123.Equals(2)”。所有的值類型都隱式地繼承自System.ValueType類型(注意System.ValueType本身是一個(gè)類類型)，Syste

4、m.ValueType和所有的引用類型都繼承自System.Object基類。你不能顯示地讓結(jié)構(gòu)繼承一個(gè)類，因?yàn)镃#不支持多重繼承，而結(jié)構(gòu)已經(jīng)隱式繼承自ValueType。NOTE：堆棧(stack)是一種后進(jìn)先出的數(shù)據(jù)結(jié)構(gòu)，在內(nèi)存中，變量會(huì)被分配在堆棧上來進(jìn)行操作。堆(heap)是用于為類型實(shí)例(對(duì)象)分配空間的內(nèi)存區(qū)域，在堆上創(chuàng)建一個(gè)對(duì)象，會(huì)將對(duì)象的地址傳給堆棧上的變量(反過來叫變量指向此對(duì)象，或者變量引用此對(duì)象)。1.值類型當(dāng)聲明

5、一個(gè)值類型的變量(Variable)的時(shí)候，變量本身包含了值類型的全部字段，該變量會(huì)被分配在線程堆棧(ThreadStack)上。假如我們有這樣一個(gè)值類型，它代表了直線上的一點(diǎn)：publicstructValPointpublicintxpublicValPoint(intx)this.x=x當(dāng)我們?cè)诔绦蛑袑懴逻@樣的一條變量的聲明語(yǔ)句時(shí)：317C#類型基礎(chǔ)化vPoint的所有字段。那如果我這樣做，又如何解釋呢？Console.Write

6、Line((newValPoint()).x)正常，輸出為0在這種情況下，會(huì)創(chuàng)建一個(gè)臨時(shí)變量，然后使用結(jié)構(gòu)的默認(rèn)構(gòu)造函數(shù)對(duì)此臨時(shí)變量進(jìn)行初始化。我知道我這樣很沒有說服力，所以我們來看下MSIL代碼，為了節(jié)省篇幅，我只節(jié)選了部分：.localsinit([0]valuetypePrototype.ValPointCS$0$0000)聲明臨時(shí)變量IL_0000:nopIL_0001:ldloca.sCS$0$0000將臨時(shí)變量壓棧IL_00

7、03:initobjPrototype.ValPoint初始化此變量而對(duì)于ValPointvPoint=newValPoint()這種情況，其MSIL代碼是：.localsinit([0]valuetypePrototype.ValPointvPoint)聲明vPointIL_0000:nopIL_0001:ldloca.svPoint將vPoint壓棧IL_0003:initobjPrototype.ValPoint使用initobj

8、初始化此變量那么當(dāng)我們使用自定義的構(gòu)造函數(shù)時(shí)，ValPointvPoint=newValPoint(10)，又會(huì)怎么樣呢？通過下面的代碼我們可以看出，實(shí)際上會(huì)使用call指令(instruction)調(diào)用我們自定義的構(gòu)造函數(shù)，并傳遞10到參數(shù)列表中。.localsinit([0]valuetypePrototype.ValPointvPoint)IL_0000:nopIL_0001:ldloca.svPoint將vPoint壓棧IL_0

9、003:ldc.i4.s10將10壓棧調(diào)用構(gòu)造函數(shù)，傳遞參數(shù)IL_0005:callinstancevoidPrototype.ValPoint::.ct(int32)對(duì)于上面的MSIL代碼不清楚不要緊，有的時(shí)候知道結(jié)果就已經(jīng)夠用了。關(guān)于MSIL代碼，有空了我會(huì)為大家翻譯一些好的文章。2.引用類型當(dāng)聲明一個(gè)引用類型變量的時(shí)候，該引用類型的變量會(huì)被分配到堆棧上，這個(gè)變量將用于保存位于堆上的該引用類型的實(shí)例的內(nèi)存地址，變量本身不包含對(duì)象的數(shù)