C#中string類型指派問題

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對象的，編譯器會報錯。

本文來自：http://www.svn8.com/dotnet/Csharp/2010012118486.html