如何编写一个将不同类型作为参数的泛型方法？

Question

我有以下扩展方法可以将一个集合中的元素添加到另一个集合中：

public static void AddRange<T>(this ICollection<T> collection, IEnumerable<T> list)
{
    foreach (var item in list)
    {             
        collection.Add(item);
    }
}

如果 IEnumerable 列表与我要添加到的 ICollection 类型相同，则此方法可以正常工作。但是，如果我有这样的事情：

var animals = new List<Animal>();
var dogs = new List<Dog>(); // dog is a subclass of animal
animals.AddRange(dogs); // this line has a compiler error, it can't infer the type

如果 IEnumerable 的类型是 T 类型的子类（或实现接口），我如何修改我的扩展方法以使其能够执行此类操作？

Answer 1

这个方法会给你你想要的：

public static void AddRange<A,B>(
  this ICollection<A> collection, 
  IEnumerable<B> list)
    where B: A
{
    foreach (var item in list)
    {
        collection.Add(item);
    }
}

几点说明：

1. 唯一可行的方法是使用派生自 A 的 B 类型。例如，Dog 是 Animal 的子类，因此 AddRange 将起作用。这是由“where B: A”子句强制执行的。如果没有这个，ICollection.Add() 调用将失败，因为 B 的不兼容类型被传递到期望 A 的 ICollection。
2. 没有太多需要将 A 的类型限制为 Animal 类型层次结构中的任何内容；扩展方法可以在任何你有一种类型派生自另一种类型的地方使用。
3. 这并不是编译器无法推断类型的真正问题。即使您在各处显式传递了 A 和 B 的类型，您仍然会收到编译器错误。

Answer 2

你可以这样做：

public static void AddRange<T,T2>(this ICollection<T> collection, IEnumerable<T2> list) where T2: T {
foreach (var item in list)  {                     
    collection.Add(item);    
} }

Answer 3

等待C# 4.0或使用Linq扩展方法Cast：

List<Animal> animals = new List<Animal>();
List<Dog> dogs = new List<Dog>();
animals.AddRange(dogs.Cast<Animal>());

Answer 4

我会使用约束来限制类型。

    public static void AddRange<T, TK>(this ICollection<T> collection, IEnumerable<TK> list) where TK : T
    {
        foreach (var item in list)
        {
            collection.Add(item);
        }
    }

Answer 5

public static void AddRange<TA, TB>(this ICollection<TA> collection, 
                                    IEnumerable<TB> list) where TB : TA

（包含克雷格·沃克的评论）