C# 用泛型重载 : bug or feature?

Question

让我们举一个简单的例子:

void Foo<T>(IEnumerable<T> collection, params T[] items) 
{
    // ...
}

void Foo<C, T>(C collection, T item)
    where C : ICollection<T>
{
    // ...
}

void Main()
{
    Foo((IEnumerable<int>)new[] { 1 }, 2);
}

编译器说:

The type 'System.Collections.Generic.IEnumerable' cannot be used as type parameter 'C' in the generic type or method 'UserQuery.Foo(C, T)'. There is no implicit reference conversion from 'System.Collections.Generic.IEnumerable' to 'System.Collections.Generic.ICollection'.

如果我将 Main 更改为:

void Main()
{
    Foo<int>((IEnumerable<int>)new[] { 1 }, 2);
}

它会正常工作。为什么编译器不选择正确的重载？

Answer 1

我的猜测是编译器在使用通用约束之前会选择最佳匹配。在您的示例中，带有约束的方法更可取，因为它没有 params 最后一个参数。

编辑 - Eric Lippert 在他的回答中证实了这一点。