首页 诗词 字典 板报 句子 名言 友答 励志 学校 网站地图
当前位置: 首页 > 教程频道 > 开发语言 > 编程 >

一句话明晰总结协变和逆变

2012-10-09 
一句话清晰总结协变和逆变通俗解释:变体定义:带有协变或逆变参数的泛型接口或委托。也就是说协变和逆变主要

一句话清晰总结协变和逆变

通俗解释:

变体定义:带有协变或逆变参数的泛型接口或委托。也就是说协变和逆变主要关注点在泛型接口或委托。

那什么又是协变和逆变呢?

我们先来看下面一个来自MSDN的例子:

?

协变:让一个带有协变参数的泛型接口(或委托)可以接收类型更加精细化,具体化的泛型接口(或委托)作为参数,可以看成OO中多态的一个延伸。

?

//?逆变
//?Assume?that?the?following?method?is?in?the?class:?
//?static?void?SetObject(object?o)?{?}?
Action<object>?actObject?=?SetObject;
Action<string>?actString?=?actObject;?//委托actString中以后要使用更加精细化的类型string不能再使用object啦!
string?strHello(“Hello”);?
actString(strHello);

?

大家看到了么?一个声明为Action<object>的类型被赋给了一个Action<string>,大家都知道,Action<T>接收参数,没有返回值,所以其中的object和string是其参数,这个过程其实就是参数的约束更加强了,也就是说让参数类型更加精细化。下面我们来给逆变下个定义:

逆变:让一个带有协变参数的泛型接口(或委托)可以接收粒度更粗的泛型接口或委托作为参数,这个过程实际上是参数类型更加精细化的过程。

?

一句话总结:协变让一个粗粒度接口(或委托)可以接收一个更加具体的接口(或委托)作为参数(或返回值);逆变让一个接口(或委托)的参数类型(或返回值)类型更加具体化,也就是参数类型更强,更明确。

通常,协变类型参数可用作委托的返回类型,而逆变类型参数可用作参数类型。 对于接口,协变类型参数可用作接口的方法的返回类型,而逆变类型参数可用作接口的方法的参数类型。

?

热点排行