C#泛型运作原理的深入理解
前言#
我们都知道泛型在C#的重要性,泛型是OOP语言中三大特征的多态的最重要的体现,几乎泛型撑起了整个.NET框架,在讲泛型之前,我们可以抛出一个问题,我们现在需要一个可扩容的数组类,且满足所有类型,不管是值类型还是引用类型,那么在没有用泛型方法实现,如何实现?
一.泛型之前的故事#
我们肯定会想到用object来作为类型参数,因为在C#中,所有类型都是基于Object类型的。因此Object是所有类型的最基类,那么我们的可扩容数组类如下:
然后我们来验证下:
输出:
Copy
ryzen
reed
wymen
gavin
Now arrayStr Capacity:4
0
1
2
3
4
Now array Capacity:8
貌似输出结果是正确的,能够动态进行扩容,同样的支持值类型Struct的int32和引用类型的字符串,但是其实这里会发现一些问题,那就是
- 引用类型string进行了类型转换的验证
- 值类型int32进行了装箱和拆箱操作,同时进行类型转换类型的检验
- 发生的这一切都是在运行时的,假如类型转换错误,得在运行时才能报错
大致执行模型如下:
引用类型:
值类型:
那么有没有一种方法能够避免上面遇到的三种问题呢?在借鉴了cpp的模板和java的泛型经验,在C#2.0的时候推出了更适合.NET体系下的泛型
二.用泛型实现#
那么测试代码则改写为如下:
输出:
Copy
ryzen
reed
wymen
gavin
Now arrayStr Capacity:4
0
1
2
3
4
Now array Capacity:8
我们通过截取部分ArrayExpandable<T>的IL查看其本质是个啥:
原来定义的时候就是用了个T作为占位符,起一个模板的作用,我们对其实例化类型参数的时候,补足那个占位符,我们可以在编译期就知道了其类型,且不用在运行时进行类型检测,而我们也可以对比ArrayExpandable和ArrayExpandable<T>在类型为值类型中的IL,查看是否进行拆箱和装箱操作,以下为IL截取部分:
ArrayExpandable:
ArrayExpandable:
我们从IL也能看的出来,ArrayExpandable<T>的T作为一个类型参数,在编译后在IL已经确定了其类型,因此当然也就不存在装拆箱的情况,在编译期的时候IDE能够检测类型,因此也就不用在运行时进行类型检测,但并不代表不能通过运行时检测类型(可通过is和as),还能通过反射体现出泛型的灵活性,后面会讲到
其实有了解ArrayList和List的朋友就知道,ArrayExpandable和ArrayExpandable<T>其实现大致就是和它们一样,只是简化了很多的版本,我们这里可以通过 BenchmarkDotNet 来测试其性能对比,代码如下:
我还加入了.NETCore3.1和.NET5的对比,且以.NETCore3.1的EnumAraayList_valueType方法为基准,性能测试结果如下:
用更直观的柱形图来呈现:
我们能看到在这里List的性能在引用类型和值类型中都是所以当中是最好的,不管是执行时间、GC次数,分配的内存空间大小,都是最优的,同时.NET5在几乎所有的方法中性能都是优于.NETCore3.1,这里还提一句,我实现的ArrayExpandable和ArrayExpandable<T>性能都差于ArrayList和List,我还没实现IList和各种方法,只能说句dotnet基金会牛逼
三.泛型的多态性#
多态的声明#
类、结构、接口、方法、和委托可以声明一个或者多个类型参数,我们直接看代码:
控制台测试代码:
输出如下:
构造函数:parameter1 type:List`1,parameter2 type:String
索引:索引0的值:1
Filed:ryzen
Method:Int32:classT?.ToString()
Method<MenthodT, MenthodT1>:DateTime:2021/03/02 11:45:40,Int64:2021
DelegateMenthod:this is a delegate
InterfaceMenthod:this is a interfaceMthod
重载+运算符:Foo`2
我们通过例子可以看到的是:
- 类(结构也可以),接口,委托,方法都可以声明一个或多个类型参数,体现了声明的多态性
- 类的函数成员:属性,字段,索引,构造器,运算符只能引入类声明的类型参数,不能够声明,唯有方法这一函数成员具备声明和引用类型参数两种功能,由于具备声明功能,因此可以声明和委托一样的类型参数并且引用它,这也体现了方法的多态性
多态的继承#
父类和实现类或接口的接口都可以是实例化类型,直接看代码:
我们可以通过例子看出:
- 由于Foo的基类FooBase定义的和Foo有着共享的类型参数ClassT,因此可以在继承的时候不实例化类型
- 而Foo和IFoo接口没定义相同的类型参数,因此可以在继承的时候实例化出接口的类型参数StringBuild出来
- IFoo和IFooBase没定义相同的类型参数,因此可以在继承的时候实例化出接口的类型参数string出来
- 上述都体现出继承的多态性
多态的递归#
我们定义如下一个类和一个方法,且不会报错:
因为T能在实例化的时候确定其类型,因此也支持这种循环套用自己的类和方法的定义
四.泛型的约束#
where的约束#
我们先上代码:
再改动下Foo类:
我们可以看到,通过where语句,可以对类型参数进行约束,而且一个类型参数支持多个约束条件(例如K),使其在实例化类型参数的时候,必须按照约束的条件对应实例符合条件的类型,而where条件约束的作用就是起在编译期约束类型参数的作用
out和in的约束#
说到out和in之前,我们可以说下协变和逆变,在C#中,只有泛型接口和泛型委托可以支持协变和逆变
协变#
我们先看下代码:
这时候你可能会有点奇怪,为啥那段代码会编译失败,明明Foo类可以隐式转为FooBase,但作为泛型接口类型参数实例化却并不能呢?使用out约束泛型接口IBar的T,那段代码就会编译正常,但是会引出另外一段编译报错:
因此我们可以得出以下结论:
- 由于Foo继承FooBase,本身子类Foo包含着父类允许访问的成员,因此能隐式转换父类,这是类型安全的转换,因此叫协变
- 在为泛型接口用out标识其类型参数支持协变后,约束其方法的返回值和属性的Get(本质也是个返回值的方法)才能引用所声明的类型参数,也就是作为输出值,用out很明显的突出了这一意思
而支持迭代的泛型接口IEnumerable也是这么定义的:
逆变#
我们将上面代码改下:
我们再改动下IBar,发现出现另外一处编译失败
因此我们可以得出以下结论:
- 由于FooBase是Foo的父类,并不包含子类的自由的成员,转为为子类Foo是类型不安全的,因此在运行时强式转换的报错了,但编译期是不能够确认的
- 在为泛型接口用in标识其类型参数支持逆变后,in约束其接口成员不能将其作为返回值(输出值),我们会发现协变和逆变正是一对反义词
- 这里提一句,值类型是不支持协变和逆变的
同样的泛型委托Action就是个逆变的例子:
五.泛型的反射#
我们先来看看以下代码:
然后通过ildasm查看其IL,开启视图-》显示标记值,查看Main方法:
打开元数据表将上面所涉及到的元数据定义表和类型规格表列出:
metainfo:
这时候我们就可以看出,元数据为泛型类ArrayExpandable<T>定义一份定义表,生成两份规格,也就是当你实例化类型参数为int和string的时候,分别生成了两份规格代码,同时还发现以下的现象:
非常妙的是,当你实例化两个一样的类型参数string,是共享一份类型规格的,也就是同享一份本地代码,因此上面的代码在线程堆栈和托管堆的大致是这样的:
由于泛型也有元数据的存在,因此可以对其做反射:
输出:
-----------lsInt---------------
lsInt is generic?:True
Generic type:Int32
---------Menthods:
get_Item
set_Item
get_Capacity
set_Capacity
get_Count
Add
GetType
ToString
Equals
GetHashCode
---------Properties:
System.Int32:Item
System.Int32:Capacity
System.Int32:Count
-----------lsStr---------------
lsStr is generic?:True
Generic type:String
---------Menthods:
get_Item
set_Item
get_Capacity
set_Capacity
get_Count
Add
GetType
ToString
Equals
GetHashCode
---------Properties:
System.String:Item
System.Int32:Capacity
System.Int32:Count
六.总结#
泛型编程作为.NET体系中一个很重要的编程思想,主要有以下亮点:
- 编译期确定类型,避免值类型的拆装箱和不必要的运行时类型检验,同样运行时也能通过is和as进行类型检验
- 通过约束进行对类型参数实例化的范围
- 同时在IL层面,实例化相同类型参数的时候共享一份本地代码
- 由于元数据的存在,也能在运行时进行反射,增强其灵活性
参考#
Design and Implementation of Generics for the .NET Common Language Runtime
https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/generics/
《CLR Via C# 第四版》
《你必须知道的.NET(第二版)》
到此这篇关于C#泛型运作原理的文章就介绍到这了,更多相关C#泛型运作原理内容请搜索得得之家以前的文章希望大家以后多多支持得得之家!