本篇讲解怎样生成while语句。while语句是编程语言中很重要的循环语句,它的结构是
while(<表达式>)
<语句或语句块>
当表达式的结果为true时就一直执行语句或语句块,否则就结束执行循环。
while语句的生成步骤是这样的。
一、声明两个跳转标签
while只需要两个跳转标签,分别用在表示式指令之前和语句块指令之前。
二、生成无条件跳转到表达式开始标签的指令
这是固定的,只有一句话。
三、标记语句块开始标签位置
四、并且生成语句块指令
五、标记表达式开始标签位置
六、并且生成表达式指令
七、生成Brtrue_S跳转到语句块开始标签的指令
完整程序如下:
using System;
using System.Reflection;
using System.Reflection.Emit;namespace LX1_ILDemo
{
class Demo25_While
{
static string binaryName = "Demo25_While.exe";
static string namespaceName = "LX1_ILDemo";
static string typeName = "DemoWhile"; static AssemblyBuilder assemblyBuilder;
static ModuleBuilder moduleBuilder;
static TypeBuilder typeBuilder;
static MethodBuilder mainMethod;
static MethodBuilder testMethod; static void Emit_TestMethod()
{
testMethod = typeBuilder.DefineMethod("Test", MethodAttributes.Public
| MethodAttributes.Static, typeof(void), new Type[] { typeof(int)});
ILGenerator ilGenerator = testMethod.GetILGenerator(); Label labelConditionStart = ilGenerator.DefineLabel();
Label labelBlockSart = ilGenerator.DefineLabel();
MethodInfo writeIntLineMethod = typeof(Console).GetMethod("WriteLine", new Type[] { typeof(int) }); ilGenerator.Emit(OpCodes.Br_S, labelConditionStart); ilGenerator.MarkLabel(labelBlockSart);
ilGenerator.Emit(OpCodes.Ldarg_0);
ilGenerator.Emit(OpCodes.Call, writeIntLineMethod);
ilGenerator.Emit(OpCodes.Ldarg_0);
ilGenerator.Emit(OpCodes.Ldc_I4_1);
ilGenerator.Emit(OpCodes.Sub);
ilGenerator.Emit(OpCodes.Starg_S, ); ilGenerator.MarkLabel(labelConditionStart);
ilGenerator.Emit(OpCodes.Ldarg_0);
ilGenerator.Emit(OpCodes.Ldc_I4_0);
ilGenerator.Emit(OpCodes.Cgt); ilGenerator.Emit(OpCodes.Brtrue_S, labelBlockSart); ilGenerator.Emit(OpCodes.Ret);
} public static void Generate()
{
InitAssembly();
typeBuilder = moduleBuilder.DefineType(namespaceName + "." + typeName, TypeAttributes.Public); Emit_TestMethod();
GenerateMain(); assemblyBuilder.SetEntryPoint(mainMethod, PEFileKinds.ConsoleApplication);
SaveAssembly();
Console.WriteLine("生成成功");
} static void GenerateMain()
{
mainMethod = typeBuilder.DefineMethod("Main", MethodAttributes.Public
| MethodAttributes.Static, typeof(void), new Type[] { });
var ilGenerator = mainMethod.GetILGenerator();
ilGenerator.Emit(OpCodes.Ldc_I4_S,(sbyte));
ilGenerator.Emit(OpCodes.Call, testMethod); MethodInfo readKeyMethod = typeof(Console).GetMethod("ReadKey", new Type[] { });
ilGenerator.Emit(OpCodes.Call, readKeyMethod);
ilGenerator.Emit(OpCodes.Pop); ilGenerator.Emit(OpCodes.Ret);
} static void InitAssembly()
{
AssemblyName assemblyName = new AssemblyName(namespaceName);
assemblyBuilder = AppDomain.CurrentDomain.DefineDynamicAssembly(assemblyName, AssemblyBuilderAccess.RunAndSave);
moduleBuilder = assemblyBuilder.DefineDynamicModule(assemblyName.Name, binaryName);
} static void SaveAssembly()
{
Type t = typeBuilder.CreateType(); //完成Type,这是必须的
assemblyBuilder.Save(binaryName);
}
}
}