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