C#泛型是.NET中最常見的一種特性，接下來我們就來了解關(guān)于C#泛型的一些特性，看一下代碼：

public class Dictionary<K,V> 
{  
    public void Add(K key, V value)  
    {  
          
        if (key.CompareTo(x) < 0) {}   // Error, no CompareTo method  
          
    }  
} 

由于K可以任何類型，所以可想而知，key只能使用Object中定義的ToString等方法。代碼在編譯時就出錯了，因?yàn)閗ey可能不含有CompareTo方法。那么如何解決呢？一種容易想到的辦法就是把key轉(zhuǎn)換成IComparable，那么代碼就變成了這樣：

public class Dictionary<K,V> 
{  
    public void Add(K key, V value)  
    {  
          
        if (((IComparable)key).CompareTo(x) < 0) {}  
          
    }  
} 

這次沒有編譯時錯誤了。但是還是要小心，因?yàn)閷?shí)際使用時，如果你使用了一個沒有實(shí)現(xiàn)IComparable的類型作參數(shù)，就會出現(xiàn)InvalidCastException異常。為了提供強(qiáng)編譯時檢查和減少類型轉(zhuǎn)換，C#2.0泛型引入了約束（Constraints）這個概念，這是一個泛型的可選項(xiàng)。語法是使用where關(guān)鍵字指明約束的類型參數(shù)，然后加冒號，再加上類，接口，類型參數(shù)等。我們把代碼變成了這樣：

public class Dictionary<K,V> where K: IComparable  
{  
    public void Add(K key, V value)  
    {  
          
        if (key.CompareTo(x) < 0) {}  
          
    }  
} 

這樣就保證了任何為K類型參數(shù)提供的類型都實(shí)現(xiàn)了IComparable接口。所以我們的key就可以使用CompareTo方法了。如果我們在使用時提供了沒有實(shí)現(xiàn)IComparable接口的類型，就會出現(xiàn)編譯時錯誤，我們的約束可以不止是一個接口，可以是多個,還可以是跟類或其他約束混合，請看下面代碼：

public class EntityTable<K,E> 
    where K: IComparable<K>, IPersistable  
    where E: Entity, new()  
{  
    public void Add(K key, E entity)  
    {  
          
        if (key.CompareTo(x) < 0) {}  
          
    }  
} 

對于約束new（）可能不好理解。其實(shí)這個約束保證了提供給類型參數(shù)E的類型必須有一個public，無參的構(gòu)造器。這樣它就允許泛型類使用new E（）創(chuàng)建這個類型的實(shí)例。另外指出的是，雖然可以有多個接口作約束，但至多只能有一個類。

類型參數(shù)必須小心地使用。雖然它提供了更強(qiáng)編譯時類型檢查，但是卻也約束了泛型類型的一些可能的使用情況。比如說，有一個泛型類List<T>約束T實(shí)現(xiàn)IComparable接口，這樣就可以在List<T>的Sort方法中比較項(xiàng)了。然而，就不能為那些沒有實(shí)現(xiàn)IComparable的類使用IList<T>了，就算Sort方法實(shí)際上并沒有調(diào)用。

本文轉(zhuǎn)載自小新的技術(shù)天地的博客，

原文地址：http://wdxinren.cnblogs.com/archive/2005/05/29/164392.html

【編輯推薦】

1. 詳解如何設(shè)置Linux下的C#開發(fā)環(huán)境
2. 淺析C#與C++在靜態(tài)構(gòu)造函數(shù)上的異同
3. 詳解C#中相等運(yùn)算符重載可能造成的陷阱
4. 增強(qiáng)的XML？通過C# 4.0 dynamic享受Ruby寫法之探討
5. 詳解C#泛型特性及相關(guān)實(shí)例