string.Intern结果不一致问题解析及应用场景咨询

测试代码 #

string s1 = new string(new char[] { 'H', 'e', 'l', 'l', 'o' });
string i1 = string.Intern(s1);
bool result1 = ReferenceEquals(s1, i1);

string s2 = new string(new char[] { 'H', 'e', 'l', 'l', 'o' });
string i2 = string.Intern(s2);
bool result2 = ReferenceEquals(s2, i2);

bool result3 = ReferenceEquals(i1, i2);
Console.WriteLine(result1); // 预期输出 False
Console.WriteLine(result2); // 预期输出 False
Console.WriteLine(result3); // 预期输出 True

实际运行差异 #

我在本地.NET 7环境及某在线编译器（.NET 8）运行上述代码时，输出为True, False, True；但在另一在线编译器（.NET 8）中输出为False, False, True。

我原本的理解是：s1在堆上创建新字符串对象并自动注册到驻留池，i1从驻留池获取同值引用，故s1与i1引用相同；s2创建同值新对象，i2从驻留池获取已存在的引用，故i1与i2引用相同。

现针对以下问题进行解析：

1. string.Intern 的具体工作机制 #

字符串驻留池是.NET runtime维护的全局字符串实例表，用于存储唯一的字符串值，核心目的是减少重复字符串的内存占用。string.Intern的运行逻辑如下：

• 调用string.Intern(str)时，先检查驻留池中是否存在与str值完全匹配的字符串实例；
• 若存在，直接返回驻留池中该字符串的引用；
• 若不存在，将str的引用加入驻留池，再返回该引用。

注意：并非所有字符串都会自动驻留——只有编译期确定的常量字符串（如直接写"Hello"）会被CLR自动加入驻留池；而通过new string()、动态拼接等运行时生成的字符串，默认不会进入驻留池，必须手动调用Intern才能加入。

2. 不同环境下结果差异的原因 #

差异的核心在于运行时的预驻留状态和JIT编译优化策略：

• 输出 True, False, True 的场景：
  • 要么当前运行时环境中未预驻留"Hello"字符串，调用Intern(s1)时直接将s1的引用加入驻留池，因此s1与i1引用相同；
  • 要么JIT编译器开启了特定优化，将new string(char[])这种可确定值的构造调用直接替换为驻留池中的常量字符串引用，此时s1本身就是驻留池实例，Intern返回同一个引用。
• 输出 False, False, True 的场景：
  当前运行时环境中已存在预驻留的"Hello"字符串（比如框架初始化代码、其他加载的程序集包含该字符串），调用Intern(s1)时返回的是池中的已有引用，而s1是新创建的非驻留实例，因此ReferenceEquals(s1, i1)为False。

3. 团队开发中的应用场景 #

• 内存优化：当系统需要频繁生成大量重复值的字符串（如数据库枚举值、配置项名称）时，通过Intern将这些字符串加入驻留池，避免重复创建相同对象，降低GC压力，节省内存。
• 高性能比较：在需要高频判断字符串相等的场景中，若能确保参与比较的字符串都经过Intern处理，可以用ReferenceEquals替代string.Equals，跳过值比较的开销，提升性能。
• 轻量级缓存：对缓存的键值对进行驻留处理，确保相同键始终指向同一个引用，提升缓存的查找效率。

注意事项

• 禁止滥用Intern：驻留池中的字符串会被GC永久保留直到应用退出，若驻留大量动态生成的唯一字符串，会导致内存泄漏。
• 区分Intern与IsInterned：string.IsInterned仅检查池中是否存在目标字符串，不存在则返回null，不会主动添加；而Intern会在不存在时将字符串加入池。

内容的提问来源于stack exchange，提问作者Furkan Bilal