Generic Covariance＆amp; Contra-variance在C＃4.0中实现？
https://stackoverflow.com/questions/245607
-
05-07-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian题
我没有参加PDC 2008，但我听到一些消息称C＃4.0被宣布支持Generic协方差和反差异。也就是说， List＆lt; string＆gt; 可以分配给 List＆lt; object＆gt; 。怎么会这样？
在Jon Skeet的书 C＃in Depth 中，解释了为什么C＃泛型不支持协方差和反方差。它主要用于编写安全代码。现在，C＃4.0改为支持它们。它会带来混乱吗？
有人知道有关C＃4.0的详细信息可以给出一些解释吗？
解决方案
只有安全方式支持差异 - 实际上，使用CLR已有的功能。因此，我在试图使用 List＆lt; Banana＆gt; 作为 List＆lt; Fruit＆gt; （或其他任何东西）的书中提供的示例仍然不起作用 - 但其他一些场景将会。
首先，它只支持接口和代理。
其次，它要求接口/委托的作者将类型参数装饰为中的（用于逆变）或 out （用于协方差）。最明显的例子是 IEnumerable＆lt; T＆gt; ，它只允许你取值“out”。它 - 它不会让你添加新的。这将成为 IEnumerable＆lt; out T＆gt; 。这根本不会损害类型安全，但允许您从声明为返回 IEnumerable＆lt; object＆gt; 的方法返回 IEnumerable＆lt; string＆gt; 。
使用接口更难以给出具体的示例，但是使用委托很容易。考虑 Action＆lt; T＆gt; - 它只代表一个采用 T 参数的方法。很高兴能够无缝转换使用 Action＆lt; object＆gt; 作为 Action＆lt; string＆gt; - 任何采用对象的方法相反，当它以 string 呈现时，参数会很好。当然，C＃2在某种程度上已经具有代表的协方差和逆变，但是通过从一个委托类型到另一个委托类型的实际转换（创建新实例） - 参见P141-144的示例。 C＃4将使这更通用，并且（我相信）将避免为转换创建新实例。 （相反，它将是一个参考转换。）
希望这有点清除 - 如果没有意义，请告诉我！
其他提示
并不是说Jon还没有介绍它，但这里有一些来自Eric Lippert的博客和视频的链接。他用一些例子做了很好的解释。
https://blogs.msdn.microsoft.com/ericlippert/2007/10/16/covariance-and-contravariance-in-c-part-one/
视频：
https://www.youtube.com/watch?v=3MQDrKbzvqU
