MSIL入门(三)之流程控制
前言
在C#中提供了一些关键字if、else、switch、for等,这些关键字为我们提供了应用程序的流程控制。后面几个章节我们将看到的是流程控制在IL中的实现。
static void Main(string[] args)
{
var a = 1;
if (a == 0)
{
Console.WriteLine("0");
}
else if (a == 1)
{
Console.WriteLine("1");
}
else
{
Console.WriteLine("...");
}
}
Ceq 比较两个值。如果这两个值相等,则将整数值 1 (int32) 推送到计算堆栈上;否则,将0 (int32) 推送到计算堆栈上。
brfalse 表示计算栈上的值为 false/null/0 时发生跳转
brtrue 表示计算栈上的值为 true/非空/非0 时发生跳转
br.s 无条件的跳转到 x 标签所在的IL指令
.method private hidebysig static void
Main(
string[] args
) cil managed
{
.entrypoint //主函数,程序的入口
.maxstack 2 //栈的最大深度
.locals init (
[0] int32 a,
[1] bool V_1,
[2] bool V_2
) //本地变量定义
// [8 9 - 8 10] 、
IL_0000: nop //什么都不做
// [9 13 - 9 23]
IL_0001: ldc.i4.1 //把V_1的值放到计算堆栈上
IL_0002: stloc.0 //把计算堆栈顶部的值(a)放到调用堆栈索引0处
// [10 13 - 10 24]
IL_0003: ldloc.0 //把调用堆栈索引为0处的值复制到计算堆栈
IL_0004: ldc.i4.0 //把0放到计算堆栈上
IL_0005: ceq //比较两个值是否相等,并把值存入堆栈
IL_0007: stloc.1 //把计算堆栈顶部的值(V_1)放到调用堆栈索引1处
IL_0008: ldloc.1 //把计算堆栈顶部的值(V_1)放到调用堆栈索引1处
IL_0009: brfalse.s IL_001a //表示计算栈上的值为 false/null/0,则跳转跳转到IL_001a标签所在的位置
// [11 13 - 11 14]
IL_000b: nop //什么都不做
// [12 17 - 12 40]
IL_000c: ldstr "0" //将字符串"0"存入到堆栈
IL_0011: call void [System.Console]System.Console::WriteLine(string) //调用System.Console::WriteLine方法
IL_0016: nop //什么都不做
// [13 13 - 13 14]
IL_0017: nop //什么都不做
IL_0018: br.s IL_003e //跳转到IL_003e
// [14 18 - 14 29]
IL_001a: ldloc.0 //把计算堆栈顶部的值(a)放到调用堆栈索引1处
IL_001b: ldc.i4.1 //把1放到计算堆栈上
IL_001c: ceq //比较两个值是否相等,并把值存入堆栈
IL_001e: stloc.2 //把计算堆栈顶部的值(V_2)放到调用堆栈索引2处
IL_001f: ldloc.2 //把计算堆栈顶部的值(V_2)放到调用堆栈索引3处
IL_0020: brfalse.s IL_0031 //表示计算栈上的值为 false/null/0,则跳转跳转到IL_0031标签所在的位置
// [15 13 - 15 14]
IL_0022: nop //什么都不做
// [16 17 - 16 40]
IL_0023: ldstr "1" //将字符串"1"存入到堆栈
IL_0028: call void [System.Console]System.Console::WriteLine(string) //调用System.Console::WriteLine方法
IL_002d: nop //什么都不做
// [17 13 - 17 14]
IL_002e: nop //什么都不做
IL_002f: br.s IL_003e //跳转到IL_003e
// [19 13 - 19 14]
IL_0031: nop //什么都不做
// [20 17 - 20 42]
IL_0032: ldstr "..." //将字符串"..."存入到堆栈
IL_0037: call void [System.Console]System.Console::WriteLine(string)
//调用System.Console::WriteLine方法
IL_003c: nop //什么都不做
// [21 13 - 21 14]
IL_003d: nop //什么都不做
// [22 9 - 22 10]
IL_003e: ret //retrun
} // end of method Program::Main
上面是不是很简单,大家可以根据相关代码看一下,这个还是相对来说比较简单地他并没有掺杂着异步和委托,在后面我们会看到其他代码的示例和介绍。