一文详解C#字符串不可变性和字符串驻留池

一、字符串不可变性（String Immutability）

在C#的世界里，string类型有一个非常核心且独特的属性：不可变性。这可不是一个简单的技术术语，它深刻地影响着程序的性能、内存管理乃至设计模式。简单来说，一旦一个字符串在内存中被创建出来，它的内容就永远无法被修改。你看到的任何“修改”操作，背后其实都在默默地创建一个全新的字符串对象。

1. 定义与底层逻辑

我们可以把C#中的字符串看作是一块被“封印”的内存区域。任何试图改变它的操作，比如变大写、拼接字符，都不会触动这块原始区域分毫。系统会另辟一块新地方，把修改后的结果放进去，然后把你的变量引用指向这个新地址。原来的那个字符串呢？如果没人再引用它，就静静地等待垃圾回收器（GC）来清理。

2. 为什么设计成不可变？

你可能会问，这样设计岂不是效率很低？其实恰恰相反，不可变性带来了几大关键优势：

1. 线程安全：因为只读，所以多个线程可以同时读取同一个字符串，完全不需要加锁，这在高并发场景下是巨大的性能红利。
2. 支持字符串驻留池：这是后文要讲的重点。正因为字符串不会被篡改，CLR才敢放心地把内容相同的字符串在内存中只存一份，让所有引用共享它。
3. 简化系统设计：哈希计算、缓存机制、乃至GC本身的设计都因为字符串的确定性而变得更加简单可靠。

来看个简单的代码例子，感受一下：

string s = "abc";
s.ToUpper();
Console.WriteLine(s); // 输出什么？还是 "abc"！

看到了吗？ToUpper()方法并没有改变原来的s，它返回了一个全新的“ABC”字符串，只是我们没去接收这个结果而已。

再看字符串拼接，这个“陷阱”更常见：

string a = "123";
a += "456";

这短短一行的底层，发生了这些事情：

• 原字符串"123"纹丝不动。
• 在堆上重新分配内存，创建了一个全新的字符串对象"123456"。
• 变量a的引用被更新，指向这个新对象。
• 旧的"123"对象如果没有其他引用，就成了待回收的垃圾。

3. 不可变性带来的挑战与对策

凡事有利有弊。不可变性最大的挑战就在于频繁的字符串修改操作，尤其是在循环中进行拼接（+=）。这会导致大量临时字符串对象被创建和丢弃，不仅消耗内存，还会频繁触发GC，严重影响性能。

解决方案就是使用StringBuilder。它是专门设计的可变字符序列，内部维护一个字符数组缓冲区，可以在原地进行修改、追加等操作，避免了大量新对象的创建，是处理高频字符串构建任务的不二之选。

二、字符串驻留池（String Intern Pool）

1. 它是什么？

如果说不可变性是字符串的“性格”，那么字符串驻留池就是基于这种性格而建立的一个“共享经济”系统。它是CLR（公共语言运行时）内部维护的一个全局哈希表，核心目的就一个：让内容完全相同的字符串，在内存中只保留一份实例，所有引用都指向它。这能极大地节省内存，特别是当程序中有大量重复字符串时。

2. 驻留池的两种“入住”方式

1. 编译期自动驻留：这是针对代码中直接书写的字符串字面量。
2. 运行期手动驻留：通过调用string.Intern()方法，将动态生成的字符串手动加入池中。

三、编译期驻留：字面量的特权

这是最常见的情况。所有你在代码里用双引号直接写出来的字符串，比如"hello"，在编译时就会被CLR识别并放入驻留池。

如何证明它们真的是同一个对象？看引用：

string s1 = "hello";
string s2 = "hello";

// 值相等是肯定的
Console.WriteLine(s1 == s2);      // True
// 关键看引用地址是否也相等
Console.WriteLine(object.ReferenceEquals(s1, s2)); // True！

两个True说明，s1和s2不仅值相同，它们根本就是指向堆上同一个字符串实例。这就是驻留池在起作用。

那么，什么情况不会进池呢？运行时动态生成的字符串默认不驻留。

string s1 = "hello";
string s2 = "hel" + "lo";   // 编译器会优化成"hello"，所以依然驻留
string s3 = new string("hello".ToCharArray()); // 通过char数组新建

Console.WriteLine(object.ReferenceEquals(s1, s3)); // False

s3是通过new在运行时构造的，它是一个独立的新对象，没有进入驻留池，所以引用地址和s1不同。

四、运行期手动驻留：string.Intern()

对于运行时动态产生、但又可能大量重复的字符串（比如解析模板生成的键名、重复的日志消息），我们可以手动将它们“送进”池子里，实现复用。

string s3 = new string("hello".ToCharArray()); // 动态创建，不在池中
string internStr = string.Intern(s3); // 手动将其驻留

// 现在，internStr 和池中的 "hello" 是同一个实例了
Console.WriteLine(object.ReferenceEquals(s1, internStr)); // True

Intern()方法的工作原理很直观：

1. 拿传入字符串的内容去驻留池这个全局表里查找。
2. 如果找到了，直接返回池中那个现有实例的引用。
3. 如果没找到，就把当前这个字符串的引用放入池中，然后返回它。

这个技巧在需要处理大量重复文本数据的场景下，是优化内存的利器。

五、驻留池住在哪里？

• 在传统的.NET Framework中，字符串驻留池是进程级别的全局单例，伴随进程生命始终。
• 而在现代的.NET Core / .NET 5+中，为了更好的隔离性，驻留池是按应用程序域（AppDomain）独立维护的。

需要留意的是，一旦字符串进入驻留池，它的生命周期就会变得很长，通常不会轻易被垃圾回收，因为池子本身持有对它的引用。

六、不可变性与驻留池：天作之合

现在你就能明白，字符串的不可变性和驻留池是相辅相成的完美设计。

• 正因为字符串不可变，CLR才敢大胆地实现驻留池。试想，如果字符串能被修改，那么通过s1修改了池中的“hello”，所有引用这个“hello”的变量（比如s2）的值都会莫名其妙地改变，这将导致灾难性的、难以调试的bug。
• 而驻留池的存在，又放大了不可变性带来的内存效率优势，使得重复的字符串字面量几乎不占用额外内存。
• 二者结合，实现了安全且高效的内存复用。

七、核心要点总结

最后，我们来梳理一下关于C#字符串最关键的几个认知：

• 字符串不可改，一改建新串：任何修改操作都会产生新对象，理解这一点是写出高效字符串处理代码的基础。
• 字面量进驻留池，同内容共用一块内存：代码里直接写的字符串会被自动复用，节省空间。
• 动态拼接默认不驻留，地址不同：运行时生成的字符串是新对象，引用比较（ReferenceEquals）会返回False。
• string.Intern手动入池，复用实例省内存：针对大量重复的动态字符串，可以考虑手动驻留来优化。
• 频繁拼接用StringBuilder，避免大量生成新字符串：这是应对不可变性性能开销的标准解决方案。