01.泛型Generic

1. 基本了解

1.1 什么是泛型？

字面意思：不确定的类型

泛型常用：泛型方法，泛型类，泛型接口，泛型委托

1.2 泛型 T（熟悉）

T 的作用，其实就是一个通用的容器，制造它的人开始不指定它是用来装什么的，而使用者在使用它的时候要告诉这个容器准备用来装什么，容器知道了用来装什么之后，后面所有存入操作，它都要检查一下你放的东西是不是开始指定的东西类型

所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型

泛型允许您延迟编写类或方法中的编程元素的数据类型的规范，直到实际在程序中使用它的时候，换句话说，泛型允许您编写一个可以与任何数据类型一起工作的类或方法

泛型编程是一种编程范式，它利用“参数化类型”将类型抽象化，从而实现更为灵活的复用。在定义泛型类时，在对客户端代码能够在实例化类时，可以用类型参数的类型种类施加限制

原理：泛型的使用是来源于c#2.0新出的规则和框架的升级，对原生需求的变更，泛型不是语法糖，是应对数据类型在传递参数的时候解决多代码冗余问题，减少代码的重复和可维护性。泛型的协变与逆变和泛型约束在c#4.0出现，解决c#出现的代码父类继承问题

1.3 设计思想

泛型的思想表现了一个很重要的架构思想： 延迟思想，推迟一切可以推迟的，使程序有更多的灵活性和扩展性，用来解决，方法中是相同的操作，但是传入参数是不同类型的问题（例举）

1.4 应用场景

类型不明确时：自定义对象的时候，如果我们会定义很多类似的对象，之后参数类型不同，那么我们此时可以考虑在定义对象的时候使用泛型

定义变量，定义方法的参数，定义方法的返回值

示例：返回结果

public class Result<T>
{
    public int code { get; set; }
    public List<T> date { get; set; }
}

Result<A> result_a = new Result<A>() { code = 200, date = new List<A>() };
Result<B> result_b = new Result<B>() { code = 200, date = new List<B>() };

1.5 装箱拆箱(了解)

在没有泛型之前，用 object 类型也可以实现相同操作，但是会有些性能损耗及类型安全问题

说明

简单来说，装箱是将值类型转换为引用类型 ；拆箱是将引用类型转换为值类型

装箱：用于在垃圾回收堆中存储值类型。装箱是值类型到 object 类型或到此值类型所实现的任何接口类型的隐式转换

拆箱：从 object 类型到值类型或从接口类型到实现该接口的值类型的显式转换

c#类型

C#中值类型和引用类型的最终基类都是Object类型（它本身是一个引用类型）。也就是说，值类型也可以当做引用类型来处理。而这种机制的底层处理就是通过装箱和拆箱的方式来进行，利用装箱和拆箱功能，可通过允许值类型的任何值与Object 类型的值相互转换，将值类型与引用类型链接起来

发生场景

一种最普通的场景是，调用一个含类型为Object的参数的方法，该Object可支持任意为型，以便通用。当你需要将一个值类型(如Int32)传入时，需要装箱。

另一种用法是，一个非泛型的容器，同样是为了保证通用，而将元素类型定义为Object。于是，要将值类型数据加入容器时，需要装箱

装箱和拆箱的内部操作

.NET中数据类型划分为值类型和引用类型，与此对应，内存分配被分成了两种方式，一为栈，二为堆（托管堆）

值类型只会在栈中分配，引用类型分配内存与托管堆（托管堆对应于垃圾回收）

2. 泛型方法

泛型方法可以定义特定于其执行范围的泛型参数

2.1 定义泛型方法

public class MyClass
{
    // 指定MyMethod方法用以执行类型为X的参数
    public void MyMethod<X>(X x)
    {
        //
    }

    //此方法也可不指定方法参数
    public void MyMethod<X>()
    {
        //
    }
}

2.2 调用泛型方法

MyClass mycls = new MyClass();
mycls.MyMethod<int>(3);

3. 泛型类

类级别泛型参数的所有约束都必须在类作用范围中定义

3.1 定义泛型类

简单定义

public class MyC<T>
{
    ...
}

public class MyC<T>
{
    public T Get(){...}
    public void Show(T t){...}
}

普通类继承泛型类

public class MyClass<T>:MyC<T>
{
    ...
}

泛型类继承泛型类，继承的泛型类型必须是可推断的（与子类一致或者一个具体的类型）

public class MyClass2<T>:MyC<int>
{
    ...
}

3.2 其它示例

示例一

public class MyC<T> where T:new()
{
    public void Show<T>(){T entity}
}

public class MyClass<T> where T:IComparable<T>
{
    public void MyMethod<X>(X x,T t)
    {
        //
    }
}

4. 泛型接口

4.1 定义泛型接口

简单定义

public interface MyInterface<T>
{
	...
}

public interface MyInterface<T>
{
	T Get();
    void Show(T t);
}

泛型接口继承接口

public interface MyInterface2<T>:MyInterface<T>
{
	...
}

5. 泛型委托

在某个类中定义的委托可以使用该类的泛型参数

5.1 定义泛型委托

示例一

public class MyClass<T>
{
    public delegate void GenericDelegate(T t);
    public void SomeMethod(T t)
    {

    }
}

5.2 使用泛型委托

示例一：同定义示例一

public GenericMethodDemo()
{
    MyClass<int> obj = new MyClass<int>();
    MyClass<int>.GenericDelegate del;
    del = new MyClass<int>.GenericDelegate(obj.SomeMethod);
    del(3);
}

6. 泛型约束

6.1 类型安全问题

show 方法若使用 object 类型参数，虽然编译器中没有报错，但是在运行中会出现类型转换失败问题，原因是类型 C 并没有继承 A 父类，此处就引发了类型错误问题，而泛型约束就是解决类型安全问题

namespace t1
{
    class Program
    {
        static void Main(string[] args)
        {
            A obja = new A() { id = 1, name = "a" };
            B objb = new B() { id = 2, name = "b" };
            C objc = new C() { id = 3, name = "C" };

            try
            {
                Show(obja);
                Show(objb);
                Show(objc);
            }
            catch (Exception ex)
            {

            }
        }

        static void Show(object oval)
        {
            A obj = (A)oval;
            Console.WriteLine(obj.id);
        }
    }

    public class A
    {
        public int id { get; set; }
        public string name { get; set; }
    }

    public class B : A
    {

    }

    public class C
    {
        public int id { get; set; }
        public string name { get; set; }
    }

}

6.2 常用约束列表

约束	说明
where T:基类名	类型参数必须是指定的基类或派生自指定的基类
where T:接口名称	类型参数必须是指定的接口或实现指定的接口
where T:class	类型参数必须是引用类型，包括任何类、接口、委托或数组类型
where T:struct	类型参数必须是值类型，可以指定除 Nullable 以外的任何值类型
where T:new()	类型参数必须具有无参数的公共构造函数，与其他约束同使用时，必须最后指定

6.3 常用示例

示例一：接口约束|派生约束

// 1.常见
public class MyGenericClass<T> where T:IComparable { }

// 2.约束放在类的实际派生之后
public class B { }
public class MyClass6<T> : B where T : IComparable { }

// 3.可以继承一个基类和多个接口，且基类在接口前面
public class B { }
public class MyClass7<T> where T : B, IComparable, ICloneable { }

示例二：引用类型，值类型约束

public class c<T> where T:class

public class MyClassy<T, U> where T : class where U : struct
{
}

构造函数约束

以使用 new 运算符创建类型参数的实例；但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道：提供的任何类型参数都必须具有可访问的无参数（或默认）构造函数。new() 约束出现在 where 子句的最后

// 1.常见的
public class MyClass8<T> where T :  new() { }

// 2.可以将构造函数约束和派生约束组合起来,前提是构造函数约束出现在约束列表的最后
public class MyClass8<T> where T : IComparable, new() { }

7. 协变逆变（扩展）

协变和逆变只有在泛型接口，泛型委托中才有，协变逆变也可以组合使用

7.1 使用问题

// 鸟类
public class Bird
{
    public int id { get; set; }
}

// 麻雀类
public class Sparrow:Bird
{
    public string name { get; set; }
}

class Program
{
    static void Main(string[] args)
    {
        // 麻雀也属于鸟类
        Bird bird1 = new Bird();
        Bird bird2 = new Sparrow();

        // 从人类语言上来说，一组麻雀也是一组鸟类
        // 但是在程序中，List<Bird> 是一个新的类，与 List<Sparrow> 无父子关系
        // List<Bird> list = new List<Sparrow>(); 报错
    }
}

7.2 协变

协变：使用 out 修饰类型参数，且类型参数只能用作返回值，不可用于输入参数，使得子类可在右边

namespace t2
{
    // 鸟类
    public class Bird
    {
        public int id { get; set; }
    }

    // 麻雀类
    public class Sparrow : Bird
    {
        public string name { get; set; }
    }

    // 自定义协变
    public interface ICustomerListOut<out T>
    {
        T Get();
        //Show(T t);
    }

    public class CustomerListOut<T> : ICustomerListOut<T>
    {
        public T Get()
        {
            return default(T);
        }

        //public void Show(T t) { }
    }

    class Program
    {
        static void Main(string[] args)
        {
            // 协变
            IEnumerable<Bird> birds1 = new List<Sparrow>();

            // 自定义
            ICustomerListOut<Bird> birds2 = new CustomerListOut<Sparrow>();
        }
    }
}

7.3 逆变

逆变：使用 in 修饰类型参数，且类型参数只能用作输入参数，不可用于输入参数返回值，使得父类可在右边

namespace t2
{
    // 鸟类
    public class Bird
    {
        public int id { get; set; }
    }

    // 麻雀类
    public class Sparrow : Bird
    {
        public string name { get; set; }
    }

    public interface ICustomerListIn<in T>
    {
        // T Get();

        void Show(T t);
    }

    public class CustomerListIn<T> : ICustomerListIn<T>
    {
        //public T Get()
        //{
        //    return default(T);
        //}

        public void Show(T t) { ... }
    }

    class Program
    {
        static void Main(string[] args)
        {
            // 逆变
            ICustomerListIn<Sparrow> sparrow1 = new CustomerListIn<Bird>();
        }
    }
}

7.4 个人理解（不做参考）

协变：子类向父类转换

逆变：父类向子类转换