CLR最重要的特性之一就是类型安全。在运行时,CLR总是知道对象的类型是什么。调用GetType方法即可知道对象的确切类型。由于它是非虚方法,所以一个类型不可能伪装成另一个类型。
开发人员经常需要将对象从一种类型转换为另一种类型。CLR允许将对象转换为它的(实际)类型或者它的任何基类型。
每种编程语言都规定了开发人员具体如何进行这种转换型操作。
例如,C#不要求任何特殊语法即可将对象转换为它的任何基类型,因为向基类型的转换被认为是一种安全的隐式转换。
然而,将对象转换为它的某个派生类型时,C#要求开发人员只能进行显式转换,因为这种转换可能运行时失败。
在运行时,CLR检查转型操作,确定总是转换为对象的实际类型或者它的任何基类型。
有一些代码虽然编译时能通过,但是,运行时抛出InvalidCastException异常。(写代码时应该注意,编写的代码可以在编译时就报错而不是等到运行时,参数,接受对象等)。
//--使用C#的is和as操作符来转型
is操作符,检查对象是否兼容于指定类型,返回Boolean值。注意,is操作符永远不抛出异常。
如果对象引用null,is操作符总是返回false,因为没有可检查其类型的对象。
is操作符通常像下面这样使用:
在上述代码中,CLR实际检查两次对象类型。is操作符首先核实o是否兼容于Employee类型。如果是,在if语句内部转型时,CLR再次核实o是否引用一个Employee。CLR的类型检查增强了安全性,但无疑会对性能造成一定影响。
这是因为CLR首先必须判断变量(o)引用的对象的实际类型。然后,CLR必须遍历继承层次结构,用每个基类型去核对指定的类型(Employee)。
由于这是一个相当常用的编程模式,所以C#专门提供了as操作符,目的就是简化这种代码的写法,同时提升其性能。
在这段代码中,CLR核实o是否兼容于Employee类型;如果是,as返回对同一个对象的非null引用。如果o不兼容于Empolyee,as返回null。
注意,as操作符造成CLR只校验一次对象类型。if语句只检查e是否为null;这个检查的速度比校验对象的类型快得多。
as操作符的工作方式与强制转换一样,只是它永远不抛出异常,相反,如果对象不能转型,结果就是null。
所以,正确的做法是检查最终生成的引用是否为null。
企图直接使用最终生成的引用会抛出System.NullReferenceException异常。