C++教学课件：第11章 泛型.pptVIP

第11章 泛型 泛型的基本概念 泛型的定义和类型参数 泛型类和泛型接口 泛型委托和泛型事件 11.1泛型的基本概念 ArrayList通用化是通过在类型与通用基类型Object之间进行强制转换来实现的：添加到ArrayList中的任何引用或值类型都将隐式地向上强制转换为 Object；如果项是值类型，则添加时需要进行装箱操作，检索时需要进行拆箱操作 ArrayList通用化有2个主要缺点：强制转换以及装箱和拆箱操作都会降低性能（特别是大型集合时）；另一个限制是缺少编译时类型检查，因为所有项都强制转换为Object，所以在编译时无法防止客户端代码执行非法操作 11.1.2 引例ListT 与ArrayList相比，使用 ListT时，必须为每个实例指定其具体的数据类型。这样将不再需要向上强制转换为System.Object以及装箱和拆箱操作，同时也使得编译器可以进行类型检查，从而解决了ArrayList通用化的2个主要问题，保证了程序的性能和健壮性 11.1.3 泛型的概念 泛型类似于 C++ 模板 通过泛型可以定义类型安全的数据结构，而无须使用实际的数据类型 例，通过定义泛型方法（static void SwapT(ref T lhs, ref T rhs)），可以重用数据处理算法，实现不同类型数据（例如int、double）的交换，而无需分别为int和double复制类型特定的代码（重载方法），从而显著提高性能并得到更高质量的代码 .NET Framework 2.0版类库提供一个新的命名空间 System.Collections.Generic，其中包含若干基于泛型的集合类 11.2泛型的定义 泛型定义是通过泛型参数（T）来进行定义的 在泛型类的声明中，需要声明泛型参数，然后在泛型类的成员声明中，使用该泛型参数作为通用类型；而在创建泛型类的实例时，则需要与泛型参数对应的实际类型 11.2.2 泛型类型参数 在泛型类型定义中，必须通过指定尖括号中的类型参数来声明类型。类型参数实际上并不是特定类型，而只是类型占位符。在创建泛型类型的实例时，必须指定尖括号中的类型（可以是编译器识别的任何类型） 例如： GenericListfloat list1 = new GenericListfloat(); GenericListExampleClass list2 = new GenericListExampleClass(); GenericListExampleStruct list3 = new GenericListExampleStruct(); 类型参数遵循下列命名准则 使用“T”作为描述性类型参数名的前缀，并使用描述性名称命名泛型类型参数 11.3泛型类 泛型类一般用于封装非特定数据类型的操作。例如，集合（如链接列表、哈希表、堆栈、队列、树等）的添加项/移除项等操作的执行方式大体相同，与所存储数据的类型无关 .NET Framework类库中包含若干泛型集合类 11.4泛型接口 在泛型类的设计中，通常也把泛型类共通要实现的方法、委托或事件的签名封装为泛型接口，然后在实现这些泛型接口的泛型类中实现这些方法等 .NET Framework类库定义了若干泛型接口，参见表11-2 11.5 泛型方法 泛型方法是使用类型参数声明的方法。编译器能够根据传入的方法实参推断类型形参 11.6 泛型委托和泛型事件 通过泛型类型参数，同样可以定义泛型委托。通过指定类型参数，可以引用泛型委托 在泛型类内部定义的委托，可以使用泛型类的泛型类型参数 基于泛型委托，可以定义泛型事件。此时发送方参数可以为强类型，不再需要强制转换成Object，或反向强制转换