第10讲 类型参数化——泛型.pptVIP

国防科技大学计算机学院 第10章 类型参数化——泛型 泛型（Generic）是CLR 2.0相对于CLR 1.0新增的一个特性。在此前的CLR 1.0中，如果要创建一个灵活的类或方法，并且该类或方法需要在代码编译后才能确定类型，那么就必须以Object类为基础。但是Object类在编译期间是无法保证类型安全的，这是因为任何类型都可以转换为Object类。然而Object类转换为其他类型都将使用强制类型转换的方法，这就容易造成类型转换错误，且将值类型转换为Object类会为造成性能损失。 针对上述问题，CLR 2.0提供了泛型。有了泛型，就不需要使用Object类了。泛型类可以根据需要，使用特定类型替换泛型类型，从而保证了类型安全性。当某个类型不支持泛型类时，编译器就会生成错误代码。 章节内容 10.1 泛型概述 10.2 泛型类 10.3 泛型方法 10.4 泛型类的特性 10.5 小结 10.1.1 泛型的概念 泛型是对CLR类型系统的一种扩展，用于定义某些细节未指定的类型，通过参数化类型来实现在同一段代码上操作多种数据类型。 10.1.2 泛型的优点 1．性能 2．类型安全性 3．二进制代码的重用 4．代码的扩展 10.1.3 泛型的参数命名准则 务必使用具有描述性的名称为泛型类型参数命名，除非单个字母的名称即可表示其含义，而描述性名称不会包含更多含义。 public interface ISessionChannelTSession { /*...*/ } public delegate TOutput ConverterTInput, TOutput(TInput from); public class ListT { /*...*/ } 可以考虑以T作为具有单个字母类型参数的类型的类型参数名，例如下列代码。 public int IComparerT() { return 0; } public delegate bool PredicateT(T item);//定义了一个泛型委托 public struct NullableT where T : struct { /*...*/ }//使用泛型约束，参见10.4.2节 通常将“T”作为描述性类型参数名的前缀，代码如下。 public interface ISessionChannelTSession { TSession Session { get; } } 10.2.1 泛型类的定义与实例化 定义泛型类的语法形式如下： 访问修饰符] class类名类型参数列表 { 类体 } 其中，尖括号中是类型参数列表，类型参数列表可以由多个类型参数构成，多个类型参数之间用逗号隔开。类型只是占位符，一般使用大写的“T”、U”、“V”等作为类型参数。 例如： class NodeT { private T data; public NodeT next; //省略其他代码 } 10.2.1 泛型类的定义与实例化 在实例化泛型类时，需要使用具体的类型（如int、double、string或者一个自定义类等）来代替类型参数，这样就可以在实例化泛型类时指定不同类型，生成具有不同类型的实例。 泛型类的实例化语法形式如下： 类名类型参数列表 实例名 = new 类名类型参数列表([构造函数的实参]); 对于上面定义的泛型类Node，实例化时的代码如下。 class program { public static void Main() { Nodeint MyNode = new Nodeint(); //省略其他代码 } } 10.2.2 常用的泛型集合类 10.3 泛型方法 泛型方法是使用类型参数声明的方法。定义泛型方法的语法形式如下。 10.3 泛型方法 下列代码演示一种使用int作为类型参数的方法调用方式。 10.4.1 默认关键字 10.4.1 默认关键字 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.2 类型参数约束 10.4.3 继承 10.4.4 静态成员 10.5 小结 10.5 小结 SortedListstring,stringopenWith= new SortedLststring,string(); openWith.Add(txt, notepad.exe); openWith.T