重载、泛型类型推断和“参数”；关键词

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 的情况下调用 IEnumerable 重载，因为它似乎是更好的匹配（至少对我来说）。

这种行为正常吗？有人能解释一下吗？我在 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 和 T第二个匹配的 code> 被推断为 string。

现在考虑参数到参数类型的转换 - 第一个转换是 List 到 List；第二个是 List 到 IEnumerable。根据 7.4.3.4 中的规则，第一次转换优于第二次转换。

违反直觉的一点是类型推断。如果您将其从等式中剔除，它将按您期望的方式工作：

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

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