使用.net 中的动态方法编程备忘录6（OpCodes.Ldloc 与OpCodes.Ldloca）

关于 OpCodes.Ldloc 和 OpCodes.Ldloca，MSDN 上说：

 

OpCodes.Ldloc：

将指定索引处的局部变量加载到计算堆栈上。

 

OpCodes.Ldloca：

将位于特定索引处的局部变量的地址加载到计算堆栈上。

 

好像说得很清楚，但其实却说得不太清楚。

 

开发过程中，曾有根据配置文件来生成动态方法的需求。在处理类似“A.B.C” 这样的对象的属性的属性时，我在一个循环中处理，从最初的对象（如 A），一直求值到“C”。

 

开始时，我采用类似如下的方法来处理：

private void getPropertyRecursion(ILGenerator il, LocalBuilder v, string exp) { string[] exps = exp.Split('.'); Type type = v.LocalType; PropertyInfo pInfo; il.Emit(OpCodes.Ldloc, v); for (int i = 1; i < exps.Length; i++) { pInfo = type.GetProperty(exps[0], BindingFlags.Public | BindingFlags.Instance); il.Emit(OpCodes.Callvirt, pInfo.GetGetMethod()); type = pInfo.PropertyType; } }

 

测试时没发现问题，但实际运行时，随着业务扩展，程序报错（好像是内存不能读的错误）。

 

将动态方法保存成dll，用 Reflector.exe反编译，看反编译的C#代码，没有任何问题，看 IL代码，也看不出，后来没办法，将反编译的C#代码复制到程序中，编译后，再用 Reflector.exe 查看其 IL代码，与动态生成的 IL比较，终于发现，vs自己编译的（非动态） IL，在求取某实例属性的属性时，有时中间会多用一个变脸，并且，在求值后，先保存变量，再以 Ldloca 取出变量地址，然后再求取下一步的属性。

 

再仔细比较后，发现，凡是求一个实例的方法时，如果该实例的类型是class，则直接调用下一级的属性，而如果是ValueType 时，则会先保存到变量，再加载地址，再求取下一级属性。

 

自己分析，在中间语言中，对象类型的变量，就是一指针，加载对象类型变量，就是加载该指针。

 而加载值类型变量，则是将该变量的值，加载到堆栈。

 

大概是，要求去某个实例方法时，必须首先将该实例的地址加载到堆栈。

 

根据当前实例时值类型还是对象类型，修改后的方法为：

 

private void getPropertyRecursion1(ILGenerator il, LocalBuilder v, string exp, Dictionary<Type, LocalBuilder> dictVar) { if (dictVar == null) dictVar = new Dictionary<Type, LocalBuilder>(); string[] exps = exp.Split('.'); Type type = v.LocalType; PropertyInfo pInfo; il.Emit(OpCodes.Ldloc, v); for (int i = 1; i < exps.Length; i++) { pInfo = type.GetProperty(exps[0], BindingFlags.Public | BindingFlags.Instance); il.Emit(OpCodes.Callvirt, pInfo.GetGetMethod()); type = pInfo.PropertyType; if (i < exp.Length - 1) { // 除最后一级属性不需要特殊处理，前面都需要根据属性类型做不同处理 if (type.IsValueType) { // 如果当前刚求值的属性是值类型，则需要将属性值保存 if (!dictVar.ContainsKey(type)) dictVar.Add(type, il.DeclareLocal(type)); // 先将求得的属性保存在一个变量中 il.Emit(OpCodes.Stloc, dictVar[type]); // 再将变量地址加载到堆栈（注意，不是直接加载变量，而是加载地址） il.Emit(OpCodes.Ldloca, dictVar[type]); } else { // 当前刚求值属性非值类型，则无需特殊处理 } } } }

 

注：原本程序较复杂，上述两个方法，仅仅是为了说明情况，临时写的，未作测试，但也能说明情况了。