背景知识：协变和反变

很多人可能不不能很好地理解这些来自于物理和数学的名词。我们无需去了解他们的数学定义，但是至少应该能分清协变和反变。实际上这个词来源于类型和类型之间的绑定。我们从数组开始理解。数组其实就是一种和具体类型之间发生绑定的类型。数组类型Int32[]就对应于Int32这个原本的类型。任何类型T都有其对应的数组类型T[]。那么我们的问题就来了，如果两个类型T和U之间存在一种安全的隐式转换，那么对应的数组类型T[]和U[]之间是否也存在这种转换呢？这就牵扯到了将原本类型上存在的类型转换映射到他们的数组类型上的能力，这种能力就称为“可变性（Variance）”。在.NET世界中，唯一允许可变性的类型转换就是由继承关系带来的“子类引用->父类引用”转换。举个例子，就是String类型继承自Object类型，所以任何String的引用都可以安全地转换为Object引用。我们发现String[]数组类型的引用也继承了这种转换能力，它可以转换成Object[]数组类型的引用，数组这种与原始类型转换方向相同的可变性就称作协变（covariant）。

由于数组不支持反变性，我们无法用数组的例子来解释反变性，所以我们现在就来看看泛型接口和泛型委托的可变性。假设有这样两个类型：TSub是TParent的子类，显然TSub型引用是可以安全转换为TParent型引用的。如果一个泛型接口IFoo<T>，IFoo<TSub>可以转换为IFoo<TParent>的话，我们称这个过程为协变，而且说这个泛型接口支持对T的协变。而如果一个泛型接口IBar<T>，IBar<TParent>可以转换为T<TSub>的话，我们称这个过程为反变（contravariant），而且说这个接口支持对T的反变。因此很好理解，如果一个可变性和子类到父类转换的方向一样，就称作协变；而如果和子类到父类的转换方向相反，就叫反变性。你记住了吗？

.NET 4.0引入的泛型协变、反变性

刚才我们讲解概念的时候已经用了泛型接口的协变和反变，但在.NET 4.0之前，无论C#还是VB里都不支持泛型的这种可变性。不过它们都支持委托参数类型的协变和反变。由于委托参数类型的可变性理解起来抽象度较高，所以我们这里不准备讨论。已经完全能够理解这些概念的读者自己想必能够自己去理解委托参数类型的可变性。在.NET 4.0之前为什么不允许IFoo<T>进行协变或反变呢？因为对接口来讲，T这个类型参数既可以用于方法参数，也可以用于方法返回值。设想这样的接口

如果我们允许协变，从IFoo<TSub>到IFoo<TParent>转换，那么IFoo.Method1(TSub)就会变成IFoo.Method1(TParent)。我们都知道TParent是不能安全转换成TSub的，所以Method1这个方法就会变得不安全。同样，如果我们允许反变IFoo<TParent>到IFoo<TSub>，则TParent IFoo.Method2()方法就会变成TSub IFoo.Method2()，原本返回的TParent引用未必能够转换成TSub的引用，Method2的调用将是不安全的。有此可见，在没有额外机制的限制下，接口进行协变或反变都是类型不安全的。.NET 4.0改进了什么呢？它允许在类型参数的声明时增加一个额外的描述，以确定这个类型参数的使用范围。我们看到，如果一个类型参数仅仅能用于函数的返回值，那么这个类型参数就对协变相容。而相反，一个类型参数如果仅能用于方法参数，那么这个类型参数就对反变相容。如下所示：

可以看到C#4和VB10都提供了大同小异的语法，用Out来描述仅能作为返回值的类型参数，用In来描述仅能作为方法参数的类型参数。一个接口可以带多个类型参数，这些参数可以既有In也有Out，因此我们不能简单地说一个接口支持协变还是反变，只能说一个接口对某个具体的类型参数支持协变或反变。比如若有IBar<in T1, out T2>这样的接口，则它对T1支持反变而对T2支持协变。举个例子来说，IBar<object, string>能够转换成IBar<string, object>，这里既有协变又有反变。

在.NET Framework中，许多接口都仅仅将类型参数用于参数或返回值。为了使用方便，在.NET Framework 4.0里这些接口将重新声明为允许协变或反变的版本。例如IComparable<T>就可以重新声明成IComparable<in T>，而IEnumerable<T>则可以重新声明为IEnumerable<out T>。不过某些接口IList<T>是不能声明为in或out的，因此也就无法支持协变或反变。

下面提起几个泛型协变和反变容易忽略的注意事项：

1.       仅有泛型接口和泛型委托支持对类型参数的可变性，泛型类或泛型方法是不支持的。

2.       值类型不参与协变或反变，IFoo<int>永远无法变成IFoo<object>，不管有无声明out。因为.NET泛型，每个值类型会生成专属的封闭构造类型，与引用类型版本不兼容。

3.       声明属性时要注意，可读写的属性会将类型同时用于参数和返回值。因此只有只读属性才允许使用out类型参数，只写属性能够使用in参数。

协变和反变的相互作用

这是一个相当有趣的话题，我们先来看一个例子：

你能看出上述代码有什么问题吗？我声明了in T，然后将他用于方法的参数了，一切正常。但出乎你意料的是，这段代码是无法编译通过的！反而是这样的代码通过了编译：

什么？明明是out参数，我们却要将其用于方法的参数才合法？初看起来的确会有一些惊奇。我们需要费一些周折来理解这个问题。现在我们考虑IBar<string>，它应该能够协变成IBar<object>，因为string是object的子类。因此IBar.Test(IFoo<string>)也就协变成了IBar.Test(IFoo<object>)。当我们调用这个协变后方法时，将会传入一个IFoo<object>作为参数。想一想，这个方法是从IBar.Test(IFoo<string>)协变来的，所以参数IFoo<object>必须能够变成IFoo<string>才能满足原函数的需要。这里对IFoo<object>的要求是它能够反变成IFoo<string>！而不是协变。也就是说，如果一个接口需要对T协变，那么这个接口所有方法的参数类型必须支持对T的反变。同理我们也可以看出，如果接口要支持对T反变，那么接口中方法的参数类型都必须支持对T协变才行。这就是方法参数的协变-反变互换原则。所以，我们并不能简单地说out参数只能用于返回值，它确实只能直接用于声明返回值类型，但是只要一个支持反变的类型协助，out类型参数就也可以用于参数类型！换句话说，in参数除了直接声明方法参数之外，也仅能借助支持协变的类型才能用于方法参数，仅支持对T反变的类型作为方法参数也是不允许的。要想深刻理解这一概念，第一次看可能会有点绕，建议有条件的情况下多进行一些实验。

刚才提到了方法参数上协变和反变的相互影响。那么方法的返回值会不会有同样的问题呢？我们看如下代码：

我们看到和刚刚正好相反，如果一个接口需要对T进行协变或反变，那么这个接口所有方法的返回值类型必须支持对T同样方向的协变或反变。这就是方法返回值的协变-反变一致原则。也就是说，即使in参数也可以用于方法的返回值类型，只要借助一个可以反变的类型作为桥梁即可。如果对这个过程还不是特别清楚，建议也是写一些代码来进行实验。至此我们发现协变和反变有许多有趣的特性，以至于在代码里in和out都不像他们字面意思那么好理解。当你看到in参数出现在返回值类型，out参数出现在参数类型时，千万别晕倒，用本文的知识即可破解其中奥妙。

总结

经过本文的讲解，大家应该已经初步了解的协变和反变的含义，能够分清协变、反变的过程。我们还讨论了.NET 4.0支持泛型接口、委托的协变和反变的新功能和新语法。最后我们还套了论的协变、反变与函数参数、返回值的相互作用原理，以及由此产生的奇妙写法。我希望大家看了我的文章后，能够将这些知识用于泛型程序设计当中，正确运用.NET 4.0的新增功能。祝大家使用愉快！

1.       隐式续行符

用过VB的人都知道VB的语句是写成一行一行的，无需分号隔离。一般情况下语句只能写成一行，不能换行。而从VB5.0开始，如果觉得语句写成一行太长，可以加入续行符（line continuation）来换行。比如说：

我们可以看到这段代码中多处出现了续行符（就是一个空格加一个下划线）。无论是Attribute应用语法，还是表达式、Linq表达式或函数签名，都必须用续行符来换行。

首先我们说换行并非必须，而仅仅是为了美观。像Linq这样的语法出现之后，换行书写就成了很多人的迫切需要。因此VB10改进了语法，引入了隐式换行符的概念。当VB能够判断一行语法未完的上下文，就会自动将紧接的一行视为续行，而无需显示加入续行符。这样一来在常见的场合，你就可以任意换行，充分发扬Basic语言的自由风格了：

这样一来清爽多了。不过隐式续行符和显式续行符一样，有个小小的缺陷，就是不能在后面插入注释。据说这是VB IDE团队过分依赖于此特性，以至于超多历史代码无法一一改变造成的……

2.       多行Lambda表达式和方法型Lambda表达式

VB2008为了支持Linq已经引入了Lambda表达式的概念。但VB2008的Lambda表达式有局限性，只能是函数形态（必须有返回值），同时最多只能含有一个表达式，所以无法加入多行语句。虽然函数式编程仅支持一行语句也可编写，但若能支持多行语句就能扩大与VB传统语法的结合能力。比如说可以用在PLinq等场合。语法非常简单，就如同是将Sub和Function写在了方法体内部一样：

多行Lambda和语句型Lambda都可以捕获局部变量，完成函数式的诸多算法。他们同样也基于匿名委托工作。有了此工具，就可以更有效地在VB中进行函数式风格的编程了。

3.       数组、集合和字典的初始化语句。

这个新特性是VB9日程过于紧迫而被砍掉的特性，其实和C#的类似功能是一样的。首先，VB10引入了一个纯粹的数组字面量。无需任何修饰，下列语法就表示一个强类型数组：

编译器会自动推测它是Integer类型的数组。这个表达式不仅仅可以用于赋值，还可以直接出现在需要数组的上下文中。这是个很好的特性，基于一些Linq操作，VB也可以像函数式语言操作“表”一样，在数组上进行一些眼花缭乱的算法了。同时，List(Of T)和Dictionary(Of TKey, TValue)类型也可以用类似的表达式初始化。暂定关键字为From：

其实我个人感觉字典的初始化语法应该像JSON语法那样才好。。。

4.       泛型接口和泛型委托的协变、反变性

我们都知道.NET泛型是不允许任何形式的协变或反变的。也就是说Foo(Of T)是不可能转成Foo(Of U)的，不管T和U之间有什么样的关系。用过Java泛型的人可能会对此表示疑问。但其实仔细一想不难发现，泛型参数T在这个类型中如何被使用我们是不能加以约束的。因此T既可能出现在成员函数的参数上，也可能出现在返回值上。因此允许协变必然会导致某种类型不安全的现象发生。现在CLR增加了一种新的描述泛型类型参数的方法，可以限定类型参数只能用于方法的参数或返回值。这样就使得安全的协变成为可能。VB10为此提供了两种语法（仅能用于声明泛型接口和泛型委托，不能用于泛型类或泛型方法）：

其中被In修饰的泛型类型参数仅能在接口或委托中用于函数的参数类型，而被Out修饰的泛型类型参数则只能用于返回值类型。

加上这样的修饰之后，该接口就允许某些条件下的协变或反变了。首先，IFoo(Of In T)将可以反变成IFoo(Of In U)，当且仅当U继承自T。比方说IComparable(Of Object)将能够反变成IComparable(Of String)。因为IComparable(Of In T)拥有In的修饰。接下来IBar(Of Out T)也将可以协变成IBar(Of Out U)，当且仅当T继承自U。比如IEnumerable(Of String)将能够协变成IEnumerable(Of Object)。注意达成协变和反变的条件仅仅是继承关系，而且必须都是引用类型。值类型泛型和引用类型泛型因为有不同的JIT已构建类型（Constructed Type），所以是不能运行时协变的。

综上所述，VB10目前放出来的主要改进就是一些语法方面的完善工作。VB从很久以前就已经为动态大潮做好了准备，C#4的大部分新特性（例如dynamic，可选参数，命名参数）全部都是10年前VB就已经拥有的。现在VB将传统的动态能力与新的DLR结合在一起，加上XML语法的卓越威力，必将成为.NET 4时代重要的动态语言。后续新特性，待官方发布后将继续研究和报道。