什么是泛型
假设你有一个算法，代码如下：
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() { }
泛型最终的目的就是将类型和方法参数化，减少不必要的装箱和拆箱，提高编译时类型安全性和性能以及代码的表现力