重寫表達與自定義的方法

Question

更換List.Contains在試圖拓寬了我的技能，我想學習如何改寫表達式。

目標：給出一個表達式，我想用自己的靜態方法InList來調用List.Contains()的實例。例如，以下兩個表達式應該是等價的：

Expression<Func<Foo,bool>> expr1 = myRewriter.Rewrite(foo => fooList.Contains(foo)); 
Expression<Func<Foo,bool>> expr2 = foo => InList(foo, fooList); 

我嘗試：我已經學會了使用custom ExpressionVisitor是創建基於現有表達一種新的表達的最好方式。但是，我一直無法構建實際調用我的方法的新的MethodCallExpression。以下是我已經試過：

public class InListRewriter<T> : ExpressionVisitor 
{ 
    public static bool InList(T target, List<T> source) 
    { 
     // this is my target method 
     return true; 
    } 

    public Expression<Func<T, bool>> Rewrite(Expression<Func<T, bool>> expression) 
    { 
     return Visit(expression) as Expression<Func<T,bool>>; 
    } 

    protected override Expression VisitMethodCall(MethodCallExpression node) 
    { 
     // Only rewrite List.Contains() 
     if (!node.Method.Name.Equals("Contains", StringComparison.InvariantCultureIgnoreCase)) 
      return base.VisitMethodCall(node); 

     // Extract parameters from original expression 
     var sourceList = node.Object;     // The list being searched 
     var target = node.Method.GetParameters()[0]; // The thing being searched for 

     // Create new expression 
     var type = typeof (InListRewriter<T>); 
     var methodName = "InList"; 
     var typeArguments = new Type[] { }; 
     var arguments = new[] { Expression.Parameter(target.ParameterType, target.Name), sourceList }; 
     var newExpression = Expression.Call(type, methodName, typeArguments, arguments); 

     return newExpression; 
    } 
} 

然而，當我通過new InListRewriter<Foo>().Rewrite(foo => fooList.Contains(foo))調用這個，我得到一個InvalidOperationException期間Expression.Call：

的類型沒有方法「InList中「MyNamespace.InListRewriter`1 [ MyNamespace.Foo]'與提供的參數兼容。

我甚至嘗試做一個新的InList中有一個非常通用的簽名：

public static bool InList(params object[] things) {...} 

但還是得到了同樣的錯誤。我究竟做錯了什麼？我甚至想做甚麼？

Answer 1

你的代碼中有一個很大的問題：它傳遞的參數是不正確的，特別是第一個。

相反的Expression.Parameter(target.ParameterType, target.Name)你需要使用的實際參數：node.Arguments[0]。

此外，我建議你使用不同的超載Expression.Call：超載需要MethodInfo。

最終的代碼看起來像這樣：

protected override Expression VisitMethodCall(MethodCallExpression node) 
{ 
    // Only rewrite List.Contains() 
    if (!node.Method.Name.Equals("Contains", 
           StringComparison.InvariantCultureIgnoreCase)) 
     return base.VisitMethodCall(node); 

    // Extract parameters from original expression 
    var sourceList = node.Object;  // The list being searched 
    var target = node.Arguments[0]; // The thing being searched for 
    var newMethod = GetType().GetMethod("InList", 
             BindingFlags.Static | BindingFlags.Public); 

    // Create new expression 
    var newExpression = Expression.Call(newMethod, target, sourceList); 

    return newExpression; 
}