数据类型系统是一门编程语言的核心。.NET系列的语言使用统一的数据类型系统CTS(Common Type System)。所有的数据类型都继承自System.Object。
一 值类型和引用类型
a)面向对象语言最明显的特征便是:万物皆对象。但早期的面向对象语言却因为这一点存在性能上的问题。因为任何变量都要在堆上分配。CTS通过将数据类型分为值类型和引用类型解决了这个问题。
b) 值类型
值类型包括基元类型(Primitive Type,包括int,double,byte等)、枚举和结构体;这些类型的变量会保存在栈(stack)上;不能为空;操作数据时,直接操作栈上的值。
c)引用类型
引用类型包括类、数组、委托、接口;这类数据会保存在堆(Heap)上;可以为空;引用类型实际上是类型安全的指针,类型安全意味着指针一定会指向堆上已经存在的对象,操作数据时,操作的是该指针。
二 装箱和拆箱
装箱和拆箱在保证“万物皆对象”的前提下,做到了对性能的提升。
a) 装箱就是将一个值类型的变量转换为引用类型;拆箱则反之。这一概念最重要的地方在于:“它使一个事物只有在需要是对象的时候才作为对象”。比如一个Int32类型的变量,保存在栈上,但它可以传递给任何从Sytem.Object衍生的对象,而实际上它只是一个保存在栈上、占用了4个字节的值。
b) 值类型有很多种,但引用类型可以认为只有System.Object一种,所以装箱的时候,值类型的转换目标是明确的,在将值类型赋值给引用类型时会自动进行装箱。但拆箱时,需要人为指定要将引用类型转换为哪种值类型。
三 System.Object
System.Object是所有对象的基类,所有对象都默认继承了System.Object类的方法。System.Object类具有如下几个方法:
public方法:
Equals:比较变量是否相等,如果两个变量引用同一个对象,这两个变量相等;对于值类型来说,如果类型和值都相等,则认为变量相等。
GetHashCode:计算对象的哈希值时用。
GetType:反射时,用来取得对象的类型。
ToString:默认返回对象的名称。
ReferenceEquals:本书比较早,这个属性应该是后来版本的.NET中添加的,用于比较是否引用同一个对象。
protected方法:
Finalize:GC进行垃圾回收时用到。
MemberwiseClone:用于进行浅拷贝。
四 CTS类型与C#类型的对应
五 类型转换
根据里氏转换原则,,可以使用派生类来替换基类。如果假设基类为Employee,派生类为ContractEmployee:
a) 向上转换(upcast) 将派生类赋值给基类时进行向上转换,这种转换可自动进行(隐式转换)。
Employee e=new ContractEmployee();
b) 向下转换(downcast) 将基类转换为派生类时进行的是向下转换,需要显式转换。
这样的写法编译可以通过。只有在运行时才可以确认转换是否能够成功,如果转换失败,会抛出System.InvalidCastException异常。
另外,还可以使用as关键字进行转换,使用这种方式就行向下转换时,运行时转换失败不会报错,会赋空值,所以要注意做好非空判断。