從String型別發散想到的一些東西

值型別 引用型別

字元特殊性

• 不可變性。字串建立後，重新賦值的話，不會更新原有值，而是將引用地址更新到一個新的記憶體地址上。
• 
  

  [Fact]   public void Base_Test()   {       string a = "abc";       string b = "abc";       //字串的留存性，初始化後會放入常量池，b直接引用a的物件       Assert.True(string.ReferenceEquals(a, b));        string c = new String("abc");       string d = new String("abc");       //直接new的話，會重新分配記憶體       Assert.False(string.ReferenceEquals(c, d));       Assert.False(string.ReferenceEquals(a, c));        string e = "abc";       //這裡e還是使用字串的留存性，且使用的還是a的地址。證明c分配的記憶體引用並沒有放入常量池替換       Assert.True(string.ReferenceEquals(a, e));       Assert.False(string.ReferenceEquals(c, e));        string f = "abc" + "abc";       string g = a + b;       string h = "abcabc";       //f在編譯期間確定，實際還是從常量池中獲取       //IsInterned 表示從常量池中獲取對應的字串，獲取失敗返回null       //a+b實際上是發生了字串組合運算，內部重新new了一個新的字串，所以f,g引用地址不同       Assert.False(string.ReferenceEquals(f, g));       Assert.True(string.ReferenceEquals(string.IsInterned(f), h));       Assert.True(string.ReferenceEquals(f, h));   }

Stringbuilder

equals ==

• equals：比較字串的值
• ==：比較字串的引用地址是否相同

• 自反性(Reflexive): x.equals(x)必須返回true.
• 對稱性(Symmetric): x.equals(y)為true時,y.equals(x)也為true.
• 傳遞性(Transitive): 對於任何非null的應用值x,y和z,如果x.equals(y)返回true,並且y.equals(z)也返回true,那麼x.equals(z)必須返回true.
• 一致性(Consistence): 如果多次將物件與另一個物件比較,結果始終相同.只要未修改x和y的應用物件,x.equals(y)連續呼叫x.equals(y)返回相同的值l.
• 非null(Non-null): 如果x不是null,y為null,則x.equals(y)必須為false

• 兩個相等物件根據equals方法比較時相等，那麼這兩個物件中任意一個物件的hashcode方法都必須產生同樣的整數。
• 在我們未對物件進行修改時,多次呼叫hashcode使用返回同一個整數.在同一個應用程式中多次執行,每次執行返回的整數可以不一致.
• 如果兩個物件根據equals方法比較不相等時,那麼呼叫這兩個物件中任意一個物件的hashcode方法,不一同的整數。但不同的物件,產生不同整數,有可能提高雜湊表的效能.

public enum StringComparison {     //     // 摘要:     //     使用區分割槽域性的排序規則和當前區域性比較字串。     CurrentCulture = 0,     //     // 摘要:     //     透過使用區分割槽域性的排序規則、當前區域性，並忽略所比較的字串的大小寫，來比較字串。     CurrentCultureIgnoreCase = 1,     //     // 摘要:     //     使用區分割槽域性的排序規則和固定區域性比較字串。     InvariantCulture = 2,     //     // 摘要:     //     透過使用區分割槽域性的排序規則、固定區域性，並忽略所比較的字串的大小寫，來比較字串。     InvariantCultureIgnoreCase = 3,     //     // 摘要:     //     使用序號（二進位制）排序規則比較字串。     Ordinal = 4,     //     // 摘要:     //     透過使用序號（二進位制）區分割槽域性的排序規則並忽略所比較的字串的大小寫，來比較字串。     OrdinalIgnoreCase = 5 }

引數傳遞

• 值傳遞。預設的引數傳遞都是這種方式。會將物件的值在棧copy一份，然後將複製集的值傳給方法。這裡的值對於 值型別來說，即為物件副本的值。對於引用型別來說，即為物件在堆上的地址。
• 引用傳遞。可以透過  ref  out 關鍵字實現。對於值型別，會直接傳入原物件在棧上的引用。對於引用型別，會傳入原有物件的堆地址的引用。

    [Fact]     public void Base_Test()     {         //引用型別引數         TestClass s = new TestClass();         s.Tag = "abc";          TestMethod m = new TestMethod();         m.ReNew(s);         //引數s 實際是物件 s的 地址複製。兩者在棧上不同，但是指向的堆地址相同         //在ReNew方法中 "引數s" 重新指向了一個新的物件，但是不影響舊的物件s         Assert.True(string.Equals("abc", s.Tag));          m.Change(s, "123");         //Change方法是直接修改 引數s 指向的堆物件內的欄位資料，所有物件s欄位也發生了變化         Assert.True(string.Equals("123", s.Tag));          m.ReNew2(ref s);         //注意和ReNew的區別，因為是ref 引用傳遞，所有原物件引用地址指向了新new的物件地址         Assert.False(string.Equals("abc", s.Tag));         Assert.True(string.Equals("cba", s.Tag));          //值型別引數         int val = 100;         //Change方法內部改變了val的值，但不影響val原來的值         m.Change(val);         Assert.True(val == 100);          m.Change(out val);         //使用out標記，改變了val原來的值         Assert.True(val == 123);     } }  public class TestMethod {     public void ReNew(TestClass c)     {         c = new TestClass() { Tag = "cba" };     }      public void ReNew2(ref TestClass c)     {         c = new TestClass() { Tag = "cba" };     }      public void Change(TestClass c, string tag)     {         c.Tag = tag;     }      public void Change(int a)     {         a = 123;     }     public void Change(out int a)     {         a = 123;     } }  public class TestClass {     public string Tag { get; set; } }

ref out

裝箱 拆箱