什么是隐含的泛型类型参数

Question

所以，我遇到了 Servy (https://stackoverflow.com/a/15098242/496680) 的答案，他的一些代码是这样做的：

public static int BinarySearch<TSource, TKey>(...)

对于一个扩展方法，但他这样称呼它：

arr.BinarySearch(...)

我四处询问，有人提到它是一个隐含的泛型类型参数。 我用谷歌搜索了它们，但没有找到关于它们的信息。 我了解泛型的工作原理，但我不明白如何/何时使用它们。

1. 为什么servy在他的扩展方法中使用它们？
2. 我可以搜索这些更正式的名称吗？

Answer 1

好吧，您忽略了使这一切正常工作的最重要部分。类型参数可以通过传入的实际对象参数来推断。

例如：

static class Extensions {
  internal static IEnumerable<U> Test<T, U>(
                                   this IEnumerable<T> items,
                                   Func<T, U> converter) {
    foreach (T item in items) {
      yield return converter(item);
    }
  }
}

此扩展方法适用于任何 IEnumerable 类，并将根据您提供的转换器将枚举中的每个项目转换为另一种类型。这是标准泛型。

现在，有很多方法可以调用这个方法：

IEnumerable<int> values = Enumerable.Range<int>(1, 10);
Func<int, string> converter = i => i.ToString("0.00");

// Variation 1, explicit calling
IEnumerable<string> results1 = Extensions.Test<int, string>(values, converter);

// Variation 2, explicit calling with type inference
IEnumerable<string> results2 = Extensions.Test(values, converter);

// Variation 3, extension method calling, still providing explicit types
IEnumerable<string> results3 = values.Test<int, string>(converter);

// Variation 4, extension method with type inference
IEnumerable<string> results4 = values.Test(converter);

所有四个变体都调用相同的方法并返回相同的结果。类型推断通过查看传递的参数并根据所提供的内容自动推断其类型来工作。在上面的示例中，它能够确定 T 类型是 int 类型，因为我们将 IEnumerable<int> 传递到 IEnumerable<T> 的参数中。它还能够推断出U 类型是string 类型，因为我们传入了一个匹配T 的初始类型与int 的Func 并返回一个字符串。所以Func<T, U>被我们的转换器函数Func<int, string>填充。

从上面的推论来看，这是一个标准的泛型方法。类型推断和扩展方法只不过是方便/语法糖。事实上，如果您反编译输出，您可以看到扩展方法被静态调用替换，并且通常使用显式填写的类型参数来定义。 （这取决于您的反编译器和设置的选项）。

Answer 2

1. 在这种情况下，他使用generic method，因为它允许他的方法使用Collection<T> 中包含的任何类型。泛型方法使其非常灵活，可用于任何类型。他在调用方法时使用了类型推断，因为它简化了调用站点的代码。

2. 自动处理称为类型推断，在 C# 语言规范第 7.5.2 节：类型推断中有详细介绍。如果想详细了解，推荐下载C# language specification。

Answer 3

我经常听到的术语是“类型推断”。