5

私が作成しているDynamicMethodで「操作によりランタイムが不安定になる可能性がある」という理由を発見しました。簡単に修正できましたが、一見単純な質問が残りました。

  • 「Object」型のオブジェクト参照を特定の型にキャストして、オブジェクト参照でその型からメソッドを呼び出せるようにするにはどうすればよいですか?

以下はサンプルプログラムです。これを実行すると、メソッドのコンパイル時に「操作によりランタイムが不安定になる可能性があります」という例外でクラッシュします。

この問題は、宣言されている変数の型を のTestClass代わりに型に変更するだけで修正されますObjectが、コード内の適切な型への参照をキャストする方法を知りたいです。

コードでは、アスタリスクで行をマークしました。メソッド呼び出しが通過するように、代わりにObjectスタック上の参照を参照にするその時点で、コードから何を発行できますか?TestClass

問題を引き起こすのはメソッド呼び出しであることを知っていることに注意してください。行を完全にコメントアウトすると、変数の型は関係ありません。メソッドはコンパイルされ、正常に実行されます。

これがコードです。

using System;
using System.Reflection.Emit;

namespace ConsoleApplication9
{
    public class TestClass
    {
        public void TestMethod() { }
    }

    class Program
    {
        static void Main(string[] args)
        {
            Type type = typeof(TestClass);
            DynamicMethod method = new DynamicMethod("", typeof(Object), null);
            ILGenerator il = method.GetILGenerator();
            LocalBuilder variable = il.DeclareLocal(typeof(Object));

            // Construct object
            il.Emit(OpCodes.Newobj, type.GetConstructor(new Type[0]));
            il.Emit(OpCodes.Stloc, variable);

            // Call Test method
            il.Emit(OpCodes.Ldloc, variable);
            // ***************************************** what do I do here?
            il.Emit(OpCodes.Call, type.GetMethod("TestMethod"));

            // Return object
            il.Emit(OpCodes.Ldloc, variable);
            il.Emit(OpCodes.Ret);

            // Create and call delegate
            Func<Object> fn = (Func<Object>)method.CreateDelegate(
                typeof(Func<Object>));
            Object instance = fn();
        }
    }
}
4

1 に答える 1

12

簡単な答え：

// Call Test method
il.Emit(OpCodes.Ldloc, variable);
il.Emit(OpCodes.Castclass, type);
il.Emit(OpCodes.Call, type.GetMethod("TestMethod"));

しかし、どうやってそれを手に入れるのですか？さて、私が使用した方法はリフレクターでした。まず、やりたいことを実行するメソッドを作成します。私は次のことを思いつきました：

private static object PrecompiledTest()
{
    object variable = new TestClass();
    ((TestClass) variable).TestMethod();
    return variable;
}

次に、それをコンパイルし、Reflector を開き、アセンブリを開きます。関数に移動し、MSIL を確認します。上記の関数は、次のように逆コンパイルされます。

.method private hidebysig static object PrecompiledTest() cil managed
{
    .maxstack 1
    .locals init (
        [0] object variable,
        [1] object CS$1$0000)
    L_0000: nop 
    L_0001: newobj instance void EmitTest.TestClass::.ctor()
    L_0006: stloc.0 
    L_0007: ldloc.0 
    L_0008: castclass EmitTest.TestClass
    L_000d: callvirt instance void EmitTest.TestClass::TestMethod()
    L_0012: nop 
    L_0013: ldloc.0 
    L_0014: stloc.1 
    L_0015: br.s L_0017
    L_0017: ldloc.1 
    L_0018: ret 
}

上記は のcallvirt代わりに使用しcallます。私はILにそれほど精通しているわけではないので、違いはわかりませんがcall、あなたの例ではうまくいきます。最後にもう 1 つ、Reflector について説明します。ReflectionEmitLanguageアドインを使用すると、効果的にEmitコードを生成できます。このアドインは、次のコードを生成します。

public MethodBuilder BuildMethodPrecompiledTest(TypeBuilder type)
{
    // Declaring method builder
    // Method attributes
    System.Reflection.MethodAttributes methodAttributes = 
          System.Reflection.MethodAttributes.Private
        | System.Reflection.MethodAttributes.HideBySig
        | System.Reflection.MethodAttributes.Static;
    MethodBuilder method = type.DefineMethod("PrecompiledTest", methodAttributes);
    // Preparing Reflection instances
    ConstructorInfo ctor1 = typeof(TestClass).GetConstructor(
        BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic, 
        null, 
        new Type[]{
            }, 
        null
        );
    MethodInfo method2 = typeof(TestClass).GetMethod(
        "TestMethod", 
        BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic, 
        null, 
        new Type[]{
            }, 
        null
        );
    // Setting return type
    method.SetReturnType(typeof(Object));
    // Adding parameters
    ILGenerator gen =  method.GetILGenerator();
    // Preparing locals
    LocalBuilder variable =  gen.DeclareLocal(typeof(Object));
    LocalBuilder CS$1$0000 =  gen.DeclareLocal(typeof(Object));
    // Preparing labels
    Label label23 =  gen.DefineLabel();
    // Writing body
    gen.Emit(OpCodes.Nop);
    gen.Emit(OpCodes.Newobj,ctor1);
    gen.Emit(OpCodes.Stloc_0);
    gen.Emit(OpCodes.Ldloc_0);
    gen.Emit(OpCodes.Castclass,TestClass);
    gen.Emit(OpCodes.Callvirt,method2);
    gen.Emit(OpCodes.Nop);
    gen.Emit(OpCodes.Ldloc_0);
    gen.Emit(OpCodes.Stloc_1);
    gen.Emit(OpCodes.Br_S,label23);
    gen.MarkLabel(label23);
    gen.Emit(OpCodes.Ldloc_1);
    gen.Emit(OpCodes.Ret);
    // finished
    return method;
}
于 2009-10-13T22:00:49.487 に答える