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