C# string 到底是引用类型还是值类型

 .Net 框架程序设计（修订版）中有这样一段描述：String类型直接继承自Object，这使得它成为一个引用类型，也就是说线程上的堆栈上不会驻留有任何字 符串。（译注：注意这里的“直接继承”。直接继承自Object的类型一定是引用类型，因为所有的值类型都继承自System.ValueType。值得 指出的是System.ValueType却是一个引用类型。）。

 

代码一：

string  str1 = "string" ; string  str2 = "string" ; Console .WriteLine(string .ReferenceEquals(str1, str2));

既 然String类型是引用类型，那么代码一输出的应该是False，然而事实上代码一输出时的是True。这是因为当CLR初始化的时，它会创建一个内部 的散列表，Key为字符串，Value为指向托管堆中字符串对象的引用。当构造str1时，先会去散列表中查询是否存在”string”字符串，如果不存 在那么会在托管堆中构造一个新的String对象，然后将”string”字符串和指向该对象的引用添加到散列表中，当构造str2时，由于散列表中存在 Key为”string”的引用，于是将Value值赋值给str2，那么str1和str2引用的是同一个String对象，代码一自然就返回True 了

代码二：

static void  Main(string [] args) { string  str = "string" ; Change(str); Console .WriteLine(str); } static void  Change(string  str) { str = "Changed" ; }

方法传递的参数是原内容的拷贝，其过程如果用图可表示为：

语句str=”Changed”之前

语句str=”Changed”之后

这 样可以看到原来String对象并未改变str=”Changed”只是创建一个新的String对象（其它引用类型是改变内存地址1指向的值），因此这 个方法的参数需要加上ref或者out修饰符。因此这里也可以得出字符串具有恒等性，也就是说一个字符串一旦被创建，我们就不能再将其变长、变短、或者改 变其中的任何字符。

代码三：

string  str1 = "string" ; string  str2 = "system."  + "string" ; string  str3 = "system."  + str1; Console .WriteLine(string .Equals(str3, str2));Console .WriteLine(string .ReferenceEquals(str2, str3)); string  str4 = "system.string" ; Console .WriteLine(string .Equals(str4, str2));Console .WriteLine(string .ReferenceEquals(str2, str4));

根 据代码一和二的分析，代码三的输出结果为：True True True True，然而事实却不是这样，正确的结果为：True False True True。这是因为动态创建的字符串不会去查询散列表，而是直接在托管堆中创建新的String对象，如语句string str3 = “syetem.”+str1，因此用string.ReferenceEquals来比较str2和str3会返回False，而用 string.ReferenceEquals来比较str2和str4会返回True。当然可以将str3字符串手动加入到散列表中，并返回引 用：str3 = string.Intern(str3),这样用string.ReferenceEquals来比较str2和str3会返回True，至于 string.Equals都返回True的原因是String重写了Equals方法，内部会先检查两个引用是否指向同一个对象，如果是返回True， 不是则再比较各个字符。