大家都知道，C#中的string是一個引用類型，String對象是存放在堆上，而不是堆棧上的，因此，當(dāng)把一個字符串變量賦給另一個字符串時，會得到對內(nèi)存中同一個字符串的兩個引用。但是大家有沒有想過，為什么修改其中一個字符串，另外一個不受影響呢？
原來，當(dāng)我們把一個字符串變量賦給另一個字符串時，就會創(chuàng)建一個全新的String對象，就是說這個時候就會有兩個對象，比如：
輸出結(jié)果為：
s1 is original string
s2 is original string
s1 is now changed string
s2 is now original string
也就是說，改變s1的值并沒有對s2造成任何影響，這與我們平時所說的引用類型的行為正好相反。當(dāng)用值"original string"初始化s1時，就在堆上分配了一個String對象。在初始化s2時，引用也指向這個對象，所以s2的值也是"original string"。但是現(xiàn)在要改變s1的值，而不是替換原來的值時，堆上就會為新值分配一個新對象。s2變量仍然指向原來的對象，所以它的值沒有改變。
另外，如果我們像下面這樣：
string str1 = "abc";
string str2 = "abc";
當(dāng)我們用System.Object.Equals(str1,str2)比較時，返回值是true;按理說str1和str2應(yīng)該指向不同的空間，應(yīng)該返回false才對啊。原來Equals有三個版本:
前兩個實例方法內(nèi)部會調(diào)用CompareOrdinal靜態(tài)方法，它會字符串中的各個字符，如果相等就返回true。第三個首先會檢查兩個引用指向的是否是同一個對象，如果是,就返回true，不再去比較各個字符了。
其實CLR使用了一種叫字符串駐留的技術(shù)，對于
string str1="abc";
string str2="abc";
當(dāng)CLR初始化時，會創(chuàng)建一個內(nèi)部的散列表,其中的鍵為字符串，值為指向托管堆中字符串的引用。剛開始,散列表為空，JIT編譯器編譯方法時，會在散列表中查找每一個文本常量字符串，首先會查找"abc"字符串，并且因為沒有找到，編譯器會在托管堆中構(gòu)造一個新的指向"abc"的String對象引用，然后將"abc"字符串和指向該對象的引用添加到散列表中。
接著，在散列表中查找第二個"abc"，這一次由于找到了該字符串，所以編譯器不會執(zhí)行任何操作，代碼中再沒有其它的文本常量字符串，編譯器的任務(wù)完成，代碼開始執(zhí)行。執(zhí)行時，CLR發(fā)現(xiàn)第一個語句需要一個"abc"字符串引用，于是，CLR會在內(nèi)部的散列表中查找"abc"，并且會找到，這樣指向先前創(chuàng)建的String對象的引用就被保存在變量s1中，執(zhí)行第二條語句時，CLR會再一次在散列表中查找"abc"，并且仍然會找到，指向同一個String對象的引用會被保存在變量s2中，到此s1和s2指向了同一個引用，所以System.Object.Equals(s1,s2)就會返回true了。
另外，C#中是不允許用new操作符創(chuàng)建String對象的，編譯器會報錯。
