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物件的,編譯器會報錯。
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物件的,編譯器會報錯。