2

我有几个特殊的方法，我想分析它们在编译的程序集中调用。

例子：

public static class SrcHelper {
    [MySpecialMethod]
    [Conditional( "DEBUG" )]
    public static void ToDo( params object[] info ) {
        /* do nothing */
        /* this method is not called when code is compiled in RELEASE mode */
    }
}
// ... somewhere else in another assembly ...
Array CreateArraySampleMethod( int size ) {
    // This call has only informative character. No functionality is required.
    SrcHelper.ToDo( "Should create array of ", typeof( MyClass ), " with specified size." );
    throw new NotImplementedException();
}

从这个编译的代码中，我想得到参数值{“应该创建具有指定大小的“，MyClass，”数组。” }。我尝试使用 Mono 的 Cecil，并找到了调用“ToDo”方法的说明。但是现在我很困惑如何用参数值来识别指令。

我知道，情况可能很复杂，有些参数的值无法解决。但我只需要解析常量值 - 这足以满足我的目的。

谢谢。

编辑： “ToDo”方法（和类似方法）应用作注释的替代方法（ //, /* ... */ ），编译后，应进行 IL 分析并自动生成文档和具体装配的 todo-list .

4

1 回答 1

1

代码生成有点混乱，但可以在简单的情况下完成：

编译：

public static void Main(string[] args)
{
    Console.WriteLine("", // ignore this argument
       "Should create array of ", typeof(int), " with specified size." "x");
}

（添加“x”以强制它使用参数重载）

给

.method public hidebysig static void Main(string[] args) cil managed
{
    .custom instance void [mscorlib]System.STAThreadAttribute::.ctor()
    .maxstack 4
    .locals init (
        [0] object[] objArray)
    L_0000: ldstr ""
    L_0005: ldc.i4.4 
    L_0006: newarr object
    L_000b: stloc.0 
    L_000c: ldloc.0 
    L_000d: ldc.i4.0 
    L_000e: ldstr "Should create array of "
    L_0013: stelem.ref 
    L_0014: ldloc.0 
    L_0015: ldc.i4.1 
    L_0016: ldtoken int32
    L_001b: call class [mscorlib]System.Type 
                [mscorlib]System.Type::GetTypeFromHandle(
                    valuetype [mscorlib]System.RuntimeTypeHandle)
    L_0020: stelem.ref 
    L_0021: ldloc.0 
    L_0022: ldc.i4.2 
    L_0023: ldstr " with specified size."
    L_0028: stelem.ref 
    L_0029: ldloc.0 
    L_002a: ldc.i4.3 
    L_002b: ldstr "x"
    L_0030: stelem.ref 
    L_0031: ldloc.0 
    L_0032: call void [mscorlib]System.Console::WriteLine(string, object[])
    L_0037: ret 
}

所以你要做的是解析 il 以检测被推入编译器生成数组的参数。一个脆弱但可能足以说：

  1. 找到对“我的方法”的调用。
  2. 找到最近的上一个 newarr 对象
  3. 将所有 ldstr 和 ldtoken 放在它们之间，并假设它们是参数。

这很粗糙，但可能足以满足您的需求。

AOP 风格的方法将通过简单地检测每次调用以转储值来在运行时为您提供所需的内容，但在简单的时候，上述方法是您唯一现实的选择，仅给出 IL。

生成的代码在发布版本中可能非常不同，您将无法发现自动生成的数组与某人自己明确创建它（可能离调用站点更远，甚至在不同的方法/构造函数/类中。

附带条件

我应该在您编辑后说明为什么要这样做，基于属性的注释是一个更好的解决方案，我不明白为什么当您可以直接属性时，您会希望在方法中执行此操作......

于 2009-05-13T12:23:51.680 回答