本文章为本人个人博客相应文章的镜像：
原文地址： 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指令了。
这就是事实的真相，在下一篇文章中，我们将去探究，事实的终极真相。