NET第2章公共语言运行库.pptVIP

2.2 通用类型系统架构 2.2.1 值类型和引用类型 2.2.2 值类型和引用类型之间的相互转换： 装箱和拆箱 Nullable类型 【例2.7】Nullable类型示例 static void Main(string[] args) { //初始化雇员类 Employee e1 = new Employee(Stephen, true); //为该雇员定义结婚周年 e1.Anniversary = DateTime.Today.AddMonths(-5); e1.ShowDetails(); Employee e2 = new Employee(Thomas, false); e2.Anniversary = DateTime.Today.AddMonths(-10); e2.ShowDetails(); Console.ReadLine(); } //定义雇员类 class Employee { //声明字段 private string _name; private bool _married; private NullableDateTime _mAnniversary; //在构造函数中初始化姓名和是否已婚以及结婚周年的时间 public Employee(string name, bool married) { this._name = name; this._married = married; if (!this._married) this._mAnniversary = null; } //定义周年属性 public NullableDateTime Anniversary { get { return this._mAnniversary; } set { if (this._married) this._mAnniversary = value; else this._mAnniversary = null; } } 泛型 2. 为什么要使用泛型 前文介绍了装箱和拆箱在数据量很大的时候，实际上系统性能非常低，为了解决这个问题，在VS2005中提出了泛型的概念。 如果没有泛型，通用数据结构可通过使用类型Object 实现任何数据类型的存储。 （1）编译时类型验证。C#泛型代码在被编译为MSIL和元数据时，采用特殊的占位符来表示泛型类型，并用专有的MSIL指令支持泛型操作。而真正的泛型实例化工作发生在JIT编译时。 （2）高性能（不用装箱，不用转换）。C#泛型能力由CLR在运行时支持，这使得泛型能力可以在各个支持CLR的语言之间进行无缝的互操作。 泛型 3. 泛型机制 泛型由CLR在运行时支持，区别于C++编译时的模板机制。泛型代码在被编译为MSIL代码和元数据时，采用特殊的占位符表示泛型类型，并用专用的MSIL指令支持泛型操作，而真正的泛型实例化是在JIT编译时。 第一轮编译时，编译器只为泛型类型产生“泛型版”的MSIL代码与元数据，并不进行泛型类型的实例化，泛型参数在中间只是占位符；第二轮JIT编译时，当JIT第一次遇到泛型参数时，将用实际参数类型替换泛型参数并进行实例化。 CLR为所有引用类型的参数创建同一份代码，但如果类型参数为值类型，对每一个不同的值类型产生独立的一份代码。 泛型 【例2.6】泛型类型的使用在编译时就可发现类型转换中的错误 static void Main(string[] args) { //使用泛型，在编译时就能报错 //在定义List泛型类时没有指定集合成员的类型，成 员在实例化的时候才指定 ListString list = new Liststring();