CLR via C# System.String 类型 字符串留用

检查字符串相等性是应用程序的常见操作，也是一种可能严重损害性能的操作。

执行序号（ordinal）相等性检查时，CLR快速测试两个字符串是否包含相同数量的字符。答案否定，字符串肯定不相等；答案肯定，字符串则可能相等。然后，CLR必须比较每个单独字符才能最终确认。

而执行对语言文化敏感的比较时，CLR必须比较所有单独的字符，因为两个字符串即使长度不同也可能是相等。

此外，在内存中复制同一个字符串的多个实例纯属浪费，因为字符串时“不可变”的。在内存中只保留字符串的一个实例将明显提升内存的利用率。需要引用字符串的所有变量只需指向单独一个字符串对象。

如果应用程序经常对字符串进行区分大小写的序号比较，或者事先知道许多字符串对象都有相同的值，就可利用CLR的字符串留用（string interning）机制来显著提升性能。CLR初始化会创建一个内部哈希表。在这个表中，键（key）是字符串，而值（value）是对托管堆中的 String 对象的引用。哈希表最开始是空的。String 类提供了两个方法，便于你访问这个内部哈希表：

方法 Intern 获取一个 String ，获得它的哈希码，并在内部哈希表中检查是否有相匹配的。如果存在完全相同的字符串，就返回对现有 String 对象的引用。如果不存在完全相同的字符串，就创建字符串的副本，将副本添加到内部哈希表中，返回对该副本的引用。如果应用程序不再保持对原始 String 对象的引用，垃圾回收器就可释放那个字符串的内存。注意垃圾回收器不能释放内部哈希表引用的字符串，因为哈希表正在容纳对它们的引用。除非卸载 AppDomain 或进程终止，否则内部哈希表引用的 String 对象不能被释放。

IsInterned 方法也获取一个 String ，并在内部哈希表中查找它。如果哈希表中有匹配的字符串，IsInterned 就返回对这个留用（interned）字符串对象的引用。但如果没有，IsInterned 会返回 null ，不会将字符串添加到哈希表中。

程序集加载时，CLR默认留用程序集的元数据中描述的所有字面值（literal）字符串。Microsoft 知道可能因为额外的哈希表查找而显著影响性能，所有现在能禁用此功能。如果程序集用System.Runtime.CompilerServices.CompilationRelaxationsAttribute 进行了标记，并指定了 System.Runtime.CompilerServices.CompilationRelaxations.NoStringInterning 标志值，那么根据ECMA 规范，CLR 可能选择不留用那个程序集的元数据中定义的所有字符串。注意，为了提升应用程序性能，C#编译器在编译程序集时总是指定上述两个特性和标志。

即使程序集指定了这些特性和标志，CLR也可能选择对字符串进行留用，但不要依赖CLR的这个行为。事实上，除非显式调用 String 的 Intern 方法，否则永远都不要以“字符串已留用”为前提来写代码。

//--

总之，字符串留用虽然有用，但使用须谨慎。