C# 2.0新特性详解：泛型、匿名方法与更多

"C#语言规范2.0.doc" 在C# 2.0版本中，引入了一系列语言扩展，显著增强了编程的灵活性和效率。这些扩展包括泛型、匿名方法、迭代器、分部类型和可空类型。接下来，我们将详细讨论这些特性。 19.1 泛型 泛型是C# 2.0的一个关键特性，它允许开发者创建类型安全的数据结构，无需在运行时进行类型转换。泛型提高了代码的复用性和性能，因为它们可以防止装箱和拆箱操作，从而减少不必要的内存分配。 19.1.1 为什么要使用泛型？ - 类型安全：确保数据操作只针对预期的类型，避免了运行时错误。 - 高效：避免装箱和拆箱，提高程序性能。 - 代码重用：泛型类和方法可以在多种数据类型上重复使用。 19.1.2 创建和使用泛型 通过在类、接口、方法等声明中使用类型参数（例如`T`）来创建泛型。类型参数在实例化时替换为具体的类型。 19.1.3 泛型类型实例化 实例化泛型类或接口时，需要提供实际类型作为类型参数，如`List<int>`或`Dictionary<string, int>`。 19.1.4 约束 约束指定类型参数必须满足的条件，如继承自特定基类、实现特定接口或具有特定方法签名。 19.1.5 泛型方法 除了泛型类型，还可以定义泛型方法，这些方法在其签名中包含类型参数，如`void Swap<T>(ref T a, ref T b)`。 19.2 匿名方法 匿名方法允许在不定义独立方法的情况下提供事件处理程序或其他回调功能。这简化了代码，尤其是在需要短小的代码块时。 19.2.1 方法组转换 匿名方法可以转换为委托类型，使得它们可以与事件处理和其他需要方法引用的场合兼容。 19.3 迭代器 迭代器允许自定义类型的行为，使其可以像集合一样被遍历。`yield return`语句用于在迭代过程中生成值。 19.4 分部类型 分部类型允许将一个类型定义分散到多个源文件中，这对于大型类或由代码生成工具生成的类特别有用。 19.5 可空类型 可空类型扩展了值类型，使得如`int`或`double`这样的非空类型可以接受`null`值。 20.x章节进一步深入了泛型的细节，涵盖了以下主题： - 泛型类声明，包括类型形参、实例类型、基规范、成员、静态字段和构造函数、访问受保护成员、重载、形参数组方法和类型形参、重写、运算符、嵌套类型以及应用程序入口点。 - 泛型结构、接口和委托的声明，以及它们的实现和特性。 - 构造类型的定义，包括类型实参、开放和封闭类型、基类和接口、成员的可访问性、转换、using别名指令、属性、与数组和IList接口的交互。 - 泛型方法的详细规则，如签名、虚方法、调用、类型实参推断、语法多义性、通过委托使用以及不能是泛型的成员。 - 约束的规则，包括约束的满足、类型形参上的成员查找、类型形参和装箱、涉及类型形参的转换。 这些扩展极大地丰富了C#的功能，提升了代码质量，并使C#成为更强大的面向对象和泛型编程语言。