前兩個實例方法內部會調用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對象的,編譯器會報錯。