[No0000B4].Net中String是引用类型还是值类型，答string是特殊的引用类型

using System;

internal class Program
{
    private static void Main()
    {
        //值类型
        int a = ;
        int b = a;
        a = ;
        Console.WriteLine($"a is {a},b is {b}");

        //字符串
        string str1 = "ab";
        string str2 = str1;
        str1 = "abc";
        Console.WriteLine($"str1 is {str1},str2 is {str2}");
        Console.Read();
    }
}

str2依然是ab,并没有随str1的改变而改变。如果string是引用类型，按理Str1和Str指针都指向同一内存地址，如果Str的内容发生改变，Str1应该也会相应变化。此例子，看着string更像是值类型。

但是MSDN却说String是引用类型。

查看具体引用是否相同

Net不允许查看内存地址，只能通过间接方法来实现：

    static void TestRefAddress()
    {
        String str1 = "abc";
        String str2 = "abc";
        int a = ;
        int b = ;
        StringBuilder strb1 = new StringBuilder("abc");
        StringBuilder strb2 = new StringBuilder("abc");
        Console.WriteLine("Reference equal for string: " + Object.ReferenceEquals(str1, str2)); //结果True,不同对象，但引用地址相同
        Console.WriteLine("Reference equal for int: " + Object.ReferenceEquals(a, b)); //结果False,值类型装箱操作造成
        Console.WriteLine("Reference equal for StringBuilder: " + Object.ReferenceEquals(strb1, strb2)); //结果False，不同对象，引用地址不同
        Console.WriteLine("Value equal for string: " + str1.Equals(str2)); //结果True，类似于值类型
        Console.Read();
    }

由第一条结果，可以判定不同的String的，相同的值，其引用地址相同，再由第四条结果，str1.Equals(str2),两者结合，可得出结论，两个String，如果赋值为同一个值，在内存中只有一个字符串存在，两个引用的地址相同。由此引出String的不变性。
String的不变性
string最为显著的一个特点就是它具有恒定不变性：我们一旦创建了一个string，在managed heap 上为他分配了一块连续的内存空间，我们将不能以任何方式对这个string进行修改使之变长、变短、改变格式。所有对这个string进行各项操作（比如调用ToUpper获得大写格式的string）而返回的string，实际上另一个重新创建的string，其本身并不会产生任何变化。
string 对象称为不可变的（只读），因为一旦创建了该对象，就不能修改该对象的值。有的时候看来似乎修改了，实际是string经过了特殊处理，每次改变值时都会建立一个新的string对象，变量会指向这个新的对象，而原来的还是指向原来的对象，所以不会改变。这也是string效率低下的原因。
String的不变，并非说string不能改变，而是其值不能改变。
在例子中str1="ab",这时在内存中就将“ab”存下来，如果再创建字符串对象，其值也等于“ab”，str2="ab",则并非再重新分配内存空间，而是将之前保存的“ab”的地址赋给str2的引用，这就能印证例子2中的结果。而当str1="abc"其值发生改变时，这时检查内存，发现不存在此字符串，则重新分配内存空间，存储“abc”，并将其地址赋给str1，而str2依然指向“ab”的地址。可以印证例子1中的结果。
结论：String是引用类型，只是编译器对其做了特殊处理。