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

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

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

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

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

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

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

7、03:initobjPrototype.ValPoint初始化此變量而對于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ù)時，ValPointvPoint=newValPoint(10)，又會怎么樣呢？通過下面的代碼我們可以看出，實際上會使用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)對于上面的MSIL代碼不清楚不要緊，有的時候知道結(jié)果就已經(jīng)夠用了。關(guān)于MSIL代碼，有空了我會為大家翻譯一些好的文章。2.引用類型當(dāng)聲明一個引用類型變量的時候，該引用類型的變量會被分配到堆棧上，這個變量將用于保存位于堆上的該引用類型的實例的內(nèi)存地址，變量本身不包含對象的數(shù)