C#泛型支持簡(jiǎn)單描述
C#語(yǔ)言有很多值得學(xué)習(xí)的地方,這里我們主要介紹C#泛型支持,包括介紹C#泛型通過(guò)算法和數(shù)據(jù)結(jié)構(gòu)支持獨(dú)立編碼等方面。
"一次編碼,多次使用",這就是引入泛型的根源。在以前的C++中稱為模板,C#泛型通過(guò)算法和數(shù)據(jù)結(jié)構(gòu)支持獨(dú)立編碼。例如,泛型列表意味著,你不必再重寫一個(gè)強(qiáng)類型集合。在本文中,作者將向你展示定義和使用泛型是多么容易的事情-請(qǐng)注意,長(zhǎng)期以來(lái)泛型一直被認(rèn)為是***級(jí)和最困難的術(shù)語(yǔ)。
泛型現(xiàn)在在任何一種語(yǔ)言中都被認(rèn)為是一個(gè)高級(jí)的強(qiáng)有力的術(shù)語(yǔ)。當(dāng)我在C++中***次接觸模板時(shí),我對(duì)之有些疑惑。之后,我讀了Bjarne Stroustrop的《The Design and Evolution of C++》,才發(fā)現(xiàn)模板的使用就象C中的宏和用之來(lái)取代的簡(jiǎn)單串替換模板一樣容易。其實(shí),模板和泛型是相同的東西-盡管它們的實(shí)現(xiàn)稍微不同。
C#泛型支持在使用點(diǎn)處才定義算法及其數(shù)據(jù)類型。在C#的一些早期版本中,我們可以證明沒(méi)有泛型也可以工作,因?yàn)槊糠N類型都是派生于一個(gè)公共基類型-object。這意味著程序員可以基于object類型定義一個(gè)棧類并且把一切東西放到該棧上(因?yàn)橐磺卸寂缮趏bject)。然而,一個(gè)object棧意味著,Customer對(duì)象,Integer對(duì)象以及假想的對(duì)象都能被放置到同一個(gè)棧的實(shí)例上。結(jié)果是,開(kāi)發(fā)者要子類化數(shù)據(jù)類型來(lái)把數(shù)據(jù)類型綁定到他們要與之交互的東西上去。例如,在編寫定制的商業(yè)對(duì)象時(shí),我們就建議定義派生于 System.Collections.CollectionBase的強(qiáng)類型集合。原因很簡(jiǎn)單:基于object定義一切被認(rèn)為是弱類型定義。
業(yè)界的高手們?cè)跀?shù)十年前就確信強(qiáng)類型優(yōu)于弱類型,所以.NET最終支持強(qiáng)類型,這看上去是很自然的事情。強(qiáng)類型算法當(dāng)然建議類型化參數(shù)-這正是我們?cè)诜盒椭兴玫臇|西。
十幾年來(lái),我們一直在使用字母T作為類型化參數(shù)的名字。這樣,在任何泛型類使用者所提供的數(shù)據(jù)類型的地方,你都能夠找到T。使用泛型的關(guān)鍵僅僅是提供這個(gè)T。定義泛型的關(guān)鍵在于實(shí)現(xiàn)一個(gè)方法或類,并且用特定數(shù)據(jù)類型來(lái)替換掉T。
C#泛型支持另外一些提煉。例如,一個(gè)方法或類可以有多個(gè)參數(shù)化的類型并且C#泛型支持WHERE約束-它用來(lái)具體要求類型化參數(shù)的類型。例如,如果一個(gè)泛型類型必須實(shí)現(xiàn)接口IDisposable,那么C#泛型支持實(shí)現(xiàn)這一限制的。
【編輯推薦】