c与语言中逆变型变量的命名,详解C#的协变和逆变

一、使用协变(Covariance)和逆变(Contravariance )能够实现数组之间、委托实例和方法之间、泛型委托实例之间、泛型接口的变量和泛型类型的对象之间、泛型接口的变量之间的隐式转换；使用协变将允许使用比原指定类型派生程度更大(即更具体的)的类型，使用逆变将允许使用比原指定类型派生程度更小(即更不具体的)的类型；

1.协变和逆变都只支持引用类型，不支持值类型；

2.如果泛型接口或泛型委托的类型参数被声明为协变或逆变，则该泛型接口或泛型委托被称为变体(Variant)；

二、数组只支持协变，即支持派生程度更大的类型的数组隐式转换为派生程度更小的类型的数组：

object[] myArray = new string[];

IComparable[] myOtherArray = new string[];

1.此操作不是类型安全的，给上述数组添加原数组不兼容的对象时会抛出异常ArrayTypeMismatchException：

//myArray[0] = 10; //此处10会被装箱为object类型，而object类型的对象不能隐式转换为string类型

2.由于值类型不支持协变和逆变，因此下面的转换是错误的：

//object[] myArray = new int[5];

//IComparable[] myOtherArray = new int[5];

三、委托支持协变和逆变，为匹配委托类型和方法签名提供更大的灵活性，不仅可以将签名完全匹配的方法分配给委托实例，还可以通过协变将返回值类型与委托类型的返回值类型相比派生程度更大的方法分配给委托实例；通过逆变将参数类型与委托类型的参数类型相比派生程度更小的方法分配给委托实例：

public class MyBaseClass { }

public class MyClass : MyBaseClass { }

public class MyDerivedClass : MyClass { }

public delegate MyClass MyDelegate(MyClass obj);

public delegate T MyDelegate(T obj);

//对于给定的方法

public staitc MyDerivedClass MyFunc(MyBaseClass obj)

{

return new MyDerivedClass();

}

//使用时：

MyDelegate myDelegate = MyFunc; //同时使用了协变和逆变

MyDelegate myDelegate = MyFunc;

四、在定义泛型委托时，可以通过将类型参数声明为逆变量或协变量来定义变体委托(Variant Delegate)，从而使具有协变和逆变转换关系的不用类型的泛型委托实例之间进行隐式转换，使用关键字out修饰返回值的类型参数以支持协变，使用关键字in修饰参数的类型参数以支持逆变：

public delegate U MyDelegate(T obj);

//使用时：

MyDelegate myDelegate = MyFunc;

MyDelegate myOtherDelegate = MyFunc;

//隐式转换：

myDelegate = myOtherDelegate;

1.变体委托不支持合并，即Delegate.Combine方法需要委托的类型完全相同才能合并，不支持变体委托的转换；在运行时合并不同类型的变体委托会抛出异常System.ArgumentException；

五、在定义泛型接口时，可以通过将类型参数声明为逆变量或协变量来定义变体接口(Variant Interface)，协变允许方法的返回值类型比接口定义中返回值类型参数的派生程度更大，逆变允许方法的参数类型比接口定义中参数类型参数的派生程度更小；使用关键字out修饰返回值的类型参数以支持协变，使用关键字in修饰参数的类型参数以支持逆变：

public interface IMyInterface

{

U MyFunc();

void MyFoo(T obj);

}

public class MyClass : IMyInterface

{

public void MyFoo(T obj)

{

//do…

}

}

//使用时：

IMyInterface myObj = new MyClass();

IMyInterface myObj1 = new MyClass();

myObj = myObj1;

1.实现变体接口的类型仍然是不可变量；

如果您觉得阅读本文对您有帮助，请点一下“推荐”按钮，您的认可是我写作的最大动力！

本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。

.Net中委托的协变和逆变详解

关于协变和逆变要从面向对象继承说起.继承关系是指子类和父类之间的关系:子类从父类继承所以子类的实例也就是父类的实例.比如说Animal是父类,Dog是从Animal继承的子类:如果一个对象的类型是Do ...

C#4.0泛型的协变，逆变深入剖析

C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...

C#协变和逆变

我们知道在C#中,是可以将派生类的实例赋值给基类对象的.

C# 泛型的协变和逆变

1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量.协变和逆变是两个相互对立的概念: 如 ...

再谈对协变和逆变的理解(Updated)

去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和 ...

【转】c# 协变和逆变

本文转自:http://www.cnblogs.com/rr163/p/4047404.html C#的协变和逆变 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关 ...

.NET 4.0中的泛型的协变和逆变

转自:http://www.cnblogs.com/jingzhongliumei/archive/2012/07/02/2573149.html 先做点准备工作,定义两个类:Animal类和其子类D ...

深入理解 C# 协变和逆变

msdn 解释如下: “协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型. “逆变”则是指能够使用派生程度更小的类型. 解释的很正确,大致就是这样,不过不够直白. 直白的理解: “协变” ...

随机推荐

NFC OMA 访问

正常的OMA访问: 但基本上IC原厂都会提供NFC swp-sim这一块的访问,但关于NFC内部eSe的访问一般NFC服务商又会整一套出来,导致有两套独立的SmartcardSevice需要运行,但他 ...

Android中dip、dp、sp、pt和px的区别

1.概述 过去,程序员通常以像素为单位设计计算机用户界面.例如:图片大小为80×32像素.这样处理的问题在于,如果在一个每英寸点数(dpi)更高的新显示器上运行该程序,则用户界面会显得很小.在有些情况 ...

GBDT(MART) 迭代决策树简介

以下对GBDT的介绍深入浅出,非常易懂 转自:http://blog.csdn.net/w28971023/article/details/8240756 GBDT(Gradient Boosting ...

sqlserver临时表操作

创建临时表        方法一:      create table #临时表名(字段1 约束条件,                       字段2 约束条件,                  ...

Java语言基础(九)

Java语言基础(九) 一.自增运算(++) 自减运算(--) i++ 就是将i+1再赋给 i i-- 是将i-1再赋给 i 对变量i,j来说,i++ 或++i 这里没什么区别,都是将i的值加1后,再 ...

javascript生成新标签的三种方法

javascript生成新标签的三种方法:http://www.cnblogs.com/online-link/p/6062423.html

C++实现文件内字符数、单词数、行数的统计

先给出github上的代码链接以及项目需求 1. 项目简介 这个项目的需求可以概括为:对程序设计语言源文件统计字符数.单词数.行数,统计结果以指定格式输出到默认文件中,以及其他扩展功能,并能够快速地处 ...

Linux 下建立 Git 与 GitHub 的连接

Git 是一款开源的分布式版本控制系统,而 GitHub 是依托 Git 的代码托管平台. GitHub 利用 Git 极其强大的克隆和分支功能,使得社区成员能够自由地参与到开源项目中去. 不过,在开 ...

数据库的 ACID 属性

ACID(Atomicity 原子性.Consistency 一致性.Isolation 隔离性.Durability 持久性)是一系列属性. 这些属性保证了数据库事物的可靠.在数据库中,对数据的一系 ...