.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， 不是则再比较各个字符。