协变接口与具有泛型参数的方法的优势

Question

我试图为字典通过构建协变 IEnumerable

public interface ICovariantKeyValuePair<K, out V>
{
  K Key { get; }
  V Value { get; }
}

因为我只想使用一种方法 来处理具有一些常见值类型的不同类型的字典。最后，我真的很惊讶用通用方法忽略了非常简单的解决方案

public void Print<S,T>(Dictionary<S,T> dict) { ... }

现在我想知道 协变接口 的真正好处是什么，以及只有这些而没有其他方法可以做什么。

编辑我明白，如果我想将两个值保持在一起，就像上面描述的协变键值对的情况一样，这是有道理的。以下来自 Heinzi 的示例（见下文）

var kv1 = new CovariantKeyValuePair<string, Dog>("MyDog", myDog);
var kv2 = new CovariantKeyValuePair<string, Cat>("MyCat", myCat);
ICovariantKeyValuePair<string, Animal>[] myAnimals = { kv1, kv2 };

显然只适用于协变接口。但是为了达到中心点，让我们进一步简化它：我可以写

Dog d = new Dog();
Cat c = new Cat();
List<Animal> l = new List<Animal>() { d, c };

我的数据类型不需要协方差。

因此，协变接口优于 List<BaseType> 数据结构和类似方法 Foo<BaseType>(..) 的好处是“当需要将某些内部部分具有继承关系的事物保持在一起时”，例如 Key-Value-成对？

Answer 1

我认为这是一个非常有趣的问题。您基本上是在询问一个示例，其中 (1) 有一个使用协变接口的简单解决方案，但 (2) 如果您唯一的选择是使方法通用，则没有简单的解决方案。

这是一个例子：假设我想要一个键值对数组，其中键是字符串，值是动物的某个子类型。使用您的协变类型，我可以执行以下操作：

var kv1 = new CovariantKeyValuePair<string, Dog>("MyDog", myDog);
var kv2 = new CovariantKeyValuePair<string, Cat>("MyCat", myCat);

ICovariantKeyValuePair<string, Animal>[] myAnimals = { kv1, kv2 };

这是可能的，因为类型是协变的，即，因为kv1 是一个 ICovariantKeyValuePair<string, Animal>。