为什么下面的泛型方法调用不需要类型？

Question

抱歉 - 不确定更好的名称，如果您能想到更好的名称，请修改。

我正在尝试了解更多关于 IEnumerable/collections/generics 的知识，并且我认为我已经取得了一些进展，直到这个例子让我明白了：

 var nums = new[] { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 10 };

 var result = FilterNums(nums, i => i % 2 != 0);

.....

public static IEnumerable<T1> FilterNums<T1>(IEnumerable<T1> numslist, Func<T1, bool> predicateDelegate)

.....

为什么调用FilterNums 有效？如果我将其更改为FilterNums<int>，它仍然可以工作，这正是我真正希望输入的内容。

那么，是如何检测 lambda 查询的 T1 并且不需要我编写它还是发生了其他事情？

Answer 1

类型推断过程有点复杂；有关详细信息，请参阅 C# 规范的第 7 章。

简而言之，它是这样工作的。

当您调用没有泛型参数列表的方法时，首先我们创建一组该名称的所有可访问方法。

接下来我们检查它们是否是通用的。如果是，那么我们尝试查看是否可以从实际参数中推断出泛型类型参数。推理过程是这样的。假设你有一个参数列表 A：

A: (nums, i => i%2 != 0)

和形式参数类型列表P：

P: (IEnumerable<T1>, Func<T1, bool>)

还有一组泛型类型参数X：

X: <T1>

类型推断的目标是从 A 的每个成员到 P 的相应成员进行推断，以便推断出关于 X 的每个成员的足够信息。

这个特殊的问题很简单。从第一个参数我们看到 nums 的类型是 int[]。我们看到 P 中的第一个形参是IEnumerable<T1>。我们知道 int[] 可以转换为IEnumerable<int>，因此 T1 可能是 int。我们记下了这一事实。

至此，我们基本上完成了。我们无法从第二个参数/参数对推断出关于 T1 的任何信息。类型推断成功，并确定 T1 是整数。所以我们假设你用<int> 作为类型参数列表来调用它。

这是一个非常简单的类型推断问题。考虑一下这个：

A: (customers, c=>c.Name)
P: (IEnumerable<T>, Func<T, R>)
X: <T, R>

这是您在执行customers.Select(c=>c.Name) 时遇到的问题。

我们做什么？从第一个参数我们推断“客户实现IEnumerable<Customer>，因此 T 可能是客户”。 在进行该推论之后，我们可以说“lambda 中的 c 因此是 Customer。因此这是一个从 Customer 到 Customer.Name 类型的 lambda。那是字符串。因此 R 是字符串”。

看看在这种情况下如何将一个推理链接到下一个推理上；我们不能简单地“并行”进行推理，因为一个推理可能取决于另一个推理的结果。这些依赖关系可以包含循环和其他奇怪的拓扑。我们如何通过依赖链取得进展的确切细节有点复杂。有关详细信息，请参阅规范。

我们还必须处理为类型参数推导出两个或多个边界的情况，以及这些边界是“上限”、“下限”还是“精确”。

如果您对这个主题感兴趣，我已经写了很多关于它的文章。见

http://blogs.msdn.com/b/ericlippert/archive/tags/type+inference/

关于类型推断各个方面的大量文章，而不仅仅是泛型方法类型推断。有关我解释方法类型推断如何在 C# 3.0 中工作的视频，请参阅：

http://wm.microsoft.com/ms/msdn/visualcsharp/eric_lippert_2006_11/EricLippert01.wmv

Answer 2

这是因为类型推断。

编译器知道您正在发送一个 int，因此它隐式地将泛型类型设置为 int。如果您查看智能感知，您会看到您的泛型类型设置为 int。