泛型中的协变

协变类型在分配和使用泛型类型方面提供了很大的灵活性, 例如，利用协变类型参数，可以执行非常类似于普通的多态性的分配。 假定您有一个名为 Base的基类和一个名为Sons的派生类。 多态性使您能够将 Sons的实例分配给 Base 类型的变量。 同样，由于 IEnumerable(Of T) 接口的类型参数是协变类型参数，因此可以将IEnumerable<Sons>的实例分配给类型 IEnumerable<Base> 的变量，如下面的代码所示。

IEnumerable<Sons> d = new List<Sons>();
IEnumerable<Base> b = d;


实事上，这正是我之前一篇文章上提到的，派生类集合可以转换为基类集合，这在.net术语中叫到泛型的转协变。
例如，在一个LINQ TO SQL的复杂查询时，你的代码可能是这样

IQueryable<UserAddress> linq1 = from data in new Repository<UserAddress>().GetModel()
                                            select new UserAddress
                                           {
                                               UserID = data.UserID,
                                               ID = data.ID,
                                               Address = data.Address,
                                           };

注意，这段代码会出错，因为ＬＩＮＱ不能返回自己本身的实体，所以必须为返回它的派生类型  IQueryable<UserAddress> linq1 = from data in new Repository<UserAddress>().GetModel()                                            select new UserAddress_Ext                                             {                                                 UserID = data.UserID,                                                 ID = data.ID,                                                 Address = data.Address,                                             };

这种写法是没有问题的，呵呵，这其实就叫做泛型的协变

本文转自博客园张占岭（仓储大叔）的博客，原文链接：泛型中的协变，如需转载请自行联系原博主。