通过IL Emit来创建类型的探究

　　最近刚开始研究IL，起源是看到Odin内部源码创建一个Type使用了这种做法，当时好奇为什么要这么做。

　　先丢出代码例子：

class TestClass 
        {
            public TestClass() 
            {
                mylist = new List<int>();
                for(int i=0;i<100;i++) 
                {
                    mylist.Add(i);
                }
            }

            public int x = 5;
            public List<int> mylist;
        }

// Do Some Test
            int needCnt = 10000;
            var preTime = EditorApplication.timeSinceStartup;
            for(int i=0;i<needCnt;i++) 
            {
                TestClass t = new TestClass();
            }
            var nowTime = EditorApplication.timeSinceStartup;
            Debug.Log("通常创建的时间 " + (nowTime - preTime));

            var type = typeof(TestClass);
            var constructor = type.GetConstructor(Type.EmptyTypes);
            var method = new DynamicMethod(type.FullName + "_FastCreator", type, Type.EmptyTypes);

            var il = method.GetILGenerator();

            il.Emit(OpCodes.Newobj, constructor);
            il.Emit(OpCodes.Ret);

            var fastCreator = (Func<TestClass>)method.CreateDelegate(typeof(Func<TestClass>));
            
            preTime = EditorApplication.timeSinceStartup;
            for(int i=0;i<needCnt;i++) 
            {
                var t = constructor.Invoke(new object[] {});
            }
            nowTime = EditorApplication.timeSinceStartup;
            Debug.Log("构造函数Invoke并且不转型创建的时间 " + (nowTime - preTime));

            preTime = EditorApplication.timeSinceStartup;
            for(int i=0;i<needCnt;i++) 
            {
                TestClass t = constructor.Invoke(new object[] {}) as TestClass;
            }
            nowTime = EditorApplication.timeSinceStartup;
            Debug.Log("构造函数Invoke创建的时间 " + (nowTime - preTime));

            preTime = EditorApplication.timeSinceStartup;
            for(int i=0;i<needCnt;i++) 
            {
                TestClass t = fastCreator();
            }
            nowTime = EditorApplication.timeSinceStartup;
            Debug.Log("Emit创建的时间 " + (nowTime - preTime));

　　测试结果如下（直接在Unity上跑的）：

　　看起来的结果就是，通过IL Emit的时间跟直接new一个的时间是同一个数量级别的，通过method.Invoke的时间要慢上一倍。

　　个人猜测Odin选择这种做法来创建种种类型的原因如下：1. 时间上比Invoke要快 2. 只有Type信息无法调用new（猜测？）3. 方便制造成一个委托，下次再用。

　　以后有更多心得了再补充。。。

---------------------------------------------------------------分割线----------------------------------------------------------------

　　又稍微了解了一下，第二点应该是错误的，可以通过 TestClass t = (TestClass)Activator.CreateInstance(type); 来创建对应的类型，甚至可以传入额外的参数来调用其他的构造函数。然后重新跑了下，新的测试结果如下：

　　可以看到的是，这种方法的时间开销也是蛮高的，不如IL Emit。

　　然后看了一下别人的博客，看到如下的一句话：　　

　　另外，凡事要分两面，Emit的效率高是有条件的，Emit动态创建方法的代价通常在1ms左右（一个非常高的初始代价），如果反射次数相当的少，原始反射的效率比Emit要高，只有当这个被Emit的方法被调用了相当多次（例如1000次）以后，才能补偿掉这个初始代价而lz的例子正好作为反面例子，每次创建一个动态方法（高代价），然后执行一行数据，然后就抛弃这个花了很大代价得到的动态方法，重新再创建...

　　大概理解了Odin为什么要采用这种做法，如上面所说的，把Emit动态创建的方法存在表里，下次可以直接调用，速度又快又避免了创建代价大的问题。Odin利用这种方法创建各种OdinDrawer。