C#泛型 C#泛型

为什么会出现泛型
在泛型还没有出来之前，使用那些为不通类型设计的方法（比如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) {}

【C#泛型】泛型的出现很好的解决这个问题。
泛型怎么使用
泛型有两种形式：泛型类型（包括类、接口、委托和结构——没有泛型枚举）和泛型方法。两者都是表示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#》一书的一个图片
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#自带的一些泛型
C#泛型