C# 泛型（Generic）

一、泛型的引入

1. 泛型—泛：宽泛的—不确定的; 型：类型—不确定的类型

2. 无处不在

3. 调用普通方法的时候,参数类型在声明的时候就确定了，调用时按照类型传递参数即可；

4. Object类型作为参数，可以传递不同的类型进去。

5. 泛型方法—做到了性能高—可以一个方法满足不同类型的需求

二、泛型的声明设计思想

1. 泛型方法：在方法名称后面多一个尖括号new class Base(){ },尖括号中有占位符
2. 延迟声明：在执行调用时声明
3. 占位符：T 类型参数——类型变量
4. 类型参数当做方法的参数的时候，明确参数类型

三、泛型的原理

1.在高级语言中，定义的泛型T，在计算机执行的执行的时候，必须是一个具体的类型；

2.在底层看到，生成的结果是：List `[T] Dictionary 2 [TKey,TValue]

3.编译器必须能够支持泛型

4.CLR运行时环境也必须要支持泛型

5.泛型是框架升级支持的——泛型并非是语法糖

#四、泛型的使用

1. 泛型方法----可以一个方法满足不同类型的需求
2. 泛型接口----可以一个接口满足不同类型的需求—尖括号+占位符
3. 泛型类------可以一个类型满足不同类型的需求—尖括号+占位符
4. 泛型委托----可以一个委托满足不同类型的需求

实例代码

 { 
                       //泛型方法                    
                    {
                        GenericInterfac<string> sgenericInterfac = null;
                       GenericInterfac<DateTime> dtgenericInterfac = null;
                    } 
                    {
                        GenericAbstractClass<string> sGenericClass = null;
                        GenericAbstractClass<DateTime> dtGenericClass = null;
                        GenericAbstractClass<int> iGenericClass = null;
                        //sGenericClass  dtGenericClass  iGenericClass 三者是什么关系？--一没有关系都没有
                    }
                    {
                       Genericdelegate<string> sGenericdelegate = null;
                       Genericdelegate<DateTime> dtGenericdelegate = null;
                    }  
 }

五、泛型的约束

为什要有泛型约束？

• Object类型有安全问题，代码可能会存在隐患，但是编译器监测不到原因
• 如何避免类型安全问题–泛型–不存在类型安全问题
  

1.基类约束

• 就是把类型参数当做Cart
• 调用—就可以传递Cart或者Cart的子类型
• 泛型约束：要么不让你进来，如果让你进来，就一定是没有问题
• 直接new T()会报错，可能没有无参数构造构造函数

示列：

class MyGenericClass<T>
where T : Cart
{
}

2.接口约束

• 把这个T 当做ICart
• 就只能传递ICart 这个接口或者是实现过这个接口的类
• 就可以增加功能，可以获取新的功能

示列：

public class MyGenericClass<T> where T:ICart { }

3.引用类型约束

• 就只能传递类型进来
• 直接new T()会报错，可能没有无参数构造构造函数

示列：

public class MyGenericClass<T> where T:class

4.值类型约束

• 就只能传递值类型进来

示列：

public static void ShowStruct<T>(T t) where T : struct
        {
            
        }

5.无参构造函数约束

• 必须有一个无参数构造函数才能当做参数传入

示列：

public static void ShowNew<T>(T t) where T : new()
        {
            T model = new T();
        }

6.枚举约束

• 必须是一个枚举类型才能传入

示列：

public static void ShowEnum<T>(T t) where T : Enum
        {
             
        }

#六、协变与逆变

1.泛型的协变/逆变

协变/逆变是一种高级约束，是为了规避：

• 把子类做参数，却把父类当参数传入
• 把子类做返回值，却返回的时候，返回了一个父类

2.协变逆变

• 只针对于泛型接口和泛型委托的

3.协变

• 协变： 就可以让右边用子类，能让左边用父类

• 协变：Out 类型参数只能做返回值 ，不能做参数

4.逆变

• 逆变：就可以让右边用父类；左边用子类
• 逆变 In ： 只能做参数 ，不能做返回值

5.协变逆变的存在

• 就是为了满足常规场景添加一个避开风险的约束

本人学习分享，如有错误，欢迎指正，请勿谩骂(*￣︶￣)