.Net中各种不同的对象创建方式的速度差异（四）

核心提示：本文章为本人个人博客相应文章的镜像：原文地址： http://www.greatony.com/index.php/2010/02/24/speed-of-object-creation-in-dotnet-iv/ 在这片文章中，我们暂时放一放Activator.CreateInstance(Type)和Activat

本文章为本人个人博客相应文章的镜像：

原文地址： http://www.greatony.com/index.php/2010/02/24/speed-of-object-creation-in-dotnet-iv/

在这片文章中，我们暂时放一放Activator.CreateInstance(Type)和Activator.CreateInstance<T>()之间的性能差异，去探索一下，为什么使用泛型约束的速度和CreateInstance<T>()差不多（用屁股都能猜到应该是直接调用了CreateInstance<T>()）。




首先我们写一个小程序来验证我们的猜想：

1 using System;
2
3 namespace GenericNew
4 {
5　　 public class PRogram
6　　 {
7　　　　 public static void Main(string[] args)
8　　　　 {
9　　　　　　 CreateInstance<Program>();
10　　　　　　 new Program();
11　　　　 }
12　　 
13　　　　 public static T CreateInstance<T>() where T: new()
14　　　　 {
15　　　　　　 return new T();
16　　　　 }
17　　 }
18 }


编译了以后用reflector来查看编译的结果：

1 public static T CreateInstance<T>() where T: new()
2 {
3　　 return new T();
4 }
5


看起来没有什么问题啊，跟写的时候一样美妙，也没有见到System.Activator.CreateInstance<T>()的踪影。

那么，让我们切换到msil模式看看：

1 .method public hidebysig static !!T CreateInstance<.ctor T>() cil managed
2 {
3　　 .maxstack 2
4　　 .locals init (
5　　　　 [0] !!T local,
6　　　　 [1] !!T local2)
7　　 L_0000: nop
8　　 L_0001: ldloca.s local2
9　　 L_0003: initobj !!T
10　　 L_0009: ldloc.1
11　　 L_000a: box !!T
12　　 L_000f: brfalse.s L_001c
13　　 L_0011: ldloca.s local2
14　　 L_0013: initobj !!T
15　　 L_0019: ldloc.1
16　　 L_001a: br.s L_0021
17　　 L_001c: call !!0 [mscorlib]System.Activator::CreateInstance<!!T>()
18　　 L_0021: stloc.0
19　　 L_0022: br.s L_0024
20　　 L_0024: ldloc.0
21　　 L_0025: ret
22 }


恩，发现[mscorlib]System.Activator::CreateInstance<!!T>()了，通过分析这段代码，我们会发现，其实ms对于这个的性能还是做了一定的优化的，这段代码：



试图采用值类型的初始化方法初始化对象，并对该对象进行装箱操作
装箱失败的情况下，调用System.Activator.CreateInstance<T>()来创建对象


最后再返回创建好的对象。

那么是不是.net本来就是通过这种方式来创建对象的呢？

我们来对比一下new Program()这条语句的编译结果：

1 newobj instance void GenericNew.Program::.ctor()



那么为什么c#编译器没有采用这个指令来创建泛型类的实例呢？

我们需要参考一下msdn上对于newobj的用法的定义：

http://msdn.microsoft.com/en-us/library/system.reflection.emit.opcodes.newobj(VS.85).aspx

在这里，我们看到，newobj指令的使用方法是 newobj <ctor>

也就是说，它的参数是构造器，而非类型本身； 原因就在于，.Net允许有不同参数的构造器存在，只有指定了构造器，clr才知道要使用哪个构造器来初始化对象。

而，对于一个泛型类，在编译器是无法知道它的泛型参数的构造器信息的，自然就没有办法使用newobj指令了。




这就是事实的真相，在下一篇文章中，我们将去探究，事实的终极真相。