新物网

当前位置:首页 > 百科

百科

c#中的协变与逆变

时间:2023-10-26 20:49:34 雅雅
首先我们看一下msdn上关于这两个概念的说明:协变允许方法具有的派生返回类型比委托中定义的更多。逆变允许方法具有的派生参数类型比委托类型中的更少。不知道大家看到这两句话时是怎么理解的,反正我是没有理解清楚,于是放狗查了一下,最终我的理
首先我们看一下msdn上关于这两个概念的说明:协变允许方法具有的派生返回类型比委托中定义的更多。逆变允许方法具有的派生参数类型比委托类型中的更少。

不知道大家看到这两句话时是怎么理解的,反正我是没有理解清楚,于是放狗查了一下,最终我的理解是:

 这些变化是在一个大的原则下进行的,即给程序所需要的范围一个更大的范围。

也许还是不清楚,来看一下小例子吧:

01 namespace ConsoleApplication1

02 {

03 class Program

04 {

05 static void Main(string[] args)

06 {

07 #region covariance test

08 Func covarianceTest1 = () => getObject();

09 Func covarianceTest2 = () => getString();

10 #endregion

11

12 #region contravariance test

13 Action contravarianceTest1 = obj => setObject(obj);

14 Action contravarianceTest2 = str => setString(str);

15 #endregion

16 }

17

18 private static object getObject() { return null; }

19 private static void setObject(object obj) { }

20

21 private static string getString() { return null; }

22 private static void setString(string str) { }

23

24 }

25

26

27 }

以Func为例,它是协变事例:covarianceTest2所需的返回类型是一个object类的,但我给它实例化后,确是一个更精确的类型string,这是好理解的。

以Action为例,它是逆变事例:contravarianceTest1所需的参数类型是一个string类的,但我给它实例化后,确是一个范围更大的类型object。