假設你有一個算法,代碼如下:
static int Calculate(int number1, int number2) { return number1 + number2; }
現在,你的項目要增加對double類型的支持,So Easy!!!,你很聰明的拷貝了上面的代碼,三下五除二,將int全都改成double
static double Calculate(double number1, double number2) { return number1 + number2; }
再然後你的代碼又要增加對新的類型的支持,比如short,byte,string,float...,你已經無法忍受了不斷的Ctrl+C,Ctrl+V,
那麼有什麼辦法可以讓我們不再重復做著這樣的工作呢?就是今天的主角——C#泛型特性。泛型允許我們聲明類型參數化的代碼,我們可以用不同的類型進行實例化,就好像我們給所有的類型創建了一個模板,然後到真正使用到某個類型的時候,我們在把該類型套用進去。看個例子,
現在我再換種類型試試
它依然能夠很好的工作,我們可以看下Sort<T>裡面的代碼,裡面確實沒有具體的類型
1 public static void Sort<T>(T[] array) { 2 if (array==null) 3 throw new ArgumentNullException("array"); 4 Contract.EndContractBlock(); 5 Sort<T>(array, array.GetLowerBound(0), array.Length, null); 6 }
在C#中,支持泛型的有類、結構、接口、委托還有方法。泛型和非泛型的聲明方式差不多,只是它多了個類型參數,例如下面的代碼
class SomeClass<T> { public T t; //... }
1 //泛型接口 2 interface IFly<T> 3 { 4 void Fly(T input); 5 } 6 7 class SomeClass : IFly<int> 8 { 9 #region IFly<int> 成員 10 11 public void Fly(int input) 12 { 13 Console.WriteLine(input); 14 } 15 16 #endregion 17 }
//泛型委托 delegate R OnSubmintHandle<T, R>(T value); //還有我們常見的,無返回值委托 Action<>,有返回值委托Func<>
1 static void Main(string[] args) 2 { 3 //我們可以用下面這兩個種方式調用泛型方法,因為編譯器可以通過方法參數推斷出類型參數 4 Display<int>(10); 5 Display(5); 6 } 7 8 static void Display<T>(T inpute) 9 { 10 //對input的一些操作 11 //..... 12 }
泛型那麼強大,那是不是所有的類型參數都能都能作為泛型的參數呢?
1 //比較兩個數,返回中較小的一個 2 static T Min<T>(T t1,T t2) where T:IComparable<T> 3 { 4 return t1.CompareTo(t2) > 0 ? t2 : t1; 5 }
在這段代碼中,大家可能注意到了where T:IComparable<T>,這是什麼呢?為什麼要加上這段代碼呢?當我去掉這段代碼後,visual 提示了錯誤
由此可以看出來,並不是什麼都可以作為泛型的類型參數,除非你的泛型什麼裡面什麼操作也沒有。那麼如何對泛型的類型參數進行約束呢?這就用到了關鍵 where
class SomleClass<T, U, R> where T : class where U : IComparable { }
約束類型表:
類名 只有這個類型的類或從它繼承的類才能用作類型參數 class 任何引用類型,包括類、數組、委托和接口都可以用作實參 struct 任何值類都可以用作類型實參 接口 只有這個接口或者實現了這個接口的類型才能用作實參 new() 任何帶有無參構造函數的類型都可以用作實參,構造函數約束必須放在所有約束的最後一個如果同時有多個約束,那麼它們需要按一定的順序排列
//約束的順序 [類、class、struct],[接口],[new()] class SomleClass<T, U, R> where T : class,IComparable,new() { }