Я попытался сгенерировать IL для рекурсивного метода, используя следующую стратегию: Сначала я определил тип, используя следующий фрагмент кода
private void InitializeAssembly(string outputFileName)
{
AppDomain appDomain = AppDomain.CurrentDomain;
AssemblyName assemblyName = new AssemblyName(outputFileName);
assemblyBuilder = appDomain.DefineDynamicAssembly(assemblyName,
AssemblyBuilderAccess.Save);
moduleBuilder = assemblyBuilder.DefineDynamicModule(outputFileName, outputFileName + ".exe");
typeBuilder = moduleBuilder.DefineType(typeName, TypeAttributes.Public);
methodBuilder = typeBuilder.DefineMethod("Main",
MethodAttributes.Static | MethodAttributes.Public,
typeof(void),
System.Type.EmptyTypes);
ilGen = methodBuilder.GetILGenerator();
}
Затем я начал генерировать IL для рекурсивного метода, как указано ниже.
MethodBuilder method = typeBuilder.DefineMethod(
“MethodName”,
MethodAttributes.Static | MethodAttributes.Public,
NodeTypeToDotNetType(func.RetType),
parameters);
ILGenerator ilOfMethod = method.GetILGenerator();
method.DefineParameter();
Для вызова самого метода внутри тела метода я использовал следующую конструкцию,
ilOfMethod.Emit(OpCodes.Call, typeBuilder.GetMethod("MethodName", new System.Type[] {typeof(arg1),typeof(arg2),etc}));
Наконец, сохраните сгенерированную сборку, используя следующий метод .
private void SaveAssembly(string outputFileName)
{
ilGen.Emit(OpCodes.Ret);
typeBuilder.CreateType();
moduleBuilder.CreateGlobalFunctions();
assemblyBuilder.SetEntryPoint(methodBuilder);
assemblyBuilder.Save(outputFileName + ".exe");
}
К сожалению, это не работает, поскольку конструкция вызова рекурсивного метода внутри метода возвращает значение null. Проблема здесь в том, что рекурсивный вызов внутри метода (например, ilOfMethod.Emit (OpCodes.Call, typeBuilder.GetMethod ("MethodName", new System.Type [] {typeof (arg1), typeof (arg2), и т. Д.}) );
) возвращает ноль. Поскольку мы фактически создаем тип внутри метода SaveAssembly ()
, это приемлемо. Итак, мой вопрос: можно ли сгенерировать IL для рекурсивных методов, используя указанную выше конструкцию? Если это невозможно, дайте мне знать об альтернативных конструкциях для генерации IL для рекурсивных методов.