Linq Func<T>簡(jiǎn)單概述
本文我們開(kāi)始Linq利用表達(dá)式樹(shù),并討論比較有趣的內(nèi)容,即如何實(shí)現(xiàn)Linq Func<T>。
在Linq中,任何接收λ表達(dá)式(委托類型)的方法都可以轉(zhuǎn)換為接收相同委托類型的Expression<T>的方法,并且不需要更改客戶機(jī)代碼。例如:
- privatestaticvoid DoSomething(Predicate<Mock> predicate)
可以替換為:
- privatestaticvoid DoSomething(
- Expression<Predicate<Mock><Mock>> predicate)
在上述兩種情況下,調(diào)用代碼可以是相同的λ表達(dá)式:
- DoSomething(x => x.Value > 25);
這里發(fā)生的情況是,編譯器不會(huì)將指針傳入到第二個(gè)方法簽名的匿名委托中,而是生成以表達(dá)式樹(shù)的形式構(gòu)建AST(抽象語(yǔ)法樹(shù))的IL代碼。如果您打開(kāi)Reflector(我的類型反射類的名字也由此而來(lái),它是任何高級(jí)開(kāi)發(fā)人員都應(yīng)該經(jīng)常使用的最偉大的工具)并取消對(duì)DoSomething的方法調(diào)用,就可以看到:
- 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)方法構(gòu)建整個(gè)表達(dá)式(我對(duì)API的詳細(xì)看法另外單獨(dú)討論)。當(dāng)然,在方法實(shí)現(xiàn)中,您可以檢查相同的樹(shù)并執(zhí)行任何想執(zhí)行的操作。***的Linq CTP包含一個(gè)非??岬目梢暬ぞ?,在運(yùn)行時(shí)到達(dá)您的方法主體時(shí)可以用來(lái)查看表達(dá)式樹(shù)中的情況。到現(xiàn)在為止,您應(yīng)該明白了我正在實(shí)現(xiàn)一個(gè)強(qiáng)類型反射:我接收一個(gè)表達(dá)式樹(shù),并在其中搜索方法調(diào)用節(jié)點(diǎn)(或者,對(duì)于屬性和字段來(lái)說(shuō)是成員訪問(wèn))。下面是Method<>方法的實(shí)現(xiàn):
- 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>返回一個(gè)對(duì)象,故首先可以聲名一
- // 個(gè)類型轉(zhuǎn)換(如果方法無(wú)返回對(duì)象)或直接方法調(diào)用。
- if (lambda.Body.NodeType == ExpressionType.Cast)
- {
- // 類型轉(zhuǎn)換是一個(gè)一元操作,而操作數(shù)是一個(gè)方法調(diào)用表達(dá)式。
- 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……),因?yàn)樗鼈兎祷氐氖遣紶栔?。我需要更靈活的對(duì)象,簡(jiǎn)單來(lái)說(shuō)就是返回對(duì)象的對(duì)象,以及接收一些固定參數(shù)類型(例如Func<T>)的委托“重載”。因此我得到如下內(nèi)容:
- publicdelegateobjectOperation();
- publicdelegateobjectOperation<T>(T declaringType);
- publicdelegateobjectOperation(T declaringType, A0 arg0);
- ...
注意,API的用戶從來(lái)都不會(huì)知道這些委托類型的對(duì)象的存在,就像查詢操作符的用戶從不知道Func<T>的存在一樣。我希望將來(lái)這些委托能夠消失,而代之以更好的東西(可能是publicdelegateobject Operation < params T> ;))。此外,注意我是如何將新的參數(shù)類型的參數(shù)添加到T“后面”的,T是重載的通用轉(zhuǎn)換,與Linq Func<T>中的功能正好相反。
【編輯推薦】