【C#多态】as 类型检测(原理分析) ---用于多态检
as(OpCodes.Castclass)功能:测试对象引用(O 类型)是否为特定类的实例。
相当于:expression is type ? (type)expression : (type)null 做类型检测判断,如果类型兼容则转换,否则返回null
只是as 只被计算一次。
使用规则:
1、as只能用于引用类型不能用于值类型,值类型不能继承所以无法做检测。
2、没有继承关系的引用类型之间无法转化,编辑器会直接报错。
例如:要求x所属的类与类A必须是子类和父类的关系,否则编译错误。如果x属于类A的子类B,x as A值也为true。
原理分析:
从corelr角度分析as用法
源代码:https://github.com/Potapy4/dotnet-coreclr/blob/master/src/vm/jitinterface.h
引用ECMA-335, is运算符生成isinst对象模型IL指令(Partition III§4.6),它是基本指令集的一部分,而不是反射库的一部分(Partition IV§5.5)。
编辑:与反射库相比,is操作符非常高效。你可以通过反射以更慢的速度执行基本相同的测试:
typeof (T) .IsAssignableFrom (obj.GetType ())
编辑2:关于castclass和isinst指令的效率你是不正确的(你现在已经从文章中编辑掉了)。它们在任何实际的VM实现中都是高度优化的。唯一涉及到的真正的性能问题是强制类型抛出异常的可能性,这可以通过使用c#作为操作符和null(对于引用类型)的测试,或者使用is操作符后接强制类型(对于值类型)来避免。
is(OpCodes.isinst)/as(OpCodes.Castclass 关键字是通过CLR中的指令实现,而非反射。
isinst 在当下CoreCLR实现中,对于引用以及值类型,JIT会生成代码调用CoreCLR内部的FCall方法 JIT_IsInstanceOfClass_Portable\JIT_IsInstanceOfClass ,而对于接口类型的断定会调用JIT_IsInstanceOfInterface_Portable\JIT_IsInstanceOfInterface 。
InstanceOfClass 在java就是用于多态检测。所以我们可以指定as 就是java中的InstanceOfClass功能。
个人理解:原理是as用来检测多态的,多态是对行为抽象。而值类型没有行为 当然无法转化, 所以不能将as is用于值类型