??? 最近在寫一段代碼的時(shí)候，為了兼容各種未知的類型，以及完成一個(gè)根據(jù)類型自動(dòng)分派的任務(wù)到對(duì)應(yīng)的處理器時(shí)，使用了這樣的一個(gè)契約：

??? 用一個(gè)object數(shù)組來轉(zhuǎn)遞值，每個(gè)處理器則聲明一個(gè)可以處理的類型組合。

??? 然后在寫如何分派時(shí)，發(fā)生了一段小插曲。

分派原則

??? 首先，明確一下分派的原則，如果處理器聲明能處理的類型是：

string,int

??? 那么只有當(dāng)對(duì)象數(shù)組的長(zhǎng)度為2，并且類型分別為string和int時(shí)，才會(huì)分派到這個(gè)處理器上去執(zhí)行，不過，要注意的一點(diǎn)是，string是引用類型，因此值可以為null，最終，聲明為string,int的處理器可以接受下列參數(shù)：

"aaa",123

null,123

??? 其他形式的參數(shù)，不應(yīng)該分派給該處理器。

??? 然后，再說說更復(fù)雜的情況，如果處理器聲明能處理的類型是：

IClonable,int?

??? 那么，問題要稍微復(fù)雜一點(diǎn)，對(duì)于第一個(gè)參數(shù)而言，要求是任意實(shí)現(xiàn)了IClonable接口的對(duì)象（例如任何string，數(shù)組），當(dāng)然null也是允許的。對(duì)于第二個(gè)參數(shù)而言，int?可以接受任意int或者null。

??? 綜合起來，也就是下列值是允許的：

"aaa”, 123

new int[0], null

null, null

??? 最后，給兩個(gè)特殊的契約，如果可以傳遞任意參數(shù)，那么就指定object，如果必須某一項(xiàng)為null，則類型指定null。

基礎(chǔ)實(shí)現(xiàn)

??? 統(tǒng)一好上面的契約，開始實(shí)現(xiàn)時(shí)，發(fā)現(xiàn)事情沒有想象中這么簡(jiǎn)單，對(duì)于值為null的情況，需要判斷類型是否是引用類型（!Type.IsValueType），如果是值類型，還要額外允許可空類型（Nullable.GetUnderlyingType）。

??? 對(duì)于非可空的情況，則判斷繼承樹（Type.IsAssignableFrom），在加上其他的邏輯，代碼也不短，更要命的是其中用到了N多的反射，而且每次都要反射一把，性能絕對(duì)是個(gè)問題。

? ? (如果各位有興趣，可以自己實(shí)現(xiàn)一下，這里就不寫了)

思路

??? 解決這些問題之前，先想一下，如果這些類型在編譯時(shí)已知，那么代碼會(huì)怎么寫哪？

??? 假設(shè)需要判定對(duì)象obj中間的類型是不是string，那么會(huì)寫下面的代碼：

obj is string

??? 是不是IClonable，那么會(huì)寫下面的代碼：

obj is IClonable

??? 是不是int，那么會(huì)寫下面的代碼：

obj is int

??? 是不是int?，那么會(huì)寫下面的代碼：

obj is int?

??? 看到這里發(fā)現(xiàn)什么了？在c#中這些判定驚人的一致，唯一需要特殊處理的是null。所以想象一下，如果能把動(dòng)態(tài)的類型實(shí)例，轉(zhuǎn)換成靜態(tài)的類型信息，對(duì)object數(shù)組的類型判定將變得非常簡(jiǎn)單。

進(jìn)階實(shí)現(xiàn)

??? 那么運(yùn)用什么手段可以將動(dòng)態(tài)類型實(shí)例變成靜態(tài)的類型信息哪？

??? 答案有很多，當(dāng)然都圍繞一個(gè)主題——?jiǎng)討B(tài)代碼生成

??? 這里用最輕量級(jí)的動(dòng)態(tài)代碼生成方式Emit實(shí)現(xiàn)的，具體過程就略過了，最終的核心代碼部分如下：

public static Func<object[], bool> CreateFastTypeChecker(this Type[] expectedTypes) { // check parameters ... DynamicMethod dm = new DynamicMethod("Zhenway's Fast Type Checker", typeof(bool), new Type[] { typeof(object[]) }); var il = dm.GetILGenerator(); Label retFalse = il.DefineLabel(); il.Emit(OpCodes.Ldarg_0); il.Emit(OpCodes.Ldlen); il.Emit(OpCodes.Ldc_I4, expectedTypes.Length); il.Emit(OpCodes.Bne_Un, RetFalse); for (int index = 0; index < expectedTypes.Length; index++) { bool mustBeNull = expectedTypes[index] == null; bool mustNotBeNull = !mustBeNull && expectedTypes[index].IsValueType && Nullable.GetUnderlyingType(expectedTypes[index]) == null; if (expectedTypes[index] == typeof(object)) continue; Label Next = il.DefineLabel(); il.Emit(OpCodes.Ldarg_0); il.Emit(OpCodes.Ldc_I4, index); il.Emit(OpCodes.Ldelem, typeof(object)); il.Emit(OpCodes.Ldnull); il.Emit(OpCodes.Cgt_Un); if (mustNotBeNull) il.Emit(OpCodes.Brfalse, retFalse); else il.Emit(OpCodes.Brfalse_S, Next); if (mustBeNull) { il.Emit(OpCodes.Br, RetFalse); } else { il.Emit(OpCodes.Ldarg_0); il.Emit(OpCodes.Ldc_I4, index); il.Emit(OpCodes.Ldelem, typeof(object)); il.Emit(OpCodes.Isinst, expectedTypes[index]); il.Emit(OpCodes.Ldnull); il.Emit(OpCodes.Cgt_Un); il.Emit(OpCodes.Brfalse, RetFalse); } il.MarkLabel(Next); } il.Emit(OpCodes.Ldc_I4_1); il.Emit(OpCodes.Ret); il.MarkLabel(retFalse); il.Emit(OpCodes.Ldc_I4_0); il.Emit(OpCodes.Ret); return (Func<object[], bool>)dm.CreateDelegate(typeof(Func<object[], bool>)); }
整個(gè)過程只需要花50行左右的代碼，但是卻可以帶來非常高的執(zhí)行效率（當(dāng)然，創(chuàng)建成本比較高，如果，只跑一兩次，那就虧了）。

總結(jié)

以上是生活随笔為你收集整理的快速类型判定的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。