AOP從靜態代理到動態代理 Emit實現


【前言】

  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     }
DynamicProxy

  里面實現了兩種代理方式,一種是 面向接口實現 的方式,另一種是 繼承重寫 的方式。

  但是繼承重寫的方式需要把業務類的所有方法寫成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


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM