协变类型在分配和使用泛型类型方面提供了很大的灵活性, 例如,利用协变类型参数,可以执行非常类似于普通的多态性的分配。 假定您有一个名为 Base的基类和一个名为Sons的派生类。 多态性使您能够将 Sons的实例分配给 Base 类型的变量。 同样,由于 接口的类型参数是协变类型参数,因此可以将 IEnumerable<Sons>的实例分配给类型 IEnumerable<Base> 的变量,如下面的代码所示。
IEnumerabled = new List (); IEnumerable 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, };注意,这段代码会出错,因为LINQ不能返回自己本身的实体,所以必须为返回它的派生类型 IQueryablelinq1 = from data in new Repository ().GetModel() select new UserAddress_Ext { UserID = data.UserID, ID = data.ID, Address = data.Address, }; 这种写法是没有问题的,呵呵,这其实就叫做泛型的协变