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