.Net——IL之实例创建

1、newobj和initobj

关于newobj的分析：

• 从托管堆分配指定类型所需要的全部内存空间。
• 在调用执行构造函数初始化之前，首先初始化对象附加成员：一个是指向该类型方法表的指针；一个是SyncBlockIndex，用于进行线程同步。所有的对象都包含这两个附加成员，用于管理对象。
• 最后才是调用构造函数ctor，进行初始化操作，并返回新建对象的引用地址。

关于initobj的分析：

• 这种构造不需要调用值类型的构造函数。具体的执行过程呢？以上例来说，initobj MyStruct的执行结果是，将MyStruct中的引用类型成员初始化为null，而值类型成员则置为0。
• 直接显式调用构造函数来完成初始化，对应于IL则是对构造函数ctor的调用。
• 
  

结论：newobj用于分配和初始化对象，initobj用于初始化值类型。
区别主要包括：

• newobj用于分配和初始化引用类型对象；而initobj用于初始化值类型。因此，可以说，newobj在堆中分配内存，并完成初始化；而initobj则是对栈上已经分配好的内存，进行初始化即可，因此值类型在编译期已经在栈上分配好了内存。
• newobj在初始化过程中会调用构造函数；initobj不会调用构造函数，而是直接对实例置空。
• newobj有内存分配的过程；而initobj则只完成数据初始化操作。

2、ldstr

ldstr是load string的简写，在IL中表示加载字符串，用于构造string对象的实例。它是CLR一种特殊的构造字符串对象的方式，也是最常用的一种方式，用于从元数据中获得文本常量。MSDN的解释是：推送对元数据中存储的字符串的新对象引用。

这一操作主要包括两个方面：

• 在堆中分配所必需的内存空间。
• 完成从文本使用的格式到运行使用的格式转换操作。

3、newarr

• newarr指令为其分配内存空间。具体的细节包括：在调用newarr前将数组的大小压入堆栈，也就是上步完成的工作，然后newarr生成一个指定类型System.Char的数组，并将数组的引用压入堆栈。
• stelem.i2，表示为数组赋值，对应于arrChars[0] = ‘a’。stelem接受一个数组引用、下标和一个存储到数组中的对象或者值。
• ldelem.u2，接受一个数组引用、下标和类型标记，提取该数组元素地址并装入栈中，对应于arrChars[0]的执行过程。

注意，需要明确的一点是，newarr指令只用于完成一维并且下标从零开始的数组，这种数组被称为一维零基数组（Zero-based Array）。其他类型数组的创建，例如超过一维或者一维但是下标不从零开始的数组，仍然由newobj完成。因此，强烈推荐使用零基数组，在访问数组时不需要通过索引减去偏移量来完成，而且JIT也只需执行一次范围检查，从而大大提升访问性能。