C# 泛型

1. 泛型的意义

类型安全(更好的编译时检查),性能增强(避免装箱和拆箱),代码复用(减少了功能相似的代码)

2. 种类:

• 泛型类型(包括类,结构,接口,委托,数组)
• 泛型方法。

  枚举、属性、构造函数、字段 这些没有对应的泛型

3. 约束 :

• where T: class (必须是引用类型)
• where T：struct (必须是值类型,nullable 类型的值类型除外)
• where T: 基类名 (限制类型参数必须是继承自指定的基类，或是基类本身)
• new() (必须有无参构造函数,只能用于引用类型(如果类型是结构类型也不会报错),并且必须放在约束的最后如 class Sample where T : class, IDisposable, new() )
• where T：接口名 (限制类型参数必须是实现指定接口)
• where T：U (为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束.)
• 组合约束

  上面的几种约束可以形成组合约束。若一个类型参数有多个约束,约束之间用 , 分开; 如果包含多个类型参数 ,多个类型参数用 where 分开。如

  public class KeyValue where TKey : new() where TValue: Base,new()

4. 相关术语：

• 形参（一般用 paramter 描述）
• 实参(一般用 argument 描述)
• 类型参数:是一种形参,如 List 中的 T
• 类型实参 ,如 List 中的 int
• 泛型的 开放类型
  指的是带有 类型参数(且未分配类型实参) 的类型,如 Type myType= typeof(List) ;中的变量 myType;
• 泛型的 封闭类型; 已经分配具体 类型实参 的类型,如 Type myType2= typeof(List) ; 中的变量 myType2;

5. 泛型方法

• 带有类型参数的方法不一定都是泛型方法

  public class Animal
      {
          public void Move1(T speed) { }
  
          public void Move2(S speedT) { }
      }
  

  Move2 是泛型方法 , Move1 则不是. 判断一个方法是否是泛型方法,可以通过反射获取到 MethodInfo 对象,然后调用 对象的 IsGenericMethod 方法.

• 方法重载: 调用方法时,如果有多个方法签名相匹配,则优先调用类型参数较少的方法

• 类型参数的省略:调用泛型方法时 ,如果是下面的2种情况则可以省略类型参数

  • 使用类型明确的值，传给被调用的方法时 如

      Move(100); // 可以简写成  Move(100);
  

  • 使用泛型方法调用另一个具有相同方法签名的泛型方法时

      public void Move(T speed){}
  
      public void MoveWrapper(T s)
      {
          Move(s);// 可以简写成  Move(s);
      }