hBifTs

自从开始开发AOP.NET以来,一直在使用Reflection.Emit里的类和函数.
由于Emit的中文资料好像不是很多.现在记录一些使用方法吧,算心得吧.:P

Reflection.Emit的作用是能够在程序运行时动态生成Class,以及Field和Method.
这样带来的一个好处就是,可以在程序运行时产生DynamicProxy,从而可以达到AOP的拦截的作用.(就是AOP.NET的实现原理).

由于Emit中提供了TypeBuilder(生成Class的类),MethodBuilder(生成Method的类)以及FieldBuilder(生成类的成员变量的类)等等.
由于MethodBuilder只能生成函数的声明,不能生成函数的执行代码,所以要想生成一个完整的函数,就不可避免的要用到ILGenerator类.
ILGenerator只能通过Emit(...)函数来增加直接的IL代码,所以使用Emit的时候也得明白一些关于IL的知识.

在编程中,对于函数的调用是很经常的,像Win32汇编一样,调用一个函数前要将其参数压到栈中...
IL中要求参数压到栈中,要以从左到右的方式,也就是先把函数声明的最左边的参数压到栈中,再依此把其余的参数分别压到栈中.比如:
函数定义:
 public void Show(int ,string ,object);

通过InvokeShow来调用这个函数,InvokeShow的定义如下:
public void InvokeShow( int ,string, object)

ILGenerator methodIL = TypeBuilder.DefineMethod(....).GetGenerator();
除静态函数外,其他所有的函数的实际的参数都会在最左边多一位,就是this.所以这里实际的参数应该是从1开始的.
//假设Show函数的MethodInfo是这个InvokeShow的类的一个成员变量,其FieldBuilder名称为 show_MethodInfo;
//这里,我们先把对象压到栈中,由于是类的成员,所以前面要加this
methodIL.Emit( Opcodes.Ldarg_0);
methodIL.Emit( OpCodes.Ldfld, show_MethodInfo) 
// 参数入栈
methodIL.Emit(OpCodes.Ldarg_1);
methodIL.Emit(OpCodes.Ldarg_2);
methodIL.Emit(OpCodes.Ldarg_3);
//调用函数
methodIL.Emit( OpCodes.Callvirt, typeof(MethodInfo).GetMethod(”Invoke”) );
//由于MethodInfo.Invoke函数有返回值,而InvokeShow函数没有返回值,所以要把返回值给Pop出去,保持栈平衡
methodIL.Emit( OpCodes.Pop);
methodIL.Emit( OpCodes.Ret);

上面就是一个最简单的函数调用的Emit实现了.
上面的代码中使用到了FieldBuilder的show_MethodInfo..现在我们看看如何给这个成员变量赋值:
函数定义如下:
public void Initial( MethodInfo showMethod);
IL代码:
methodIL.Emit( OpCodes.Ldarg_0);
methodIL.Emit( OpCodes.Ldarg_1);
methodIL.Emit( OpCodes.Stfld, show_MethodInfo);
methodIL.Emit( OpCodes.Ret);

这样子,就可以给类的成员变量进行赋值了..

那怎么生成函数中的临时变量了?
通过ILGenerator的DeclareLocal函数可以生成临时变量:
LocalBuilder local = methodIL.DeclareLocal( typeof( object));
//给其赋值,把第一个参数的值传给这个local
methodIL.Emit( OpCodes.Ldarg_1);
methodIL.Emit( OpCodes.Stloc, local);
//使用这个变量
methodIL.Emit( OpCodes.Ldloc,local);

默认情况下面,定义的LocalBuilder是从0开始按顺序来的,也就是说,如果local是定义的第一个LocalBuilder,上面的代码也可以写成下面这样子:
methodIL.Emit( OpCodes.Ldarg_1);
methodIL.Emit( OpCodes.Stloc,_0);
//使用这个变量
methodIL.Emit( OpCodes.Ldloc_0);

这就是一些基本的Emit的使用..:P

to be continued...

在.NET的Reflection中,ConstructorInfo和MethodInfo都是从MethodBase直接继承而来的.
MethodInfo的Invoke函数使用很简单,就是直接
MethodInfo.Invoke(object target,object[] parameters);

但是ConstructorInfo的Invoke函数有一点不一样.

同MethodInfo,ConstructorInfo的Invoke也有这种形式的重载...
ConstructorInfo.Invoke(object target ,object[] parameters);
这个Invoke用在调用父类的构造函数的时,也就是对已有的一个对象,去调用他的构造函数.即:
class Father{
      public Father(...){}
}
class Son : Father{
      public Son(...):base(...){}
}
Son的构造函数的IL代码中,就会有相当于如下的函数的调用:
ConstructorInfo.Invoke( this, parameters);
//具体的代码可以参考AOP.NET中ProxyFactory的AopBaseHandler.cs中的Invoke函数.
通过这种方式,完成子类Son对其父类Father的构造函数的调用.


ConstructorInfo.Invoke还有一种形式:
object ConstructorInfo.Invoke( object[] parameters);
这个就是用来生成一个新的对象用的.即:
object target = ConstructorInfo.Invoke(parameters);
和
object target = new Son(parameters);
是一样的...
通过这个函数可以得到一个新的对象.和new是一样的效果.

使用这个的时候可能要注意一下:P