c# - C# 4.0 中泛型类型参数的变体是否更接近更高种类的类型？

Question

我们知道实现类仍然是不变的，尽管它们的接口(interface)是可变的。但是我想问的是，cov/contravariance 是更接近参数多态性还是它们是两个独立的概念？

Answer 1

方差与子类型相关，与种类无关。也就是说，我认为您可以使用一些子类型技巧来获得更高种类的一些好处。不过，我仍然坚持使用 C# 3，所以我没有对此进行太多试验，但我当然打算这样做。