《.Net之美》樣章 - 1.1 理解泛型(初稿).doc

.Net之美樣章 - 1.1 理解泛型(初稿)Word版本下載：.Net之美樣章 - 1.1 理解泛型范例代碼：點(diǎn)此下載 .Net 1.1版本最受詬病的一個(gè)缺陷就是沒(méi)有提供對(duì)泛型的支持。通過(guò)使用泛型，我們可以極大地提高代碼的重用度，同時(shí)還可以獲得強(qiáng)類型的支持，避免了隱式的裝箱、拆箱，在一定程度上提升了應(yīng)用程序的性能。本文將系統(tǒng)地為大家討論泛型，我們先從理解泛型開(kāi)始。1.1 理解泛型1.1.1 為什么要有泛型？我想不論大家通過(guò)什么方式進(jìn)入了計(jì)算機(jī)程序設(shè)計(jì)這個(gè)行業(yè)，都免不了要面對(duì)數(shù)據(jù)結(jié)構(gòu)和算法這個(gè)話題。因?yàn)樗怯?jì)算機(jī)科學(xué)的一門(mén)基礎(chǔ)學(xué)科，往往越是底層的部分，對(duì)于數(shù)據(jù)結(jié)構(gòu)或者算法的時(shí)間效率和空間效率的要求就越高。比如說(shuō)，當(dāng)你在一個(gè)集合類型（例如ArrayList）的實(shí)例上調(diào)用Sort()方法對(duì)它進(jìn)行排序時(shí)，.Net框架在底層就應(yīng)用了快速排序算法。.Net框架中快速排序方法名稱叫QuickSort()，它位于Array類型中，這可以通過(guò)Reflector.exe工具查看到。我們現(xiàn)在并不是要討論這個(gè)QuickSort()實(shí)現(xiàn)的好不好，效率高還是不高，這偏離了我們的主題。但是我想請(qǐng)大家思考一個(gè)問(wèn)題：如果由你來(lái)實(shí)現(xiàn)一個(gè)排序算法，你會(huì)怎么做？好吧，我們把題目限定得再窄一些，我們來(lái)實(shí)現(xiàn)一個(gè)最簡(jiǎn)單的冒泡排序（Bubble Sort）算法，如果你沒(méi)有使用泛型的經(jīng)驗(yàn)，我猜測(cè)你可能會(huì)毫不猶豫地寫(xiě)出下面的代碼來(lái)，因?yàn)檫@是大學(xué)教程的標(biāo)準(zhǔn)實(shí)現(xiàn)：public class SortHelper public void BubbleSort(int array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj arrayj - 1 ) int temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; 對(duì)冒泡排序不熟悉的讀者，可以放心地忽略上面代碼的方法體，它不會(huì)對(duì)你理解泛型造成絲毫的障礙，你只要知道它所實(shí)現(xiàn)的功能就可以了：將一個(gè)數(shù)組的元素按照從小到大的順序重新排列。我們對(duì)這個(gè)程序進(jìn)行一個(gè)小小的測(cè)試：class Program static void Main(string args) SortHelper sorter = new SortHelper(); int array = 8, 1, 4, 7, 3 ; sorter.BubbleSort(array); foreach(int i in array) Console.Write(0 , i); Console.WriteLine(); Console.ReadKey(); 輸出為：1 3 4 7 8我們發(fā)現(xiàn)它工作良好，欣喜地認(rèn)為這便是最好的解決方案了。直到不久之后，我們需要對(duì)一個(gè)byte類型的數(shù)組進(jìn)行排序，而我們上面的排序算法只能接受一個(gè)int類型的數(shù)組，盡管我們知道它們是完全兼容的，因?yàn)閎yte類型是int類型的一個(gè)子集，但C#是一個(gè)強(qiáng)類型的語(yǔ)言，我們無(wú)法在一個(gè)接受int數(shù)組類型的地方傳入一個(gè)byte數(shù)組。好吧，沒(méi)有關(guān)系，現(xiàn)在看來(lái)唯一的辦法就是將代碼復(fù)制一遍，然后將方法的簽名改一個(gè)改了：public class SortHelper public void BubbleSort(int array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj arrayj - 1) int temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; public void BubbleSort(byte array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj arrayj - 1) int temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; OK，我們?cè)僖淮谓鉀Q了問(wèn)題，盡管總覺(jué)得哪里有點(diǎn)別扭，但是這段代碼已經(jīng)能夠工作，按照敏捷軟件開(kāi)發(fā)的思想，不要過(guò)早地進(jìn)行抽象和應(yīng)對(duì)變化，當(dāng)變化第一次出現(xiàn)時(shí)，使用最快的方法解決它，當(dāng)變化第二次出現(xiàn)時(shí)，再進(jìn)行更好的構(gòu)架和設(shè)計(jì)。這樣做的目的是為了避免過(guò)度設(shè)計(jì)，因?yàn)楹苡锌赡艿诙巫兓肋h(yuǎn)也不會(huì)出現(xiàn)，而你卻花費(fèi)了大量的時(shí)間精力制造了一個(gè)永遠(yuǎn)也用不到的“完美設(shè)計(jì)”。這很像一個(gè)諺語(yǔ)，“fool me once，shame on you. fool me twice, shame on me.”，翻譯過(guò)來(lái)的意思是“愚弄我一次，是你壞；愚弄我兩次，是我蠢”。美好的事情總是很難長(zhǎng)久，我們很快需要對(duì)一個(gè)char類型的數(shù)組進(jìn)行排序，我們當(dāng)然可以仿照byte類型數(shù)組的作法，繼續(xù)采用復(fù)制粘貼大法，然后修改一下方法的簽名。但是很遺憾，我們不想讓它愚弄我們兩次，因?yàn)檎l(shuí)也不想證明自己很蠢，所以現(xiàn)在是時(shí)候思考一個(gè)更佳的解決方案了。我們仔細(xì)地對(duì)比這兩個(gè)方法，會(huì)發(fā)現(xiàn)這兩個(gè)方法的實(shí)現(xiàn)完全一樣，除了方法的簽名不同以外，沒(méi)有任何的區(qū)別。如果你曾經(jīng)開(kāi)發(fā)過(guò)Web站點(diǎn)程序，會(huì)知道對(duì)于一些瀏覽量非常大的站點(diǎn)，為了避免服務(wù)器負(fù)擔(dān)過(guò)重，通常會(huì)采用靜態(tài)頁(yè)面生成的方式，因?yàn)槭褂肬rl重寫(xiě)仍要要耗費(fèi)大量的服務(wù)器資源，但是生成為html靜態(tài)網(wǎng)頁(yè)后，服務(wù)器僅僅是返回客戶端請(qǐng)求的文件，能夠極大的減輕服務(wù)器負(fù)擔(dān)。在Web上實(shí)現(xiàn)過(guò)靜態(tài)頁(yè)面生成時(shí)，有一種常用的方法，就是模板生成法，它的具體作法是：每次生成靜態(tài)頁(yè)面時(shí)，先加載模板，模板中含有一些用特殊字符標(biāo)記的占位符，然后我們從數(shù)據(jù)庫(kù)讀取數(shù)據(jù)，使用讀出的數(shù)據(jù)將模板中的占位符替換掉，最后將模板按照一定的命名規(guī)則在服務(wù)器上保存成靜態(tài)的html文件。我們發(fā)現(xiàn)這里的情況是類似的，我來(lái)對(duì)它進(jìn)行一個(gè)類比：我們將上面的方法體視為一個(gè)模板，將它的方法簽名視為一個(gè)占位符，因?yàn)樗且粋€(gè)占位符，所以它可以代表任何的類型，這和靜態(tài)頁(yè)面生成時(shí)模板的占位符可以用來(lái)代表來(lái)自數(shù)據(jù)庫(kù)中的任何數(shù)據(jù)道理是一樣的。接下來(lái)就是定義占位符了，我們?cè)賮?lái)審視一下這三個(gè)方法的簽名：public void BubbleSort(int array)public void BubbleSort(byte array)public void BubbleSort(char array)會(huì)發(fā)現(xiàn)定義占位符的最好方式就是將int、byte、char用占位符替代掉，我們管這個(gè)占位符用T來(lái)表示，其中T可以代表任何類型，這樣就屏蔽了三個(gè)方法簽名的差異：public void BubbleSort(T array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj arrayj - 1) T temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; 現(xiàn)在看起來(lái)清爽多了，但是我們又發(fā)現(xiàn)了一個(gè)問(wèn)題：當(dāng)我們定義一個(gè)類，而這個(gè)類需要引用它本身以外的其他類型時(shí)，我們可以定義有參數(shù)的構(gòu)造函數(shù)，然后將它需要的參數(shù)從構(gòu)造函數(shù)傳進(jìn)來(lái)。但是在上面，我們的參數(shù)T本身就是一個(gè)類型（類似于int、byte、char，而不是類型的實(shí)例，比如1和a）。很顯然我們無(wú)法在構(gòu)造函數(shù)中傳遞這個(gè)T類型的數(shù)組，因?yàn)閰?shù)都是出現(xiàn)在類型實(shí)例的位置，而T是類型本身，它的位置不對(duì)。比如下面是通常的構(gòu)造函數(shù)：public SortHelper(類型 類型實(shí)例名稱);而我們期望的構(gòu)造函數(shù)函數(shù)是：public SortHelper(類型);此時(shí)就需要使用一種特殊的語(yǔ)法來(lái)傳遞這個(gè)T占位符，不如我們定義這樣一種語(yǔ)法來(lái)傳遞吧：public class SortHelper public void BubbleSort(T array) / 方法實(shí)現(xiàn)體 我們?cè)陬惷Q的后面加了一個(gè)尖括號(hào)，使用這個(gè)尖括號(hào)來(lái)傳遞我們的占位符，也就是類型參數(shù)。接下來(lái)，我們來(lái)看看如何來(lái)使用它，當(dāng)我們需要為一個(gè)int類型的數(shù)組排序時(shí)：SortHelper sorter = new SortHelper();int array = 8, 1, 4, 7, 3 ;sorter.BubbleSort(array);當(dāng)我們需要為一個(gè)byte類型的數(shù)組排序時(shí)：SortHelper sorter = new SortHelper();byte array = 8, 1, 4, 7, 3 ;sorter.BubbleSort(array);相信你已經(jīng)發(fā)覺(jué)，其實(shí)上面所做的一切實(shí)現(xiàn)了一個(gè)泛型類。這是泛型的一個(gè)最典型的應(yīng)用，可以看到，通過(guò)使用泛型，我們極大地減少了重復(fù)代碼，使我們的程序更加清爽，泛型類就類似于一個(gè)模板，可以在需要時(shí)為這個(gè)模板傳入任何我們需要的類型。我們現(xiàn)在更專業(yè)一些，為這一節(jié)的占位符起一個(gè)正式的名稱，在.Net中，它叫做類型參數(shù) （Type Parameter），下面一小節(jié)，我們將學(xué)習(xí)類型參數(shù)約束。1.1.2 類型參數(shù)約束實(shí)際上，如果你運(yùn)行一下上面的代碼就會(huì)發(fā)現(xiàn)它連編譯都通過(guò)不了，為什么呢？考慮這樣一個(gè)問(wèn)題，假如我們自定義一個(gè)類型，它定義了書(shū)，名字叫做Book，它含有兩個(gè)字段：一個(gè)是int類型的Id，是書(shū)的標(biāo)識(shí)符；一個(gè)是string類型的Title，代表書(shū)的標(biāo)題。因?yàn)槲覀冞@里是一個(gè)范例，為了既能說(shuō)明問(wèn)題又不偏離主題，所以這個(gè)Book類型只含有這兩個(gè)字段：public class Book private int id; private string title; public Book() public Book(int id, string title) this.id = id; this.title = title; public int Id get return id; set id = value; public string Title get return title; set title = value; 現(xiàn)在，我們創(chuàng)建一個(gè)Book類型的數(shù)組，然后試著使用上一小節(jié)定義的泛型類來(lái)對(duì)它進(jìn)行排序，我想代碼應(yīng)該是這樣子的：Book bookArray = new Book2;Book book1 = new Book(124, .Net之美);Book book2 = new Book(45, C# 3.0揭秘);bookArray0 = book1;bookArray1 = book2;SortHelper sorter = new SortHelper();sorter.BubbleSort(bookArray);foreach (Book b in bookArray) Console.WriteLine(Id:0, b.Id); Console.WriteLine(Title:0n, b.Title);可能現(xiàn)在你還是沒(méi)有看到會(huì)有什么問(wèn)題，你覺(jué)得上一節(jié)的代碼很通用，那么讓我們看得再仔細(xì)一點(diǎn)，再看一看SortHelper類的BubbleSort()方法的實(shí)現(xiàn)吧，為了避免你回頭再去翻上一節(jié)的代碼，我將它復(fù)制了下來(lái)：public void BubbleSort(T array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj arrayj - 1) T temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; 盡管我們很不情愿，但是問(wèn)題還是出現(xiàn)了，既然是排序，那么就免不了要比較大小，大家可以看到在兩個(gè)元素進(jìn)行交換時(shí)進(jìn)行了大小的比較，那么現(xiàn)在請(qǐng)問(wèn)：book1和book2誰(shuí)比較大？小張可能說(shuō)book1大，因?yàn)樗腎d是124，而book2的Id是45；而小王可能說(shuō)book2大，因?yàn)樗腡itle是以“C”開(kāi)頭的，而book1的Title是以“.”開(kāi)頭的（字符排序時(shí)“.”在“C”的前面）。但是程序就無(wú)法判斷了，它根本不知道要按照小張的標(biāo)準(zhǔn)進(jìn)行比較還是按照小王的標(biāo)準(zhǔn)比較。這時(shí)候我們就需要定義一個(gè)規(guī)則進(jìn)行比較。在.Net中，實(shí)現(xiàn)比較的基本方法是實(shí)現(xiàn)IComparable接口，它有泛型版本和非泛型兩個(gè)版本，因?yàn)槲覀儸F(xiàn)在正在講解泛型，而可能你還沒(méi)有領(lǐng)悟泛型，為了避免你的思維發(fā)生“死鎖”，所以我們采用它的非泛型版本。它的定義如下：public interface IComparable int CompareTo(object obj);假如我們的Book類型已經(jīng)實(shí)現(xiàn)了這個(gè)接口，那么當(dāng)向下面這樣調(diào)用時(shí)：book1.CompareTo(book2);如果book1比book2小，返回一個(gè)小于0的整數(shù)；如果book1與book2相等，返回0；如果book1比book2大，返回一個(gè)大于0的整數(shù)。接下來(lái)就讓我們的Book類來(lái)實(shí)現(xiàn)IComparable接口，此時(shí)我們又面對(duì)排序標(biāo)準(zhǔn)的問(wèn)題，說(shuō)通俗點(diǎn)，就是用小張的標(biāo)準(zhǔn)還是小王的標(biāo)準(zhǔn)，這里就讓我們采用小張的標(biāo)準(zhǔn)，以Id為標(biāo)準(zhǔn)對(duì)Book進(jìn)行排序，修改Book類，讓它實(shí)現(xiàn)IComparable接口：public class Book :IComparable / CODE：上面的實(shí)現(xiàn)略 public int CompareTo(object obj) Book book2 = (Book)obj; return this.Id.CompareTo(book2.Id); 為了節(jié)約篇幅，我省略了Book類上面的實(shí)現(xiàn)。還要注意的是我們并沒(méi)有在CompareTo()方法中去比較當(dāng)前的Book實(shí)例的Id與傳遞進(jìn)來(lái)的Book實(shí)例的Id，而是將對(duì)它們的比較委托給了int類型，因?yàn)閕nt類型也實(shí)現(xiàn)了IComparable接口。順便一提，大家有沒(méi)有發(fā)現(xiàn)上面的代碼存在一個(gè)問(wèn)題？因?yàn)檫@個(gè)CompareTo ()方法是一個(gè)很“通用”的方法，為了保證所有的類型都能使用這個(gè)接口，所以它的參數(shù)接受了一個(gè)Object類型的參數(shù)。因此，為了獲得Book類型，我們需要在方法中進(jìn)行一個(gè)向下的強(qiáng)制轉(zhuǎn)換。如果你熟悉面向?qū)ο缶幊?，那么你?yīng)該想到這里違反了Liskov替換原則，關(guān)于這個(gè)原則我這里無(wú)法進(jìn)行專門(mén)的講述，只能提一下：這個(gè)原則要求方法內(nèi)部不應(yīng)該對(duì)方法所接受的參數(shù)進(jìn)行向下的強(qiáng)制轉(zhuǎn)換。為什么呢？我們定義繼承體系的目的就是為了代碼通用，讓基類實(shí)現(xiàn)通用的職責(zé)，而讓子類實(shí)現(xiàn)其本身的職責(zé)，當(dāng)你定義了一個(gè)接受基類的方法時(shí)，設(shè)計(jì)本身是優(yōu)良的，但是當(dāng)你在方法內(nèi)部進(jìn)行強(qiáng)制轉(zhuǎn)換時(shí)，就破壞了這個(gè)繼承體系，因?yàn)楸M管方法的簽名是面向接口編程，方法的內(nèi)部還是面向?qū)崿F(xiàn)編程。注釋：什么是“向下的強(qiáng)制轉(zhuǎn)換(downcast)”？因?yàn)镺bject是所有類型的基類，Book類繼承自O(shè)bject類，在這個(gè)金字塔狀的繼承體系中，Object位于上層，Book位于下層，所以叫“向下的強(qiáng)制轉(zhuǎn)換”。好了，我們現(xiàn)在回到正題，既然我們現(xiàn)在已經(jīng)讓Book類實(shí)現(xiàn)了IComparable接口，那么我們的泛型類應(yīng)該可以工作了吧？不行的，因?yàn)槲覀円浀茫悍盒皖愂且粋€(gè)模板類，它對(duì)于在執(zhí)行時(shí)傳遞的類型參數(shù)是一無(wú)所知的，也不會(huì)做任何猜測(cè)，我們知道Book類現(xiàn)在實(shí)現(xiàn)了IComparable，對(duì)它進(jìn)行比較很容易，但是我們的SortHelper泛型類并不知道，怎么辦呢？我們需要告訴SortHelper類（準(zhǔn)確說(shuō)是告訴編譯器），它所接受的T類型參數(shù)必須能夠進(jìn)行比較，換言之，就是實(shí)現(xiàn)IComparable接口，這便是本小節(jié)的主題：泛型約束。為了要求類型參數(shù)T必須實(shí)現(xiàn)IComparable接口，我們像下面這樣重新定義SortHelper：public class SortHelper where T:IComparable / CODE：實(shí)現(xiàn)略上面的定義說(shuō)明了類型參數(shù)T必須實(shí)現(xiàn)IComaprable接口，否則將無(wú)法通過(guò)編譯，從而保證了方法體可以正確地運(yùn)行。因?yàn)楝F(xiàn)在T已經(jīng)實(shí)現(xiàn)了IComparable，而數(shù)組array中的成員是T的實(shí)例，所以當(dāng)你在arrayi后面點(diǎn)擊小數(shù)點(diǎn)“.”時(shí)，VS200智能提示將會(huì)給出IComparable的成員，也就是CompareTo()方法。我們修改BubbleSort()類，讓它使用CompareTo()方法來(lái)進(jìn)行比較：public class SortHelper where T:IComparable public void BubbleSort(T array) int length = array.Length; for (int i = 0; i = 1; j-) / 對(duì)兩個(gè)元素進(jìn)行交換 if (arrayj.CompareTo(arrayj - 1) 0 ) T temp = arrayj; arrayj = arrayj - 1; arrayj - 1 = temp; 此時(shí)我們?cè)俅芜\(yùn)行上面定義的代碼，會(huì)看到下面的輸出：Id:45Title:.Net之美Id:124Title:C# 3.0揭秘除了可以約束類型參數(shù)T實(shí)現(xiàn)某個(gè)接口以外，還可以約束T是一個(gè)結(jié)構(gòu)、T是一個(gè)類、T擁有構(gòu)造函數(shù)、T繼承自某個(gè)基類等，但我覺(jué)得將這些每一種用法都向你羅列一遍無(wú)異于浪費(fèi)你的時(shí)間。所以我不在這里繼續(xù)討論了，它們的概念是完全一樣的，只是聲明的語(yǔ)法有些差異罷了，而這點(diǎn)差異，相信你可以很輕松地通過(guò)查看MSDN解決。1.1.3 泛型方法我們?cè)賮?lái)考慮這樣一個(gè)問(wèn)題：假如我們有一個(gè)很復(fù)雜的類，它執(zhí)行多種基于某一領(lǐng)域的科學(xué)運(yùn)算，我們管這個(gè)類叫做SuperCalculator，它的定義如下：public class SuperCalculator public int SuperAdd(int x, int y) return 0; public int SuperMinus(int x, int y) return 0; public string SuperSearch(string key) return null; public void SuperSort(int array) 由于這個(gè)類對(duì)算法的要求非常高，.Net框架內(nèi)置的快速排序算法不能滿足要求，所以我們考慮自己實(shí)現(xiàn)一個(gè)自己的排序算法，注意到SuperSearch()和SuperSort()方法接受的參數(shù)類型不同，所以我們最好定義一個(gè)泛型來(lái)解決，我們將這個(gè)算法叫做SpeedSort()，既然這個(gè)算法如此之高效，我們不如把它定義為public的，以便其他類型可以使用，那么按照前面兩節(jié)學(xué)習(xí)的知識(shí)，代碼可能類似于下面這樣：public class SuperCalculator where T:IComparable / CODE：略 public void SpeedSort(T array) / CODE：實(shí)現(xiàn)略 這里穿插講述一個(gè)關(guān)于類型設(shè)計(jì)的問(wèn)題：確切的說(shuō)，將SpeedSort()方法放在SuperCaculator中是不合適的。為什么呢？因?yàn)樗鼈兊穆氊?zé)混淆了，SuperCaculator的意思是“超級(jí)計(jì)算器”，那么它所包含的公開(kāi)方法都應(yīng)該是與計(jì)算相關(guān)的，而SpeedSort()出現(xiàn)在這里顯得不倫不類，當(dāng)我們發(fā)現(xiàn)一個(gè)方法的名稱與類的名稱關(guān)系不大時(shí)，就應(yīng)該考慮將這個(gè)方法抽象出去，把它放置到一個(gè)新的類中，哪怕這個(gè)類只有它一個(gè)方法。這里只是一個(gè)演示，我們知道存在這個(gè)問(wèn)題就可以了。好了，我們回到正題，盡管現(xiàn)在SuperCalculator類確實(shí)可以完成我們需要的工作，但是它的使用卻變得復(fù)雜了，為什么呢？因?yàn)镾peedSort()方法污染了它，僅僅為了能夠使用SpeedSort()這一個(gè)方法，我們卻不得不將類型參數(shù)T加到SuperCalculator類上，使得即使不調(diào)用SpeedSort()方法時(shí)，創(chuàng)建SuperCalculator實(shí)例時(shí)也得接受一個(gè)類型參數(shù)。為了解決這個(gè)問(wèn)題，我們自然而然地會(huì)想到：有沒(méi)有辦法把類型參數(shù)T加到方法上，而非整個(gè)類上，也就是降低T作用的范圍。答案是可以的，這便是本小節(jié)的主題：泛型方法。類似地，我們只要修改一下SpeedSort()方法的簽名就可以了，讓它接受一個(gè)類型參數(shù)，此時(shí)SuperCalculator的定義如下：public class SuperCalculator / CODE：其他實(shí)現(xiàn)略 public void SpeedSort(T array) where T : IComparable / CODE：實(shí)現(xiàn)略 接下來(lái)我們編寫(xiě)一段代碼來(lái)對(duì)它進(jìn)行一個(gè)測(cè)試：Book bookArray = new Book2;Book book1 = new Book(124, C# 3.0揭秘);Book book2 = new Book(45, .Net之美);SuperCalculator calculator = new SuperCalculator();calculator.SpeedSort(bookArray);因?yàn)镾peedSort()方法并沒(méi)有實(shí)現(xiàn)，所以這段代碼沒(méi)有任何輸出，如果你想看到輸出，可以簡(jiǎn)單地把上面冒泡排序的代碼貼進(jìn)去，這里我就不再演示了。這里我想說(shuō)的是一個(gè)有趣的編譯器能力，它可以推斷出你傳遞的數(shù)組類型以及它是否滿足了泛型約束，所以，上面的SpeedSort()方法也可以像下面這樣調(diào)用：calculator.SpeedSort(bookArray);這樣盡管它是一個(gè)泛型方法，但是在使用上與普通方法已經(jīng)沒(méi)有了任何區(qū)別。1.1.4 總結(jié)本節(jié)中我們學(xué)習(xí)了掌握泛型所需要的最基本知識(shí)，你看到了需要泛型的原因，它可以避免重復(fù)代碼，還學(xué)習(xí)到了如何使用類型參數(shù)約束和泛型方法。擁有了本節(jié)的知識(shí)，你足以應(yīng)付日常開(kāi)發(fā)中的大部分場(chǎng)景。在下面兩節(jié)，我們將繼續(xù)泛型的學(xué)習(xí)，其中包括泛型在集合類中的應(yīng)用，以及泛型的高級(jí)話題。0 0 0 (請(qǐng)您對(duì)文章做出評(píng)價(jià)) 上一篇：Asp.Net 用戶驗(yàn)證(自定義IPrincipal和IIdentity) 下一篇：.Net之美樣章 - 2.C#中的委托和事件(初稿)posted 2008-12-17 13:15 Jimmy Zhang 閱讀(6289) 評(píng)論(81) 編輯 收藏 網(wǎng)摘 所屬分類: 2. C# 編程發(fā)表評(píng)論1672551回復(fù)引用 #1樓2008-12-17 13:25 | astarnologin未注冊(cè)用戶 介意寫(xiě).net重要技術(shù)的書(shū)，類似于園子里的專題。把做中大型網(wǎng)站需要用到的技術(shù)，如URL重寫(xiě)，生成靜態(tài)頁(yè)，性能方面，壓力測(cè)試等?；貜?fù)引用查看 #2樓樓主2008-12-17 13:26 | Jimmy Zhang astarnologin 謝謝 你提到的技術(shù)我會(huì)挑一些寫(xiě)的。 回復(fù)引用查看 #3樓2008-12-17 13:42 | GUO Xingwang 張子陽(yáng)的文章寫(xiě)得就是好，講得很明白，條理清晰，引導(dǎo)性很強(qiáng)，不錯(cuò)，以前讀過(guò)你的文章！受益很多回復(fù)引用 #4樓2008-12-17 13:49 | elwin未注冊(cè)用戶 同意樓上的。博主能否提供一下書(shū)目？回復(fù)引用查看 #5樓樓主2008-12-17 13:51 | Jimmy Zhang elwin 書(shū)目有的，.Net之美詳細(xì)目錄(暫定)： /download/catalog.doc 回復(fù)引用查看 #6樓2008-12-17 13:55 | Allie 呵呵 我也看過(guò)博主的文章很不錯(cuò)呢 以后再看 最近木撒時(shí)間回復(fù)引用查看 #7樓2008-12-17 14:06 | jowo 凡你的文章都看，呵呵，加油回復(fù)引用 #8樓2008-12-17 14:07 | SystemCat未注冊(cè)用戶 博主想通過(guò)這本書(shū)告訴大家什么呢？ 一本書(shū)沒(méi)有中心，就會(huì)流于平庸。 回復(fù)引用查看 #9樓樓主2008-12-17 14:07 | Jimmy Zhang Allie jowo 衷心感謝大家的支持！回復(fù)引用查看 #10樓2008-12-17 14:07 | jowo 樓主的文筆的確很不錯(cuò)，該向你學(xué)習(xí)回復(fù)引用查看 #11樓樓主2008-12-17 14:08 | Jimmy Zhang SystemCat 謝謝建議，我會(huì)把握好這個(gè)尺度的，我想做的就是將我所掌握的，并且認(rèn)為比較重要的內(nèi)容以一種通俗易懂的方式介紹給大家。 回復(fù)引用查看 #12樓2008-12-17 14:31 | T2噬菌體 不錯(cuò)！加油！回復(fù)引用查看 #13樓樓主2008-12-17 14:34 | Jimmy Zhang T2噬菌體 謝謝！回復(fù)引用查看 #14樓2008-12-17 15:39 | 張蒙蒙 樓主我馬上發(fā)布信息給你做廣告哦回復(fù)引用查看 #15樓樓主2008-12-17 15:41 | Jimmy Zhang 張蒙蒙 謝謝啦，現(xiàn)在宣傳有點(diǎn)早啊，壓力大，等我下一篇樣章出來(lái)了再做吧 :-)回復(fù)引用查看 #16樓2008-12-17 15:44 | 上不了岸的魚(yú)ttzhang 樓主的文章寫(xiě)的真是漂亮，學(xué)習(xí)！ 期待樓主的新書(shū)！ 一點(diǎn)建議： 書(shū)中的內(nèi)容不一定是入門(mén)的，也不一定就是高深的，我最希望看到的是實(shí)用的，不能為了寫(xiě)書(shū)而寫(xiě)書(shū)?；貜?fù)引用查看 #17樓2008-12-17 15:45 | 張蒙蒙 哈哈，你看看我的文章就知道怎么宣傳你的啦，博客園首頁(yè)，嘿嘿回復(fù)引用查看 #18樓樓主2008-12-17 15:48 | Jimmy Zhang 上不了岸的魚(yú)ttzhang 謝謝，這個(gè)道理我明白的，太深入的就偏理論而遠(yuǎn)應(yīng)用了?；貜?fù)引用查看 #19樓樓主2008-12-17 15:49 | Jimmy Zhang 張蒙蒙 呵呵，看到了，看來(lái) C#中的委托和事件 這篇文章流傳甚廣啊 :-)回復(fù)引用查看 #20樓2008-12-17 16:10 | Artech 范型帶給我們最大的好處就是“算法的復(fù)用”，通過(guò)范型類型創(chuàng)建與具體類型無(wú)關(guān)的算法，使之適合所有的類型?；貜?fù)引用查看 #21樓樓主2008-12-17 16:14 | Jimmy Zhang Artech 不夠全面，泛型的另一大好處是提供強(qiáng)類型支持，這樣可以避免隱式的裝箱、拆箱，尤其在集合類中，使用泛型可以極大地提高應(yīng)用程序的性能。回復(fù)引用查看 #22樓2008-12-17 16:35 | 李永京 恩，好，通俗易懂回復(fù)引用 #23樓2008-12-17 16:53 | 老破未注冊(cè)用戶 已經(jīng)跑到深圳啦？！動(dòng)作蠻快的。回復(fù)引用 #24樓2008-12-17 16:54 | jing2008未注冊(cè)用戶 期待新書(shū)，加油呀！(*_*) 回復(fù)引用查看 #25樓樓主2008-12-17 16:54 | Jimmy Zhang 老破 是?。∪ド钲诎l(fā)展發(fā)展回復(fù)引用查看 #26樓樓主2008-12-17 16:55 | Jimmy Zhang jing2008 謝謝！回復(fù)引用查看 #27樓2008-12-17 17:23 | Anytao Artech Jimmy Zhang 算法復(fù)用是其精神，強(qiáng)類型支持是效果，把握精髓，兼顧效果:-)回復(fù)引用查看 #28樓2008-12-17 17:24 | Anytao 對(duì)了，名字很好.NET之美，希望寫(xiě)得更美:-)回復(fù)引用查看 #29樓樓主2008-12-17 17:35 | Jimmy Zhang Anytao 謝謝啦 因?yàn)檫@本書(shū)橫跨度太大，所以叫深入淺出不合適，就決定改名了 至于更美么，我只能盡力而為了，但是我至少讓大家看得時(shí)候不覺(jué)得太無(wú)聊?；貜?fù)引用查看 #30樓2008-12-17 17:38 | SOSOSs BLog 強(qiáng)烈建議把demo附上來(lái)!回復(fù)引用查看 #31樓樓主2008-12-17 17:48 | Jimmy Zhang SOSOSs BLog 不好意思，現(xiàn)在已經(jīng)附上去了。回復(fù)引用 #32樓2008-12-17 18:26 | hahahehe未注冊(cè)用戶 /gjcn/archive/2008/11/25/1338407.html 樓主寫(xiě)的很好啊，可以參考一下上面這篇就更好了?；貜?fù)引用查看 #33樓樓主2008-12-17 18:29 | Jimmy Zhang hahahehe 這只是泛型的1個(gè)小節(jié)而已，更深入的內(nèi)容會(huì)在后面闡述，但還是謝謝你提供的鏈接?；貜?fù)引用查看 #34樓2008-12-17 20:04 | Selfocus 看了一下書(shū)目，不錯(cuò)，期待ing.回復(fù)引用 #35樓2008-12-17 20:35 | uvw 45未注冊(cè)用戶 小小地測(cè)試 有沒(méi)有錯(cuò)別字？ 當(dāng)我們定義一個(gè)類，而這個(gè)類需要引用它本身以外的其他類型時(shí)，我們可以定義有參數(shù)的構(gòu)造函數(shù)，然后將它需要的參數(shù)從構(gòu)造函數(shù)傳進(jìn)來(lái)。但是在上面，我們的參數(shù)T本身就是一個(gè)類型（類似于int、byte、char，而不是類型的實(shí)例，比如1和a）。很顯然我們無(wú)法在構(gòu)造函數(shù)中傳遞這個(gè)T類型的數(shù)組，因?yàn)閰?shù)都是出現(xiàn)在類型實(shí)例的位置，而T是類型本身，它的位置不對(duì)。 這個(gè)沒(méi)什么說(shuō)服力，扯不到一起 NOTE：什么是“向下的強(qiáng)制轉(zhuǎn)換(downcast)”？ NOTE是英文書(shū)才用的吧，換中文回復(fù)引用查看 #36樓樓主2008-12-17 20:42 | Jimmy Zhang uvw 45 謝謝指正，這個(gè)是編輯尚未審核的初稿，將來(lái)可能還會(huì)有較大改動(dòng)。回復(fù)引用查看 #37樓2008-12-17 21:18 | 要有好的心情 支持樓主出書(shū)回復(fù)引用查看 #38樓樓主2008-12-17 21:32 | Jimmy Zhang 要有好的心情 謝謝支持！回復(fù)引用查看 #39樓2008-12-17 22:12 | 飛林沙 個(gè)人建議： 很多技術(shù)內(nèi)容很多人都已經(jīng)寫(xiě)過(guò)了，比如泛型，看過(guò)博主的很多文章，十分佩服。 但是希望新書(shū)應(yīng)該不能走一條老路，也就是說(shuō)把別人都寫(xiě)過(guò)很多次的東西再拿出來(lái)重寫(xiě)一次，這樣很多讀者都會(huì)略讀掉很多文章。 所以希望博主可以寫(xiě)一些他人沒(méi)有涉及或者涉及很少的部分?；貜?fù)引用查看 #40樓樓主2008-12-17 22:17 | Jimmy Zhang 飛林沙 呵呵，謝謝建議，這本書(shū)不會(huì)只是就技術(shù)論技術(shù)，我會(huì)在寫(xiě)作中穿插一些設(shè)計(jì)思想和模式，比如在這篇中，我就插入了三個(gè)面向?qū)ο蠓矫娴闹R(shí)，不知道你看出來(lái)了么？ 1、敏捷軟件開(kāi)發(fā)的一個(gè)思想：應(yīng)對(duì)第2次變化。 2、Liskov替換原則 3、方法的職責(zé)必須與類名稱聯(lián)系緊密?；貜?fù)引用查看 #41樓2008-12-17 22:25 | 飛林沙 Jimmy Zhang 哈！雖然從頭看到了尾，不過(guò)還是真沒(méi)太注意到。 如果是這樣的話，還是顯式地給提出來(lái)比較好！這樣對(duì)讀者幫助比較大回復(fù)引用查看 #42樓2008-12-17 22:30 | canbeing 真的寫(xiě)得好棒思路非常清晰期待你的書(shū)回復(fù)引用查看 #43樓樓主2008-12-17 22:35 | Jimmy Zhang canbeing 謝謝鼓勵(lì)，書(shū)預(yù)計(jì)要到2009年底甚至2010年初才能出版?；貜?fù)引用查看 #44樓樓主2008-12-17 22:41 | Jimmy Zhang 飛林沙 我是直接提出來(lái)了啊，只是沒(méi)有用太大的篇幅去描述，因?yàn)檫@樣容易跑題?；貜?fù)引用查看 #45樓樓主2008-12-17 22:51 | Jimmy Zhang 王孟軍！ 所有能比較大小的類型，如果是.NET框架中的類型，全部都實(shí)現(xiàn)了IComparable，你可以在類型上點(diǎn)擊鍵盤(pán)上的“F12”查看一下，當(dāng)你自定義一個(gè)類型時(shí)，如果你要比較大小，就需要實(shí)現(xiàn)它，或者實(shí)現(xiàn)一個(gè)和它類似功能的接口。 更具體的你可以參看我博客“基于業(yè)務(wù)對(duì)象的排序”這篇文章。回復(fù)引用查看 #46樓樓主2008-12-17 22:53 | Jimmy Zhang 王孟軍！ 這里的“死鎖”是個(gè)比喻，就是說(shuō)繞進(jìn)去出不來(lái)了，因?yàn)槲椰F(xiàn)在在講泛型，你可能泛型還沒(méi)有理解，然后就引入一個(gè)泛型的接口，怕把你搞暈，所以使用非泛型版本。 回復(fù)引用查看 #47樓2008-12-17 23:08 | 王孟軍！ Jimmy Zhang明白了，謝謝這里的死鎖 是 思維 死鎖的意思，呵呵回復(fù)引用 #48樓2008-12-18 00:59 | faint_路漫漫未注冊(cè)用戶 太棒了 ，張老師，最近發(fā)現(xiàn)您的博客，如獲至寶啊會(huì)認(rèn)真的學(xué)習(xí)的 謝謝回復(fù)引用 #49樓2008-12-18 01:13 | KKKLLLLL未注冊(cè)用戶 看了N諞泛型的文章.這篇總算弄懂了點(diǎn).回復(fù)引用查看 #50樓樓主2008-12-18 05:42 | Jimmy Zhang faint_路漫漫 KKKLLLLL 謝謝鼓勵(lì)回復(fù)引用 #51樓2008-12-18 06:00 | vivianlou未注冊(cè)用戶 期待這本書(shū)的出版回復(fù)引用查看 #52樓2008-12-18 09:59 | vento 支持下，lz的文章的確寫(xiě)得容易理解回復(fù)引用查看 #53樓樓主2008-12-18 10:02 | Jimmy Zhang vivianlou vento 謝謝支持回復(fù)引用查看 #54樓2008-12-18 10:41 | 貓小星 收藏！嘿嘿，我還沒(méi)學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)。哈哈！不過(guò)冒泡等，還是懂得。要學(xué)的東西太多了，排不過(guò)來(lái)。回復(fù)引用查看 #55樓2008-12-18 10:56 | 向日葵 支持?；貜?fù)引用 #56樓2008-12-18 11:35 | ucetggg未注冊(cè)用戶 以為書(shū)08年底 就可以看到呢 要拖到10年了 那 建議直接一篇一篇發(fā)到網(wǎng)上得了 別出書(shū)了 回復(fù)引用 #57樓2008-12-18 11:36 | ucetggg未注冊(cè)用戶 -引用- Jimmy Zhang: canbeing 謝謝鼓勵(lì)，書(shū)