为什么C#(4.0)不允许generics类型中的共同和逆变?

这种限制的真正原因是什么? 这只是必须完成的工作吗? 概念上难吗? 这不可能吗?

当然,人们不能在字段中使用类型参数,因为它们总是可读写的。 但这不是答案,可以吗?

这个问题的原因是我在C#4上写了一篇关于方差支持的文章,我觉得我应该解释为什么它仅限于委托和接口。 只是为了逆转举证责任。

更新:埃里克问了一个例子。

怎么样(不知道这是否有意义,但是:-))

public class Lookup where T : Animal { public T Find(string name) { Animal a = _cache.FindAnimalByName(name); return a as T; } } var findReptiles = new Lookup(); Lookup findAnimals = findReptiles; 

在一个类中拥有它的原因可能是类本身中保存的缓存。 请不要将您的不同类型的宠物命名为相同!

顺便说一下,这让我想到了C#5.0中的可选类型参数 🙂

更新2:我没有声称CLR和C#应该允许这个。 只是想了解是什么导致它没有。

首先,正如Tomas所说,CLR不支持它。

第二,这将如何运作? 假设你有

 class C { ... how are you planning on using T in here? ... } 

T只能用于输出位置。 如您所知,该类不能包含任何类型为T的字段,因为该字段可以写入。 该类不能有任何采用T的方法,因为它们是逻辑写入的。 假设您有此function – 您将如何利用它?

这对于不可变类是有用的,如果我们可以说,让一个类型为T的只读字段合法; 这样我们就可以大大减少不正确写入的可能性。 但是很难想出其他允许以类型安全方式变化的场景。

如果你有这样的场景,我很乐意看到它。 这将有朝一日在CLR中实现这一点。

更新:见

为什么C#4.0中的类没有通用方差?

关于这个问题的更多信息。

据我所知,CLR不支持此function,因此添加此function也需要在CLR端进行大量工作。 我相信在版本4.0之前CLR实际上支持接口和委托的共同和反向差异,因此这是一个相对简单的实现扩展。

(虽然支持这个类的function绝对有用!)

如果它们被允许,可以定义有用的100%类型安全(没有内部类型转换)类或结构,如果它们的构造函数接受一个或多个T或T供应商,则它们对于它们的类型T是协变的。 可以定义有用的100%类型安全的类或结构,如果它们的构造函数接受一个或多个T消费者,则它们相对于T是逆变的。 我不确定类的优于接口,除了使用“new”而不是使用静态工厂方法(最有可能来自名称类似于接口的类)的能力,但我可以当然看到使用不可变结构支持协方差的用法案例。

  • 如何在.NET中为自定义配置节启用configSource属性?
  • 将颜色淡化为白色(增加亮度)
  • 内部控件上的“跨线程操作无效”exception
  • C# – 如何将PostMessage嵌入WebBrowser中嵌入的Flash窗口?
  • 使用C#自动运行应用程序
  • 如何将.exe加载为.NET程序集?
  • 重置DataTable中的AutoIncrement
  • 如何判断用户是否使用bindingsource修改了数据?
  • .net程序中的自我更新?
  • 根据请求修改请求标头C#HttpClient PCL
  • 如何在不关闭流的情况下取消NetworkStream.ReadAsync