对于更高类型的类型，C＃4.0中泛型类型参数的方差是否更接近？

Question

我们知道实现类仍然是不变的，尽管它们的接口是变体的。但是，我在询问，cov / contravariance更接近参数多态还是这两个独立的概念？

Answer 1

方差与子类型有关，而不是与种类有关。也就是说，我认为您可以使用一些子类型技巧来获得更高类型的一些好处。我仍然坚持使用C＃3，所以我没有尝试过这个，但我当然打算这样做。