C#之CLR内存字符串常量池（string）

c#中的string是比特殊的类，说引用类型，但不存在堆里面,而且string str=new string("helloworld")这样的重装也说没有的。

我们先来看一个方法：

class program
{
  static void main(string[] args)
  {
    string s = "helloworld";
    console.writeline(s);
  }
}

然后我们用ildasm.exe工具把它生成il语言来看一看它里面是怎么玩的：

.method private hidebysig static void main(string[] args) cil managed
{
 .entrypoint
 // code size    15 (0xf)
 .maxstack 1
 .locals init ([0] string s)
 il_0000: nop
 il_0001: ldstr   "helloworld"
 il_0006: stloc.0
 il_0007: ldloc.0
 il_0008: call    void [mscorlib]system.console::writeline(string)
 il_000d: nop
 il_000e: ret
} // end of method program::main

我们在里面并没有看见newobj（所以我们认为不在堆里面）的指令，只有一个特殊ldstr(load string)指令，它用从元数据获取一个文本常量字符串(字符串常量池)构造一个string对象。这证明了clr说用一种特殊的方式构造了字符串。

我们再举一个简单例子看看：

class program
{
  static void main(string[] args)
  {
    string s = "helloworld";
    s = "helloc#";
    s = "hellojava";
    string s1= "helloc#";
    console.writeline(s);
  }
}

对照这个例子我们来看看内存图是怎么走的：

首先clr内部机制会在运行这个方法之前就会有"prologue"代码去开辟内存空间，s和s1就说这个时候创建的。

我们创建了一个s的字符串对象，赋值为helloworld，把s插入栈，然后内部机制去字符串常量池中找helloworld副本，发现没有找到就会创建一个，接着会去保存这个helloworld在字符串常量池中的地址(line1)。然后我们为s对象在赋值为helloc#,由于同一个对象，栈中不做操作，去字符串常量池中找，没找到则创建，然后修改s所存储的地址（line 2),hellojava同样的操作。 再创建一个s1的string对象，把s1压入栈，为s1赋值helloc#,这个时候会去字符常量池中找，找到了就存这个引用。