重载、泛型类型推断和“params”关键字

Question

我刚刚注意到重载解析的一个奇怪行为。

假设我有以下方法：

public static void DoSomething<T>(IEnumerable<T> items)
{
    // Whatever

    // For debugging
    Console.WriteLine("DoSomething<T>(IEnumerable<T> items)");
}

现在，我知道这个方法通常会用少量显式参数调用，所以为了方便我添加这个重载：

public static void DoSomething<T>(params T[] items)
{
    // Whatever

    // For debugging
    Console.WriteLine("DoSomething<T>(params T[] items)");
}

现在我尝试调用这些方法：

var items = new List<string> { "foo", "bar" };
DoSomething(items);
DoSomething("foo", "bar");

但在这两种情况下，都会调用 params 的重载。我本来希望在 List<T> 的情况下调用 IEnumerable<T> 重载，因为它似乎更匹配（至少对我而言）。

这种行为正常吗？谁能解释一下？我在 MSDN 文档中找不到任何明确的信息...这里涉及的重载解决规则是什么？

Answer 1

C# 3.0 规范的第 7.4.3 节是这里的相关位。基本上参数数组被扩展了，所以你在比较：

public static void DoSomething<T>(T item)

和

public static void DoSomething<T>(IEnumerable<T> item)

第一场比赛的T被推断为List<string>，第二场比赛的T被推断为string。

现在考虑参数到参数类型的转换——第一个是List<string> 到List<string>；第二个是List<string> 到IEnumerable<string>。按照 7.4.3.4 中的规则，第一次转换优于第二次。

反直觉的位是类型推断。如果您将其排除在等式之外，它将按您的预期工作：

var items = new List<string> { "foo", "bar" };
DoSomething<string>(items);
DoSomething<string>("foo", "bar");

此时，每次调用中只有一个适用的函数成员。