C# 编程语言的未来功能

C# 编程语言的未来功能

Prashant Sridharan
Microsoft Corporation
2003年3月
适用于：
   Microsoft® Visual C#(TM)

摘要：Microsoft Corporation 正在开发 C# 语言的下一个主要版本。本文介绍了四种主要的新功能，即泛型、迭代程序、匿名方法和局部类型。

目录
简介
泛型
迭代程序
匿名方法
局部类型
符合标准
可用性
更多信息
简介
C# 是创新性的新式编程语言，它巧妙地结合了最常用的行业语言和研究语言中的功能。在保持 C# 设计思想不变的同时，Microsoft 在 C# 语言中引入了几种潜在的新功能，提高了开发人员在语言构造方面的效率。

Microsoft C#
自 2001 年 2 月 C# 问世以来，很多开发人员已经开始使用 C# 编程语言来构建软件。而 Microsoft 自身也使用 C# 构建了几种正式的应用程序，包括 .NET Framework、MSN Web 属性和 Tablet PC SDK。由此可见，C# 是一种适用于构造高品质商业软件的语言。

C# 语言中的许多功能是基于以下四种不同设计目标而创建的：

统一的类型系统以及简化值类型和引用类型在 C# 语言中的用法。
通过 XML 注释、特性、属性、事件和委托等功能建立基于组件的设计。
借助 C# 语言的独特功能（包括安全的指针操作、溢出检查等）建立实用的开发人员控制功能。
建立诸如 foreach 和 using 语句这样的实用语言构造，提高开发人员的效率。
在 C# 语言的“Visual Studio for Yukon”版本中，Microsoft 计划通过将广泛的研究语言和行业语言中的各种功能结合在一起建立一种简洁、实用的语法。这些语言功能包括泛型、迭代程序、匿名方法和局部类型。

潜在的未来功能
实际上，C# 的未来创新功能主要基于统一的类型系统、基于组件的开发、开发人员控制功能和实用的语言构造。下面总结了 Microsoft 计划在 C# 语言的下一个主要版本中提供的四种主要的新功能。这些功能的设计尚未完成，Microsoft Corporation 欢迎广大的开发人员针对这些功能发表评论。

泛型
随着项目变得越来越复杂，程序员日益需要一种方法来更好地重复使用和自定义他们现有的基于组件的软件。为了实现在其他语言中重复使用高级代码，程序员通常要使用一种名为“泛型”的功能。C# 将包括一种安全且高效的泛型，它与 C++ 中的模板和 Java 语言中提出的泛型在语法上只是稍有差别，但在实现方式上却存在很大差别。

生成最新的泛型类
利用目前的 C#,程序员可以通过在基本对象类型的实例中存储数据来创建有限形式的真正泛型。由于在 C# 中每个对象都是从基本对象类型继承的，再加上统一 .NET 类型系统的装箱和取消装箱功能，程序员可以将引用类型和值类型存储到对象类型的变量中。但是，对于引用类型、值类型与基本对象类型之间的转换，还有一些性能缺陷。

为了说明这一点，以下代码示例创建了一个简单的 Stack 类型，其中包含两个操作“Push”和“Pop”。Stack 类将其数据存储在对象类型的数组中，Push 和 Pop 方法使用基本对象类型来接受和返回数据：

public class Stack
{
   private object[] items = new object[100];

   public void Push(object data)
   {
      ...
   }

   public object Pop()
   {
      ...
   }
}
然后，就可以将自定义类型（例如 Customer 类型）压入堆栈。但是，如果程序需要检索数据，则需要将 Pop 方法的结果（基本对象类型）显式转换成 Customer 类型。

Stack s = new Stack();
s.Push(new Customer());
Customer c = (Customer) s.Pop();
如果将一个值类型（例如一个整数）传递给 Push 方法，运行时会自动将其转换为引用类型（该过程称作装箱），然后将其存储在内部数据结构中。与此类似，如果程序要从堆栈中检索一个值类型（例如一个整数），则需要将从 Pop 方法获取的对象类型显式转换成值类型，该过程称作取消装箱：

Stack s = new Stack();
s.Push(3);
int i = (int) s.Pop();
值类型和引用类型之间的装箱和取消装箱操作非常繁重。

而且，在当前的实现中，无法限制堆栈中放置的数据类型。实际上，可以先创建堆栈，然后将 Customer 类型压入堆栈。然后，可使用同一堆栈并尝试将数据弹出，接着将其转换为其他类型，如下例所示：

Stack s = new Stack();
s.Push(new Customer());

Employee e = (Employee) s.Pop();
尽管上一个代码示例错误地使用了要实现的单个类型 Stack 类，应视为错误，但它实际上却是合法代码，对它进行编译时不会出现问题。但在运行时，该程序会由于无效转换操作而失败。

创建和使用泛型
使用 C# 中的泛型可以根据它们所用的类型创建专供编译器使用的高效数据结构。创建这些所谓的参数化类型后，其内部算法保持不变，但其内部数据的类型可以随着最终用户的设置而改变。

为了帮助开发人员节省学习该语言的时间，C# 中泛型的声明方法与 C++ 中的大致相同。程序员可以按通常的方法创建类和结构，并使用尖括号标记（< 和 >）指定类型参数。使用类时，必须用该类的用户提供的实际类型替换每个参数。

下例将创建一个 Stack 类，在此类声明后的尖括号中指定并声明一个名为 ItemType 的类型参数。泛型 Stack 类的实例将接受为其创建的类型并在本地存储该类型的数据，而不是在创建的类型与基本对象类型之间进行转换。类型参数 ItemType 充当代理，直到在实例化过程中指定了类型并将其用作内部项数组的类型（即 Push 方法的参数类型和 Pop 方法的返回类型）：

public class Stack<ItemType>
{
   private ItemType[] items;

   public void Push(ItemType data)
   {
      ...
   }

   public ItemType Pop()
   {
      ...
   }
}
当程序按照以下示例使用 Stack 类时，您可以指定泛型类使用的实际类型。本例使用实例化语句中的尖括号标记将原始的整数类型指定为参数，指示 Stack 类使用此类型：

Stack<int> stack = new Stack<int>();
stack.Push(3);
int x = stack.Pop();
执行此操作时，程序将创建 Stack 类的新实例，其中的每个 ItemType 都被提供的整数参数替换。实际上，当程序用整数参数创建 Stack 类的新实例时，在 Stack 类内部本地存储的项目数组将为整数，而不是对象。程序还消除了与将整数压入堆栈相关联的装箱问题。此外，当程序从堆栈弹出项目时，您无需将其显式转换为相应的类型，因为 Stack 类的当前特定实例会将整数本地存储在其数据结构中。

如果希望程序在 Stack 类中存储其他类型的项目，则必须创建一个 Stack 类的新实例并将新类型指定为参数。假设有一个简单的 Customer 类型，希望程序使用 Stack 对象存储该类型。要实现此操作，只需实例化 Stack 类并将 Customer 对象作为其类型参数，即可轻松重复使用程序代码：

Stack<Customer> stack = new Stack<Customer>();
stack.Push(new Customer());
Customer c = stack.Pop();
当然，如果程序创建了一个将 Customer 类型作为参数的 Stack 类，则只能在该堆栈中存储 Customer 类型。实际上，C# 中的泛型具有严格的类型，这意味着您不能在该堆栈中存储整数，如以下示例所示：

Stack<Customer> stack = new Stack<Customer>();
stack.Push(new Customer());
stack.Push(3)  // 编译时错误
Customer c = stack.Pop();      // 不需要类型转换。
泛型的优点
使用泛型，程序员只需编写、测试和部署一次代码，即可对各种不同的数据类型重复使用该代码。第一个 Stack 示例具备此功能，第二个 Stack 示例允许程序重复使用对其应用程序性能影响不大的代码。对于值类型，第一个 Stack 示例具有较大的性能问题，而第二个 Stack 示例完全消除了这种问题，因为它去除了装箱和向下的类型转换。

而且，编译时还会对泛型进行检查。当程序使用提供的类型参数实例化泛型类时，此类型参数只能是程序在类定义中指定的类型。例如，如果程序创建了一个 Customer 对象类型的 Stack，就无法将整数压入堆栈。通过强制执行这种操作，可以生成更可靠的代码。

此外，与其他严格的类型实现相比，泛型的 C# 实现降低了代码的膨胀速度。使用泛型创建具有类型的集合，可以在保持操作性能优势的同时避免创建每个类的特定变体。例如，程序可以创建一个参数化的 Stack 类，而无需创建用于存储整数的 IntegerStack、用于存储字符串的 StringStack 以及用于存储 Customer 类型的 CustomerStack。

这样可以增加代码的可读性。只需创建一个 Stack 类，程序就可以将与某个堆栈相关联的所有操作封装在一个使用方便的类中。然后，在创建 Customer 类型的 Stack 时，尽管其中存储了 Customer 类型，但显而易见，程序使用的仍然是堆栈数据结构。

多个类型参数
泛型可以使用任意多个参数类型。上面的 Stack 示例中只使用了一种类型。假设您创建了一个存储值和键的简单 Dictionary 类。在程序中可以通过声明两个参数（放在类定义的尖括号中并用逗号分隔）来定义一个泛型版本的 Dictionary 类：

public class Dictionary<KeyType, ValType>
{
   public void Add(KeyType key, ValType val)
   {
      ...
   }

   public ValType this[KeyType key]
   {
      ...
   }
}
使用该 Dictionary 类时，需要在实例化语句的尖括号中提供多个以逗号分隔的参数，并为 Add 函数和索引生成器提供正确类型的参数：

Dictionary<int, Customer> dict = new Dictionary<int, Customer>();
dict.Add(3, new Customer());
Customer c = dict.Get[3];
约束
通常情况下，程序并不仅仅局限于根据给定的类型参数存储数据，而是经常需要使用类型参数的成员来执行程序泛型中的语句。

为什么需要约束

假设在 Dictionary 类的 Add 方法中，您需要使用所提供的键的 CompareTo 方法比较项目，例如：

public class Dictionary<KeyType, ValType>
{
   public void Add(KeyType key, ValType val)
   {
      ...
      switch(key.CompareTo(x))
      {
      }
      ...
   }
}
遗憾的是，正如预期那样，类型参数 KeyType 在编译时是泛型。如果这样编写，编译器假设对类型参数为 KeyType 的 key 实例只能执行适用于基本对象类型（例如 ToString）的操作。结果，由于 CompareTo 方法未定义，编译器将显示编译错误。然而，程序可以将 key 变量转换为包含 CompareTo 方法的对象，例如 IComparable 接口。在以下示例中，程序将 KeyType 参数类型的实例 key 显式转换为程序可以编译的 IComparable 接口：

public class Dictionary<KeyType, ValType>
{
   public void Add(KeyType key, ValType val)
   {
      ...
      switch(((IComparable) key).CompareTo(x))
      {
      }
      ...
   }
}
然而，如果立即实例化 Dictionary 类而且提供的类型参数没有实现 IComparable 接口，则程序将遇到运行时错误，尤其是 InvalidCastException 异常。