使用.net 中的动态方法编程备忘录5（在动态方法中使用条件语句）

1、程序执行时，除了顺序执行外，任何程序设计语言，都有条件语句、循环语句、无条件转移语句。而条件语句，几乎每个过程都离不开。

在高级程序编程语言中，使用特定的关键字，编写条件语句是很方便的，如 if语句、if-else、if-else if语句、switch语句等等。

但微软中间语句（MSIL）无特定的条件语句，要实现条件转移，必须定义Label，自己以比较语句、条件转移语句组合来实现。

 

2、分析条件语句

 

看下面的C#示例:

private static string CompareResult(int i, int j) { string ret="比较结果："; if (i == j) ret += "相等"; else if (i < j) ret += "i < j"; else ret += "i > j"; return ret; }

 

分析一下，要用MSIL实现上述很简单的例子：

a)、比较 i 与 j 是否相等；

b)、如不相等，则转移到下一个比较（既 e 处，以执行下一个else if），这里是第一次转移，条件转移，需要一个Label；

c)、如相等，则顺序执行本 if 块内代码；

d)、本代码块执行完毕，则转移到此 if-else if-else 条件语句之后，既j，此是第二个转移，无条件转移，需要第二个Label；

e)、比较 i 是否小于 j；

f)、如不小于，则转移到i处，以执行下一个 else，这里是第三个转移，条件转移，需要第三个Label；

g)、小于，则顺序执行；

h)、小于后的代码块执行完毕，转移到最后，既j；

i)、此时开始执行 i>j的代码；

j)、所有判断结束；

k)、将变量ret加载到栈，并返回。

 

 

3、相应的 MSIL代码：

 

. method private hidebysig static string CompareResult (int32 i, int32 j ) cil managed
{
    . maxstack 2
    . locals init (
         [0] string ret,
         [1] string CS$1$0000,
         [2] bool CS$4$0001)
     L_0000: nop
     L_0001: ldstr "/u6bd4/u8f83/u7ed3/u679c/uff1a"
     L_0006: stloc.0
     L_0007: ldarg.0
     L_0008: ldarg.1
     L_0009: ceq
     L_000b: ldc.i4.0
     L_000c: ceq
     L_000e: stloc.2
     L_000f: ldloc.2
     L_0010: brtrue.s  L_0020
     L_0012: ldloc.0
     L_0013: ldstr "/u76f8/u7b49"
     L_0018: call string [mscorlib ]System.String::Concat (string, string )
     L_001d: stloc.0
     L_001e: br.s  L_0045
     L_0020: ldarg.0
     L_0021: ldarg.1
     L_0022: clt
     L_0024: ldc.i4.0
     L_0025: ceq
     L_0027: stloc.2
     L_0028: ldloc.2
     L_0029: brtrue.s  L_0039
     L_002b: ldloc.0
     L_002c: ldstr "i < j"
     L_0031: call string [mscorlib ]System.String::Concat (string, string )
     L_0036: stloc.0
     L_0037: br.s  L_0045
     L_0039: ldloc.0
     L_003a: ldstr "i > j"
     L_003f: call string [mscorlib ]System.String::Concat (string, string )
     L_0044: stloc.0
     L_0045: ldloc.0
     L_0046: stloc.1
     L_0047: br.s  L_0049
     L_0049: ldloc.1
     L_004a: ret
}

 

 4、在动态方法中使用Label实现转移

 

要使用Label转移，首先要使用 ILGenerator 类的 DefineLabel 方法定义 Label；

其次，在需要转移到的地方，使用ILGenerator 类的 MakeLabel 方法，将前面定义的Label的地址设定在此处。

下面是使用动态方法的示例代码（此代码是写博客时现写的，未测试）

private static void testIf1() { DynamicMethod method = new DynamicMethod("CompareResult", typeof(string), new Type[] { typeof(int), typeof(int) }); ILGenerator il = method.GetILGenerator(); LocalBuilder ret = il.DeclareLocal(typeof(string)); // 定义两个用来实现 if 语句的 Label（lblNext 为 if语句中的else处，lblEnd为整个if语句之后） Label lblNext = il.DefineLabel(); Label lblEndIf = il.DefineLabel(); // 变量赋初值 il.Emit(OpCodes.Ldstr, "比较结果："); il.Emit(OpCodes.Stloc, ret); // 开始比较两个参数是否相等 il.Emit(OpCodes.Ldarg_0); il.Emit(OpCodes.Ldarg_1); il.Emit(OpCodes.Ceq); // 再将比较结果（0：不等）与0比较，很明显，为 true，则为不等，false，则相等 il.Emit(OpCodes.Ldc_I4_0); il.Emit(OpCodes.Ceq); il.Emit(OpCodes.Brtrue, lblNext); // 以上两行代码，也可以用下面一行代码来实现： // il.Emit(OpCodes.Beq, lblNext); //以上条件转移所实现的功能为，i==j，则顺序执行，否则转移到lblNext标记处(即下一个else处) il.Emit(OpCodes.Ldloc, ret); il.Emit(OpCodes.Ldstr, "相等"); il.Emit(OpCodes.Call, typeof(string).GetMethod("Concat", new Type[] { typeof(string), typeof(string) })); il.Emit(OpCodes.Stloc, ret); // i==j的处理执行完毕，无条件转移到 if 语句之外，即 lblEnd 标记处 il.Emit(OpCodes.Br, lblEndIf); // 将 lblNext 标记为当前位置，之后紧跟着再次用 lblNext 声明一个新的 Label，给下一次比较（即 else if）用 il.MarkLabel(lblNext); lblNext = il.DefineLabel(); il.Emit(OpCodes.Ldarg_0); il.Emit(OpCodes.Ldarg_1); il.Emit(OpCodes.Clt); il.Emit(OpCodes.Ldc_I4_0); il.Emit(OpCodes.Ceq); il.Emit(OpCodes.Brtrue, lblNext); // 以上四行代码，也可以用如下一行代码实现： // il.Emit(OpCodes.Bge, lblNext); il.Emit(OpCodes.Ldloc, ret); il.Emit(OpCodes.Ldstr, "i < j"); il.Emit(OpCodes.Call, typeof(string).GetMethod("Concat", new Type[] { typeof(string), typeof(string) })); il.Emit(OpCodes.Stloc, ret); il.Emit(OpCodes.Br, lblEndIf); il.MarkLabel(lblNext); il.Emit(OpCodes.Ldloc, ret); il.Emit(OpCodes.Ldstr, "i > j"); il.Emit(OpCodes.Call, typeof(string).GetMethod("Concat", new Type[] { typeof(string), typeof(string) })); il.Emit(OpCodes.Stloc, ret); // 标记if语句结束处 il.MarkLabel(lblEndIf); il.Emit(OpCodes.Ldloc, ret); il.Emit(OpCodes.Ret); }