string是一种很特殊的数据类型，它既是基元类型又是引用类型，在编译以及运行时，.Net都对它做了一些优化工作，正式这些优化工作有时会迷惑编程人员，使string看起来难以琢磨，这篇文章分上下两章，共四节，来讲讲关于string的陌生一面。
一．恒定的字符串
要想比较全面的了解stirng类型，首先要清楚.Net中的值类型与引用类型。在C#中，以下数据类型为值类型：
bool、byte、char、enum、sbyte以及数字类型(包括可空类型)
以下数据类型为引用类型：
class、interface、delegate、object、stirng
看到了吗，我们要讨论的stirng赫然其中。被声明为string型变量存放于堆中，是一个彻头彻尾的引用类型。
那么许多同学就会对如下代码产生有疑问了，难道string类型也会“牵一发而动全身”吗？让我们先来看看以下三行代码有何玄机：
string a = "str_1";
string b = a;
a = "str_2";
不要说无聊，这一点时必须讲清楚的！在以上代码中，第3行的“=”有一个隐藏的秘密：它的作用我们可以理解为新建，而不是对变量“a”的修改。以下是IL代码，可以说明这一点：
.maxstack 1
.locals init ([0] string a,
[1] string b)
IL_0000: nop
IL_0001: ldstr "str_1"
IL_0006: stloc.0
IL_0007: ldloc.0
IL_0008: stloc.1
IL_0009: ldstr "str_2"
IL_000e: stloc.0 //以上2行对应 C#代码 a = "str_2";
IL_0015: ret
可以看出IL代码的第1、6行，由ldstr指令创建字符串"str_1"，并将其关联到了变量“a”中；7、8行直接将堆栈顶部的值弹出并关联到变量“b”中；9、10由ldstr创建字符串"str_2"，关联在变量“a”中（并没有像我们想象的那样去修改变量a的旧值，而是产生了新的字符串）；
在C#中，如果用new关键字实例化一个类，对应是由IL指令newobj来完成的；而创建一个字符串，则由ldstr指令完成，看到ldstr指令，我们即可认为，IL希望创建一个新的字符串 。（注意：是IL希望创建一个字符串，而最终是否创建，还要在运行时由字符串的驻留机制决定，这一点下面的章节会有介绍。）
所以，第三行C#代码(a = "str_2";)的样子看起来是在修改变量a的旧值"str_1"，但实际上是创建了一个新的字符串"str_2"，然后将变量a的指针指向了"str_2"的内存地址，而"str_1"依然在内存中没有受到任何影响，所以变量b的值没有任何改变---这就是string的恒定性，同学们，一定要牢记这一点，在.Net中，string类型的对象一旦创建即不可修改！包括ToUpper、SubString、Trim等操作都会在内存中产生新的字符串。
本节重点回顾：由于stirng类型的恒定性，让同学友们经常误解，string虽属引用类型但经常表现出值的特性，这是由于不了解string的恒定性造成的，根本不是“值的特性”。例如：
string a = "str_1";
a = "str_2";
这样会在内存中创建"str_1"和"str_2"两个字符串，但只有"str_2"在被使用，"str_1"不会被修改或消失，这样就浪费了内存资源，这也是为什么在做大量字符串操作时，推荐使用StringBuilder的原因。