C# 4.0： .NET Framework 4 中的新 C# 功能

核心提示：C# 编程语言自 2002 年初次发布以来已经有了极大的改善，可以帮助程序员编写更清晰易懂、更容易维护的代码，C# 4.0： .NET Framework 4 中的新 C# 功能，这种改善来自于不断加入的新功能，例如泛型类型、可为空的值类型、 lambda 表达式、迭代器方法、分部类以及其他大量有用的语言结构，该版本根

C# 编程语言自 2002 年初次发布以来已经有了极大的改善，可以帮助程序员编写更清晰易懂、更容易维护的代码。这种改善来自于不断加入的新功能，例如泛型类型、可为空的值类型、 lambda 表达式、迭代器方法、分部类以及其他大量有用的语言结构。而且，这些改变还经常伴随着为 Microsoft .NET Framework 库提供相应的支持。

C# 4.0 延续了这种不断提高易用性的趋势。这款产品大大简化了许多常见任务，包括泛型类型、传统的互操作以及处理动态对象模型。本文旨在为深入调查探讨这些新功能。我将先介绍泛型方差，然后探讨传统互操作特性和动态互操作特性。

协变与逆变

协变与逆变最好通过示例来介绍，而最好的示例就在框架中。在 System.Collections.Generic 中，IEnumerable<T> 和 IEnumerator<T> 分别表示一个包含 T 的序列的对象和一个用来遍历该序列的枚举器（或迭代器）。这些接口长期以来承担了大量繁重的任务，因为它们允许实现 foreach 循环构造。在 C# 3.0 中，它们变得更加突出，因为它们在 LINQ 和 LINQ 到对象中起着重要作用：它们是表示序列的 .NET 接口。

因此，假如您有一个类层次结构，其中包含一个 Employee 类型以及从这个 Employee 类型派生而来的 Manager 类型（毕竟经理也是员工），那么您认为以下代码会产生什么效果？

IEnumerable<Manager>　ms　=　GetManagers();　
IEnumerable<Employee>　es　=　ms;

看起来好像应该能够将 Manager 序列当作 Employee 序列。但是在 C# 3.0 中，赋值操作将失败；编译器将提示您，没有相应的转换功能。毕竟，该版本根本不能理解 IEnumerable<T> 的语义。这可以是任何接口，因此对于任意接口 IFoo<T>，为什么就能说 IFoo<Manager> 基本上能替代 IFoo<Employee> 呢？