为什么会出现泛型
在泛型还没有出来之前，使用那些为不同类型设计的方法（比如ArrayList）和只有传参不同，其他逻辑都相同的方法时，都会想到所有类型的基类object，看似完美的解决了问题。
但是还是有大问题会出现：
1.会因为没有记住使用的类型而出错，造成类型不兼容；
2.类型强制转换出错；
3.值类型和引用类型的互化即装箱拆箱使系统性能下降。
public void Do()
{
GetArrayList(1);
GetArrayList("123");
GetArrayList(true);
B b = new B();
GetArrayList(b);
}
public void GetArrayList(object obj)
{
}
泛型的出现很好的解决这个问题。
泛型怎么使用
泛型有两种形式：泛型类型（包括类、接口、委托和结构——没有泛型枚举）和泛型方法。两者都是表示API的基本方法（不管是指单独的泛型方法还是完整的泛型类型），在平时期望出现一个普通类型的地方，用一个类型参数。类型参数是真实类型的占位符。在泛型声明中，类型参数要放在一对尖括号内，并以逗号分隔。
举个例子C#自带的集合类Dictionary，实例化的时候一般都是下面这样，在Dictionary 中，类型参数是TKey和TValue。使用泛型类型或方法时，要用真实的类型代替。string替代TKey，int替代TValue
Dictionary dic1 = new Dictionary();
dic1.Add("a", 1);
dic1.Add("b", 2);
Dictionary dic2 = new Dictionary();
dic2.Add(1, true);
dic2.Add(2, false);
感兴趣的话可以，F12看一下Dictionary如何声明泛型类型，实现泛型接口，声明无参构造函数。
这里有个小常识：在向其他人描述泛型类型时，通常使用of来介绍类型参数或实参，因此List读作list of T。
类型的命名规范：虽然可以使用带有T、U和V这样的类型参数的类型，但从中根本看不出实际指的是什么，也看不出它们应该如何使用。相比之下，像Dictionary这样的命名就要好得多，TKey明显代表键的类型，而TValue代表值的类型。如果只有一个类型参数，而且它的含义很清楚，那么一般使用T（List就是一个很好的例子）
类型约束
到目前为止说的泛型可以指定任意类型，他们未做约束。但是我们在工作中经常想指定规则值接受引用类型或者值类型，从而接受有效类型的实参。
1. 引用类型约束
确保使用的类型实参是引用类型，类型实参任何类、接口、数组、委托等
public class ReturnResult where T : class
{
List ts = new List();
}
2.值类型约束
确保使用的类型参数是值类型。
public class ReturnResult where T : struct
{
.......
}
使用的话就是 ReturnResult result = new ReturnResult();在平时的使用中用的比较少
3.构造函数类型约束
确保类型实参有一个无参的构造函数，必须是所有类型参数最后一个约束
///
/// 有无参构造函数的泛型约束 ///
/// public class ReturnResult where T : new() { } public class Person { public string Id { get; set; } public string Name { get; set; } //增加无参的构造函数 public Person() { } } public class Test { public void GetTest() { //实例化 ReturnResult result = new ReturnResult(); } }
4.转换类型约束
确保一个类型的实参必须转化为另一种类型的实参，摘自《深入理解C#》一书的一个图片
5.组合约束
应用中可能存在多个约束的可能性，当我们把不通类型的约束组合在一起时，就要考虑他们之间的共存问题了。显然没有一个类型即是引用类型有是值类型，这种组合就是错误的；如果存在多个约束组合，类应该出现在接口的前面，不能多次指向同一个接口，new（）放在最后，不同的类型可以有不同的约束，分别由单独的where引入，来看一些例子
//有效的
class D where T : class, IDisposable, new() { }
class E where T : struct, IDisposable { }
class F where T : class where U : struct { }
class G where T : Stream where U : IDisposable { }
//无效的
class H where T : class, struct { }
class I where T : class, Stream { }
class J where T : new(), class { }
class M where T : struct where U : class,T { }
协变和逆变
下节说
附录：C#自带的一些泛型
