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#,这个时候会去字符常量池中找，找到了就存这个引用。