Linq Func<T>簡單概述
本文我們開始Linq利用表達式樹,并討論比較有趣的內容,即如何實現Linq Func<T>。
在Linq中,任何接收λ表達式(委托類型)的方法都可以轉換為接收相同委托類型的Expression<T>的方法,并且不需要更改客戶機代碼。例如:
- privatestaticvoid DoSomething(Predicate<Mock> predicate)
可以替換為:
- privatestaticvoid DoSomething(
- Expression<Predicate<Mock><Mock>> predicate)
在上述兩種情況下,調用代碼可以是相同的λ表達式:
- DoSomething(x => x.Value > 25);
這里發(fā)生的情況是,編譯器不會將指針傳入到第二個方法簽名的匿名委托中,而是生成以表達式樹的形式構建AST(抽象語法樹)的IL代碼。如果您打開Reflector(我的類型反射類的名字也由此而來,它是任何高級開發(fā)人員都應該經常使用的最偉大的工具)并取消對DoSomething的方法調用,就可以看到:
- ParameterExpression expression1 =
- Expression.Parameter(typeof(Mock), "x");
- Program.DoSomething(
- Expression.Lambda<Predicate<Mock>>(
- Expression.GT(Expression.Field(
- expression1, fieldof(Mock.Value)),
- Expression.Constant(0x19, typeof(int))),
- newParameterExpression[]{expression1 })
- );
這里您可以看到編譯器如何使用Expression類上的靜態(tài)方法構建整個表達式(我對API的詳細看法另外單獨討論)。當然,在方法實現中,您可以檢查相同的樹并執(zhí)行任何想執(zhí)行的操作。***的Linq CTP包含一個非常酷的可視化工具,在運行時到達您的方法主體時可以用來查看表達式樹中的情況。到現在為止,您應該明白了我正在實現一個強類型反射:我接收一個表達式樹,并在其中搜索方法調用節(jié)點(或者,對于屬性和字段來說是成員訪問)。下面是Method<>方法的實現:
- publicstaticMethodInfo Method<TDeclaringType>(
- Expression<Operation> method)
- {
- return GetMethodInfo(method);
- }
- privatestaticMethodInfo GetMethodInfo(Expression method)
- {
- LambdaExpression lambda = method asLambdaExpression;
- if (lambda == null)
- thrownewArgumentNullException("method");
- MethodCallExpression methodExpr = null;
- // 我們的Operation<T>返回一個對象,故首先可以聲名一
- // 個類型轉換(如果方法無返回對象)或直接方法調用。
- if (lambda.Body.NodeType == ExpressionType.Cast)
- {
- // 類型轉換是一個一元操作,而操作數是一個方法調用表達式。
- methodExpr = ((UnaryExpression)lambda.Body).
- Operand asMethodCallExpression;
- }
- elseif (lambda.Body.NodeType == ExpressionType.MethodCall ||
- lambda.Body.NodeType == ExpressionType.MethodCallVirtual)
- {
- methodExpr = lambda.Body asMethodCallExpression;
- }
- if (methodExpr == null)
- thrownewArgumentException("method");
- return methodExpr.Method;
- }
我創(chuàng)建的就是Operation委托類型。不能使用Linq Func<T>(以及T、Arg0……),因為它們返回的是布爾值。我需要更靈活的對象,簡單來說就是返回對象的對象,以及接收一些固定參數類型(例如Func<T>)的委托“重載”。因此我得到如下內容:
- publicdelegateobjectOperation();
- publicdelegateobjectOperation<T>(T declaringType);
- publicdelegateobjectOperation(T declaringType, A0 arg0);
- ...
注意,API的用戶從來都不會知道這些委托類型的對象的存在,就像查詢操作符的用戶從不知道Func<T>的存在一樣。我希望將來這些委托能夠消失,而代之以更好的東西(可能是publicdelegateobject Operation < params T> ;))。此外,注意我是如何將新的參數類型的參數添加到T“后面”的,T是重載的通用轉換,與Linq Func<T>中的功能正好相反。
【編輯推薦】