方法重载解析如何工作(LINQ Where扩展方法)?

时间:2012-07-31 10:49:40

标签: c# .net linq overloading overload-resolution

如果我有IQueryable<T>类型的变量,我在命名空间Where中有Systm.Linq的四种扩展方法:

public static IQueryable<T> Where<T>(this IQueryable<T> source,
    Expression<Func<T, bool>> predicate);
public static IQueryable<T> Where<T>(this IQueryable<T> source,
    Expression<Func<T, int, bool>> predicate);
public static IEnumerable<T> Where<T>(this IEnumerable<T> source,
    Func<T, bool> predicate);
public static IEnumerable<T> Where<T>(this IEnumerable<T> source,
    Func<T, int, bool> predicate);

(最后两个因为IQueryable<T>继承自IEnumerable<T>。)

如果我使用ObjectQuery<T>类型的变量(在命名空间System.Data.Objects中),我有五个Where重载,即上面四个(因为ObjectQuery<T>实现{{ 1}}和IQueryable<T>以及其他接口)以及此类的实例方法:

IEnumerable<T>

如果我在使用public ObjectQuery<T> Where(string predicate, params ObjectParameter[] parameters); IQueryable<T>时遇到相同的编程错误,我会遇到非常不同的编译器错误。这是一个示例程序(VS2010 SP1中的标准C#控制台应用程序模板+ ObjectQuery<T>程序集添加到项目引用中,编译器错误在以下四个示例的注释中):

System.Data.Entity.dll

“Squiggles”在编译器中看起来也不同:

enter image description here

我理解前两个错误。但是为什么编译器显然想要在最后两个示例中使用重载号4(带有using System.Data.Objects; using System.Linq; namespace OverloadTest { public class Test { public int Id { get; set; } } class Program { static void Main(string[] args) { IQueryable<Test> queryable = null; ObjectQuery<Test> objectQuery = null; var query1 = queryable.Where(t => t.Name == "XYZ"); // no definition for "Name" in class OverloadTest.Test var query2 = queryable.Where(t => bla == blabla); // "bla", "blabla" do not exist in current context var query3 = objectQuery.Where(t => t.Name == "XYZ"); // Delegate System.Func<Overload.Test,int,bool> // does not take 1 argument var query4 = objectQuery.Where(t => bla == blabla); // Delegate System.Func<Overload.Test,int,bool> // does not take 1 argument } } } ),并且没有告诉我“类”在类Func<T, int, bool> predicate中没有定义,并且“bla”和“blabla”在目前的背景下是不存在的?

我原本以为编译器可以安全地排除第5号重载(我不传递Test作为参数)并且重载数字2和4(我没有传入一个带有<的lambda表达式em>两个参数string)但我的期望似乎不正确。

作为旁注:我在查看this question时遇到了这个问题。提问者说,问题中的第四个查询没有编译(它在上面的例子3和4中确实存在编译器错误),但是这个查询正好是他的问题的解决方案,对我来说似乎是某个东西(一个变量)或者属性名称?)在查询中写错(虽然他没有确认)但是这个编译器错误没有给出有用的指示错误。

修改

请参阅Martin Harris在下面的非常有用的评论:

在示例(t,i) => ...中,当我将鼠标悬停在波浪线上时,错误“ Delegate System.Func不接受1参数”是工具提示窗口中显示的错误。在编译器输出窗口中,实际上有四个错误:

  • 委托System.Func不带1个参数
  • “lambda expression”无法转换为“string”,因为“string”不是委托类型
  • 当前上下文中不存在名称“bla”
  • 当前上下文中不存在名称“blabla”

但是为什么编译器没有抱怨使用query4的前两个例子的第一个错误?

1 个答案:

答案 0 :(得分:4)

请阅读到最后。

实际上是因为你的代码有编译时间错误。

编译器通过查看代码来检测正确的扩展方法。在这种情况下,它应该采用Test参数并返回bool参数。由于您的linq表达式无法编译,因此无法检测到正确的扩展方法,并且编译器假定它找到的第一个扩展方法是您想要的。

顺便说一下,如果您修复了

之类的错误
var query3 = objectQuery.Where(t => t.Id == 1)

编译器将使用

public static IQueryable<T> Where<T>(
       this IQueryable<T> source,
       Expression<Func<T, bool>> predicate
);

现在你应该想知道为什么它会在Enumerable上跳过方法。这是因为ObjectQuery<T>类直接实现'IQueryable',但由于IEnumerable<T>而实现了IQueryable<T>

您可以在下面看到对象层次结构 object hierarchy