【前言】
AOP為Aspect Oriented Programming的縮寫,意思是面向切面編程的技術。
何為切面?
一個和業務沒有任何耦合相關的代碼段,諸如:調用日志,發送郵件,甚至路由分發。一切能為代碼所有且能和代碼充分解耦的代碼都可以作為一個業務代碼的切面。
我們為什么要AOP?
那我們從一個場景舉例說起:
如果想要采集用戶操作行為,我們需要掌握用戶調用的每一個接口的信息。這時候的我們要怎么做?
如果不采用AOP技術,也是最簡單的,所有方法體第一句話先調用一個日志接口將方法信息傳遞記錄。
有何問題?
實現業務沒有任何問題,但是隨之而來的是代碼臃腫不堪,難以調整維護的諸多問題(可自行腦補)。
如果我們采用了AOP技術,我們就可以在系統啟動的地方將所有將要采集日志的類注入,每一次調用方法前,AOP框架會自動調用我們的日志代碼。
是不是省去了很多重復無用的勞動?代碼也將變得非常好維護(有朝一日不需要了,只需將切面代碼注釋掉即可)
接下來我們看看AOP框架的工作原理以及實過程。
【實現思路】
AOP框架呢,一般通過靜態代理和動態代理兩種實現方式。
何為靜態代理?
靜態代理,又叫編譯時代理,就是在編譯的時候,已經存在代理類,運行時直接調用的方式。說的通俗一點,就是自己手動寫代碼實現代理類的方式。
我們通過一個例子來展現一下靜態代理的實現過程:
我們這里有一個業務類,里面有方法Test(),我們要在Test調用前和調用后分別輸出日志。
我們既然要將Log當作一個切面,我們肯定不能去動原有的業務代碼,那樣也違反了面向對象設計之開閉原則。
那么我們要怎么做呢?我們定義一個新類 BusinessProxy 去包裝一下這個類。為了便於在多個方法的時候區分和辨認,方法也叫 Test()
這樣,我們如果要在所有的Business類中的方法都添加Log,我們就在BusinessProxy代理類中添加對應的方法去包裝。既不破壞原有邏輯,又可以實現前后日志的功能。
當然,我們可以有更優雅的實現方式:
我們可以定義代理類,繼承自業務類。將業務類中的方法定義為虛方法。那么我們可以重寫父類的方法並且在加入日志以后再調用父類的原方法。
當然,我們還有更加優雅的實現方式:
我們可以使用發射的技術,寫一個通用的Invoke方法,所有的方法都可以通過該方法調用。
我們這樣便實現了一個靜態代理。
那我們既然有了靜態代理,為什么又要有動態代理呢?
我們仔細回顧靜態代理的實現過程。我們要在所有的方法中添加切面,我們就要在代理類中重寫所有的業務方法。更有甚者,我們有N個業務類,就要定義N個代理類。這是很龐大的工作量。
這就是動態代理出現的背景,相比都可以猜得到,動態代理就是將這一系列繁瑣的步驟自動化,讓程序自動為我們生成代理類。
何為動態代理?
動態代理,又成為運行時代理。在程序運行的過程中,調用了生成代理類的代碼,將自動生成業務類的代理類。不需要我們手共編寫,極高的提高了工作效率和調整了程序員的心態。
原理不必多說,就是動態生成靜態代理的代碼。我們要做的,就是選用一種生成代碼的方式去生成。
今天我分享一個簡單的AOP框架,代碼使用Emit生成。當然,Emit 代碼的寫法不是今天要講的主要內容,需要提前去學習。
先說效果:
定義一個Action特性類 ActionAttribute 繼承自 ActionBaseAttribute,里面在Before和After方法中輸出兩條日志;
定義一個Action特性類 InterceptorAttribute 繼承自 InterceptorBaseAttribute,里面捕獲了方法調用異常,以及執行前后分別輸出日志;
然后定義一個業務類 BusinessClass 實現了 IBusinessClass 接口,定義了各種類型的方法
多余的方法不貼圖了。
我們把上面定義的方法調用切面標簽放在業務類上,表示該類下所有的方法都執行異常過濾;
我們把Action特性放在Test方法上,表明要在 Test() 方法的 Before 和 After 調用時記錄日志;
我們定義測試類:
調用一下試試:
可見,全類方法標簽 Interceptor 在 Test 和 GetInt 方法調用前后都打出了對應的日志;
Action方法標簽只在 Test 方法上做了標記,那么Test 方法 Before 和 After 執行時打出了日志;
【實現過程】
實現的思路在上面已經有詳細的講解,可以參考靜態代理的實現思路。
我們定義一個動態代理生成類 DynamicProxy,用於原業務代碼的掃描和代理類代碼的生成;
定義兩個過濾器標簽,ActionBaseAttribute,提供 Before 和 After 切面方法;InterceptorBaseAttribute,提供 Invoke “全調用”包裝的切面方法;
Before可以獲取到當前調用的方法和參數列表,After可以獲取到當前方法調用以后的結果。
Invoke 可以拿到當前調用的對象和方法名,參數列表。在這里進行反射動態調用。
1 [AttributeUsage(AttributeTargets.Method | AttributeTargets.Class, AllowMultiple = false, Inherited = true)] 2 public class ActionBaseAttribute : Attribute 3 { 4 public virtual void Before(string @method, object[] parameters) { } 5 6 public virtual object After(string @method, object result) { return result; } 7 }
1 [AttributeUsage(AttributeTargets.Class, AllowMultiple = false, Inherited = true)] 2 public class InterceptorBaseAttribute : Attribute 3 { 4 public virtual object Invoke(object @object, string @method, object[] parameters) 5 { 6 return @object.GetType().GetMethod(@method).Invoke(@object, parameters); 7 } 8 }
代理生成類采用Emit的方式生成運行時IL代碼。
先把代碼放在這里:

1 public class DynamicProxy 2 { 3 public static TInterface CreateProxyOfRealize<TInterface, TImp>() where TImp : class, new() where TInterface : class 4 { 5 return Invoke<TInterface, TImp>(); 6 } 7 8 public static TProxyClass CreateProxyOfInherit<TProxyClass>() where TProxyClass : class, new() 9 { 10 return Invoke<TProxyClass, TProxyClass>(true); 11 } 12 13 private static TInterface Invoke<TInterface, TImp>(bool inheritMode = false) where TImp : class, new() where TInterface : class 14 { 15 var impType = typeof(TImp); 16 17 string nameOfAssembly = impType.Name + "ProxyAssembly"; 18 string nameOfModule = impType.Name + "ProxyModule"; 19 string nameOfType = impType.Name + "Proxy"; 20 21 var assemblyName = new AssemblyName(nameOfAssembly); 22 23 var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly(assemblyName, AssemblyBuilderAccess.Run); 24 var moduleBuilder = assembly.DefineDynamicModule(nameOfModule); 25 26 //var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly(assemblyName, AssemblyBuilderAccess.RunAndSave); 27 //var moduleBuilder = assembly.DefineDynamicModule(nameOfModule, nameOfAssembly + ".dll"); 28 29 TypeBuilder typeBuilder; 30 if (inheritMode) 31 typeBuilder = moduleBuilder.DefineType(nameOfType, TypeAttributes.Public, impType); 32 else 33 typeBuilder = moduleBuilder.DefineType(nameOfType, TypeAttributes.Public, null, new[] { typeof(TInterface) }); 34 35 InjectInterceptor<TImp>(typeBuilder, impType.GetCustomAttribute(typeof(InterceptorBaseAttribute))?.GetType(), inheritMode); 36 37 var t = typeBuilder.CreateType(); 38 39 //assembly.Save(nameOfAssembly + ".dll"); 40 41 return Activator.CreateInstance(t) as TInterface; 42 } 43 44 private static void InjectInterceptor<TImp>(TypeBuilder typeBuilder, Type interceptorAttributeType, bool inheritMode = false) 45 { 46 var impType = typeof(TImp); 47 // ---- define fields ---- 48 FieldBuilder fieldInterceptor = null; 49 if (interceptorAttributeType != null) 50 { 51 fieldInterceptor = typeBuilder.DefineField("_interceptor", interceptorAttributeType, FieldAttributes.Private); 52 } 53 // ---- define costructors ---- 54 if (interceptorAttributeType != null) 55 { 56 var constructorBuilder = typeBuilder.DefineConstructor(MethodAttributes.Public, CallingConventions.Standard, null); 57 var ilOfCtor = constructorBuilder.GetILGenerator(); 58 59 ilOfCtor.Emit(OpCodes.Ldarg_0); 60 ilOfCtor.Emit(OpCodes.Newobj, interceptorAttributeType.GetConstructor(new Type[0])); 61 ilOfCtor.Emit(OpCodes.Stfld, fieldInterceptor); 62 ilOfCtor.Emit(OpCodes.Ret); 63 } 64 65 // ---- define methods ---- 66 67 var methodsOfType = impType.GetMethods(BindingFlags.Public | BindingFlags.Instance); 68 69 string[] ignoreMethodName = new[] { "GetType", "ToString", "GetHashCode", "Equals" }; 70 71 foreach (var method in methodsOfType) 72 { 73 //ignore method 74 if (ignoreMethodName.Contains(method.Name)) 75 return; 76 77 var methodParameterTypes = method.GetParameters().Select(p => p.ParameterType).ToArray(); 78 79 MethodAttributes methodAttributes; 80 81 if (inheritMode) 82 methodAttributes = MethodAttributes.Public | MethodAttributes.Virtual; 83 else 84 methodAttributes = MethodAttributes.Public | MethodAttributes.HideBySig | MethodAttributes.NewSlot | MethodAttributes.Virtual | MethodAttributes.Final; 85 86 var methodBuilder = typeBuilder.DefineMethod(method.Name, methodAttributes, CallingConventions.Standard, method.ReturnType, methodParameterTypes); 87 88 var ilMethod = methodBuilder.GetILGenerator(); 89 90 // set local field 91 var impObj = ilMethod.DeclareLocal(impType); //instance of imp object 92 var methodName = ilMethod.DeclareLocal(typeof(string)); //instance of method name 93 var parameters = ilMethod.DeclareLocal(typeof(object[])); //instance of parameters 94 var result = ilMethod.DeclareLocal(typeof(object)); //instance of result 95 LocalBuilder actionAttributeObj = null; 96 97 //attribute init 98 Type actionAttributeType = null; 99 if (method.GetCustomAttribute(typeof(ActionBaseAttribute)) != null || impType.GetCustomAttribute(typeof(ActionBaseAttribute)) != null) 100 { 101 //method can override class attrubute 102 if (method.GetCustomAttribute(typeof(ActionBaseAttribute)) != null) 103 { 104 actionAttributeType = method.GetCustomAttribute(typeof(ActionBaseAttribute)).GetType(); 105 } 106 else if (impType.GetCustomAttribute(typeof(ActionBaseAttribute)) != null) 107 { 108 actionAttributeType = impType.GetCustomAttribute(typeof(ActionBaseAttribute)).GetType(); 109 } 110 111 actionAttributeObj = ilMethod.DeclareLocal(actionAttributeType); 112 ilMethod.Emit(OpCodes.Newobj, actionAttributeType.GetConstructor(new Type[0])); 113 ilMethod.Emit(OpCodes.Stloc, actionAttributeObj); 114 } 115 116 //instance imp 117 ilMethod.Emit(OpCodes.Newobj, impType.GetConstructor(new Type[0])); 118 ilMethod.Emit(OpCodes.Stloc, impObj); 119 120 //if no attribute 121 if (fieldInterceptor != null || actionAttributeObj != null) 122 { 123 ilMethod.Emit(OpCodes.Ldstr, method.Name); 124 ilMethod.Emit(OpCodes.Stloc, methodName); 125 126 ilMethod.Emit(OpCodes.Ldc_I4, methodParameterTypes.Length); 127 ilMethod.Emit(OpCodes.Newarr, typeof(object)); 128 ilMethod.Emit(OpCodes.Stloc, parameters); 129 130 // build the method parameters 131 for (var j = 0; j < methodParameterTypes.Length; j++) 132 { 133 ilMethod.Emit(OpCodes.Ldloc, parameters); 134 ilMethod.Emit(OpCodes.Ldc_I4, j); 135 ilMethod.Emit(OpCodes.Ldarg, j + 1); 136 //box 137 ilMethod.Emit(OpCodes.Box, methodParameterTypes[j]); 138 ilMethod.Emit(OpCodes.Stelem_Ref); 139 } 140 } 141 142 //dynamic proxy action before 143 if (actionAttributeType != null) 144 { 145 //load arguments 146 ilMethod.Emit(OpCodes.Ldloc, actionAttributeObj); 147 ilMethod.Emit(OpCodes.Ldloc, methodName); 148 ilMethod.Emit(OpCodes.Ldloc, parameters); 149 ilMethod.Emit(OpCodes.Call, actionAttributeType.GetMethod("Before")); 150 } 151 152 if (interceptorAttributeType != null) 153 { 154 //load arguments 155 ilMethod.Emit(OpCodes.Ldarg_0);//this 156 ilMethod.Emit(OpCodes.Ldfld, fieldInterceptor); 157 ilMethod.Emit(OpCodes.Ldloc, impObj); 158 ilMethod.Emit(OpCodes.Ldloc, methodName); 159 ilMethod.Emit(OpCodes.Ldloc, parameters); 160 // call Invoke() method of Interceptor 161 ilMethod.Emit(OpCodes.Callvirt, interceptorAttributeType.GetMethod("Invoke")); 162 } 163 else 164 { 165 //direct call method 166 if (method.ReturnType == typeof(void) && actionAttributeType == null) 167 { 168 ilMethod.Emit(OpCodes.Ldnull); 169 } 170 171 ilMethod.Emit(OpCodes.Ldloc, impObj); 172 for (var j = 0; j < methodParameterTypes.Length; j++) 173 { 174 ilMethod.Emit(OpCodes.Ldarg, j + 1); 175 } 176 ilMethod.Emit(OpCodes.Callvirt, impType.GetMethod(method.Name)); 177 //box 178 if (actionAttributeType != null) 179 { 180 if (method.ReturnType != typeof(void)) 181 ilMethod.Emit(OpCodes.Box, method.ReturnType); 182 else 183 ilMethod.Emit(OpCodes.Ldnull); 184 } 185 } 186 187 //dynamic proxy action after 188 if (actionAttributeType != null) 189 { 190 ilMethod.Emit(OpCodes.Stloc, result); 191 //load arguments 192 ilMethod.Emit(OpCodes.Ldloc, actionAttributeObj); 193 ilMethod.Emit(OpCodes.Ldloc, methodName); 194 ilMethod.Emit(OpCodes.Ldloc, result); 195 ilMethod.Emit(OpCodes.Call, actionAttributeType.GetMethod("After")); 196 } 197 198 // pop the stack if return void 199 if (method.ReturnType == typeof(void)) 200 { 201 ilMethod.Emit(OpCodes.Pop); 202 } 203 else 204 { 205 //unbox,if direct invoke,no box 206 if (fieldInterceptor != null || actionAttributeObj != null) 207 { 208 if (method.ReturnType.IsValueType) 209 ilMethod.Emit(OpCodes.Unbox_Any, method.ReturnType); 210 else 211 ilMethod.Emit(OpCodes.Castclass, method.ReturnType); 212 } 213 } 214 // complete 215 ilMethod.Emit(OpCodes.Ret); 216 } 217 } 218 }
里面實現了兩種代理方式,一種是 面向接口實現 的方式,另一種是 繼承重寫 的方式。
但是繼承重寫的方式需要把業務類的所有方法寫成virtual虛方法,動態類會重寫該方法。
我們從上一節的Demo中獲取到運行時生成的代理類dll,用ILSpy反編譯查看源代碼:
可以看到,我們的代理類分別調用了我們特性標簽中的各項方法。
核心代碼分析(源代碼在上面折疊部位已經貼出):
解釋:如果該方法存在Action標簽,那么加載 action 標簽實例化對象,加載參數,執行Before方法;如果該方法存在Interceptor標簽,那么使用類字段this._interceptor調用該標簽的Invoke方法。
解釋:如果面的Interceptor特性標簽不存在,那么會加載當前掃描的方法對應的參數,直接調用方法;如果Action標簽存在,則將剛才調用的結果包裝成object對象傳遞到After方法中。
這里如果目標參數是object類型,而實際參數是直接調用返回的明確的值類型,需要進行裝箱操作,否則運行時報調用內存錯誤異常。
解釋:如果返回值是void類型,則直接結束並返回結果;如果返回值是值類型,則需要手動拆箱操作,如果是引用類型,那么需要類型轉換操作。
IL實現的細節,這里不做重點討論。
【系統測試】
1.接口實現方式,Api測試(各種標簽使用方式對應的不同類型的方法調用):
結論:對於上述窮舉的類型,各種標簽使用方式皆成功打出了日志;
2.繼承方式,Api測試(各種標簽使用方式對應的不同類型的方法調用):
結論:繼承方式和接口實現方式的效果是一樣的,只是方法上需要不同的實現調整;
3.直接調用三個方法百萬次性能結果:
結論:直接調用三個方法百萬次調用耗時 58ms
4.使用實現接口方式三個方法百萬次調用結果
結論:結果見上圖,需要注意是三個方法百萬次調用,也就是300w次的方法調用
5.使用繼承方式三個方法百萬次調用結果
結論:結果見上圖,需要注意是三個方法百萬次調用,也就是300w次的方法調用
事實證明,IL Emit的實現方式性能還是很高的。
綜合分析:
通過各種的調用分析,可以看出使用代理以后和原生方法調用相比性能損耗在哪里。性能差距最大的,也是耗時最多的實現方式就是添加了全類方法代理而且是使用Invoke進行全方法切面方式。該方式耗時的原因是使用了反射Invoke的方法。
直接添加Action代理類實現 Before和After的方式和原生差距不大,主要損耗在After觸發時的拆裝箱上。
綜上分析,我們使用的時候,盡量針對性地對某一個方法進行AOP注入,而盡量不要全類方法進行AOP注入。
【總結】
通過自己實現一個AOP的動態注入框架,對Emit有了更加深入的了解,最重要的是,對CLR IL代碼的執行過程有了一定的認知,受益匪淺。
該方法在使用的過程中也發現了問題,比如有ref和out類型的參數時,會出現問題,需要后續繼續改進
本文的源代碼已托管在GitHub上,又需要可以自行拿取(順手Star哦~):https://github.com/sevenTiny/CodeArts (可以訪問下面鏈接獲取.Net Standard 跨平台版本代碼)
最新SevenTiny.Bantina.Aop組件代碼(跨平台):https://github.com/sevenTiny/SevenTiny.Bantina
該代碼的位置在 CodeArts.CSharp 分區下
VS打開后,可以在 EmitDynamicProxy 分區下找到;本博客所有的測試項目都在項目中可以找到。
再次放上源代碼地址,供一起學習的朋友參考,希望能幫助到你:https://github.com/sevenTiny/CodeArts (可以訪問下面鏈接獲取.Net Standard 跨平台版本代碼)
最新SevenTiny.Bantina.Aop組件代碼(跨平台):https://github.com/sevenTiny/SevenTiny.Bantina