c# - Mono.Cecil:从字符串创建指令

Question

我怎样才能像这样转动字符串:

"call        System.Console.WriteLine" 
"ldstr       \"hello\""

带操作数的指令？

Answer 1

如果您现在如何使用 Mono.Cecil(或 Reflection.Emit)，问题更普遍地是关于将文本解析为代码操作。

你有一些方法可以做到这一点，我可以给你一个提示，你可以选择你的方式。

首先，您需要一些先决条件(如果您的 IL 文本是有效的 IL 代码，这些先决条件已经存在)。例如，您无法猜测 Console.WriteLine 是什么。 Console 是一个程序集，类型，方法？ WriteLine 上的相同问题。即使我们知道 WriteLine 是一个方法，我们还需要选择哪个重载？那么泛型呢？因此，您需要设置一个约定，例如定义点是分隔符，第一部分是程序集，第二部分是命名空间，等等。

例如:

"mscorlib.System.Console.WriteLine(string)" 将被翻译成 System.Console.WriteLine(string)

在你有一个严格的契约(Contract)之后，你需要几个步骤(对于 WriteLine 例子):

1. 解析Assembly得到的是ModuleDefinition
2. 解析并导入Type
3. 解析并导入描述请求方法的MethodReference
4. 发出调用

做到这一点的一种方法是保留操作码的结构及其所需的操作。

例如，我们知道 call 指令需要发出对静态方法的调用(在大多数情况下)，因此您需要将操作数发送给 ParseStaticCall，在那里你需要解析字符串并发出调用指令

伪代码:

new Dictionary<string, Tuple<OpCode, Action<string>>>
{
    {
        "call",
        Tuple.Create<OpCode, Action<string>>
          (OpCodes.Call,ParseStaticCall)
    }
};


static void ParseStaticCall(Opcpde opcode,
                            string call,
                            ILProcessor processor)
{
    string assembly, namespaceName, type, method;
    int numOfParameters;

    var moduleDefenition = AssemblyResolver.Resolve(assembly).MainModule;

    var methodReference = 
        new ReferenceFinder(moduleDefenition).
            GetMethodReference(typeof (Console),
                md => md.Name == methodName &&
                md.Parameters.Count == numOfParameters);
        processor.Emit(opcode, methodReference);
}

AssemblyResolver 是一个帮助程序类，用于按名称和路径(可以是常量路径)查找程序集。 ReferenceFinder 是一个在特定模块中查找类型\方法的辅助类。

因此您需要为方法体创建方法和 ILProccesor，然后对于您拥有的每个字符串，您需要将指令操作码与操作数分开，然后在字典中查找所需的操作和传递操作码、作为字符串的操作数和 ILProccesor。