如何使用mono.cecil按类型在方法体中找到变量？

Question

我在这里查看了 cecil 问题，但没有看到有关此特定问题的任何内容。

我想要实现的是在method.Body.Variables中找到一个特定类型的变量（在我的例子中是System.Exception ）

我编写了以下代码，认为它可以解决问题：

var exceptionTypeReference = module.Import(typeof(Exception));
var exceptionVariable = method.Body.Variables.First(x => x.VariableType == exceptionTypeReference);

尽管我确信原因是我对 cecil 的不熟悉，但对我来说似乎很奇怪的是我在运行时收到“序列不包含匹配元素”错误。

我已经逐步完成了代码，我知道那里有一个变量，它的类型是System.Exception ，但它不想与exceptionTypeReference匹配。

我确信这很简单，而且我的大脑是从学习 cecil 中炸出来的。 即便如此，任何指针，用湿鱼在脸上拍打等，都将不胜感激。

Answer 1

每次导入类型时，它都是TypeReference的不同实例

所以这

var typeReference1 = moduleDefinition.Import(typeof (Exception));
var typeReference2 = moduleDefinition.Import(typeof (Exception));
Debug.WriteLine(typeReference1 == typeReference2);

将输出false 。

所以当你做查询时

• VariableType可能是代表Exception的TypeReference的实例
• exceptionTypeReference将是代表Exception的TypeReference一个实例

但它们不是相同的引用，并且没有对TypeReference内置相等性检查。

你需要做的是

var exceptionType = module.Import(typeof(Exception));
var exceptionVariable = method
              .Body
              .Variables
              .First(x => x.VariableType.FullName == exceptionType.FullName);

还要记住，您必须处理继承的异常类型。

一方面不要小心使用.Import(typeof (Exception)) 。 原因是它为您提供了当前代码的 Exception 类型，而不是目标程序集的 Exception 类型。 例如，您可以使用 .net4 程序集处理 WinRT 程序集。 导入 .net4 Exception 类型可能会给您带来一些奇怪的行为。

所以你这样做也很安全

var exceptionVariable = method
                   .Body
                   .Variables
                   .First(x => x.VariableType.FullName == "System.Exception");