[你必须知道的.NET]第二十二回：字符串驻留 ---带着问题思考

//Release:code01,2008/08/20

//Author:Anytao,http://www.anytao.com

staticvoidMain()

{

strings1="abc";

Console.WriteLine(string.IsInterned(s1)??"null");

}

//Release:code02,2008/08/20

//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings1="ab";
s1+="c";
Console.WriteLine(string.IsInterned(s1)??"null");
}


稍加修改，这回的答案又该如何分析，我们继续。

//Release:code03,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings1="abc";
strings2="ab";
s2+="c";
strings3="ab";
Console.WriteLine(string.IsInterned(s1)??"null");
Console.WriteLine(string.IsInterned(s2)??"null");
Console.WriteLine(string.IsInterned(s3)??"null");
}


如果上述执行过程，你能很快给出答案，那么恭喜了，第一关看来不是那么费劲，我们接着思考，继续第二关：

//Release:code04,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings1="abc";
strings2="ab";
strings3=s2+"c";
Console.WriteLine(string.IsInterned(s3)??"null");
}


还有一个，我们继续

//Release:code05,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings2="ab";
s2+="c";
Console.WriteLine(string.IsInterned(s2)??"null");
strings1="abc";
}


你的答案怎么是？我们还是接着迎接挑战：

//Release:code06,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings2="ab";
s2+="c";
Console.WriteLine(string.IsInterned(s2)??"null");
strings1=GetStr();
}
privatestaticstringGetStr()
{
return"abc";
}


这是第二关了，你的思考肯定还在继续，我们第三关也呼之欲出：

//Release:code07,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
publicconststrings1="abc";
staticvoidMain()
{
strings2="ab";
s2+="c";
Console.WriteLine(string.IsInterned(s2)??"null");
}


最后一个，冲出藩篱：

//Release:code08,2008/08/20
//Author:Anytao,
'target='_blank'>http://www.anytao.com
publicstaticstrings1="abc";
staticvoidMain()
{
strings2="ab";
s2+="c";
Console.WriteLine(string.IsInterned(s2)??"null");
}


过关斩将，三轮PK，是英雄比高。不管怎样，你的答案和思考，肯定会让大家对string刮目相看，是否和你一直以来的认识统一呢？在此感谢KiMoGiGi给我的启示。有了问题，我们更需要的是思考、探讨和反思。

2欲求思考

欲求思考，则从基本开始，对于理解整个stringintern机制是大有裨益的，因此深入的第一步就从基本概念开始。随着我们分析的层层深入，就会发现看似曲折的结果，原来不过如此而已，这正是技术探求的最佳方式。

什么是string

什么是string呢，提起这个问题，我想下面的图例可以给出一点启示：



string在本质上就是一连串的有顺序的字符集合。

简单的说，string就是char[]，而在.NET中string头一回具有了类的概念，暗合了.NET一切皆为对象的大一统格局。回归本质，我们重新审视如此另类而多彩的string，你会不禁明白，string本质上就是一个16位Unicode字符数组。打开string的Disassemble代码，我们可直击其本质：

[Serializable,ComVisible(true)]
publicsealedclassString:IComparable,ICloneable,IConvertible,IComparable<string>,
IEnumerable<char>,IEnumerable,IEquatable<string>
{
}


结合string的定义，我们可以看出其基本的特性主要包括：

引用类型，string本质上是引用类型，相关内容参考《你必须知道的.NET》对值类型和引用类型的讨论。
字符串恒等性。
字符串驻留性，本文的研究重点。
密封性，由sealed关键字可见，sealed特性为实现字符串恒等性和字符串驻留机制，提供了基础保证，具体的原因参见《你必须知道的.NET》关于string的相关论述。

关于这些特性并非本文关注的热点，还有大量的命题值得我们关注，总结起来还可包括：

字符串比较：以等价规则而非恒等规则进行比较。
常用方法：Trim()、ToLow()、Replace()、Split()、PadRight()、SubString()和Join()
格式化。
转移字符。
StringBuilder，另一个重要的话题。
Encoding，编码。
Culture&Internationalization，语言文化。
overloads==，==重载。

由此可知，string真是一个丰富而多彩的技术仓库，饱含了.NET技术中很多精髓与技巧，我们不可能在本文中尽述其然，更多的论述和分析可以参考以下信息：


快捷参考
关，你可以参考：

string的更多技术与规则，可以参考《你必须知道的.NET》8.3节“如此特殊：大话String”
等价规则和恒等规则，可以参考《你必须知道的.NET》8.2节“规则而定：对象判等”



接下来，本文的主题闪亮登场。

什么是字符串驻留（StringInterning）

回归经典，我们首先给出MSDN对于字符串驻留的一点讨论：

公共语言运行库通过维护一个表来存放字符串，该表称为拘留池，它包含程序中以编程方式声明或创建的每个唯一的字符串的一个引用。因此，具有特定值的字符串的实例在系统中只有一个。

例如，如果将同一字符串分配给几个变量，运行库就会从拘留池中检索对该字符串的相同引用，并将它分配给各个变量。

之所以，将string这个熟悉的命题拿出来造轮子，并不是再造个轮子自己陶醉。关于string的轮子，实在太多了，而且个个不顺眼，它就像编程的精灵，四处可见随处都有。string是如此的重要，以至于CLR必须以特殊的方式来实现对string类型的管理、存取和布局，在这些复杂的特殊表象中，字符串驻留机制是string特殊性的集中体现，它的基本原理可以概括为：

CLR维护一个类似于哈希表的内部结构，用于维护对于字符串的统一管理。
但JIT编译时，CLR首先查找哈希表，如果没有找到匹配的字符串记录，则在托管堆中创建新的string实例，并为哈希表添加一个键值对记录；下一次查找相同string时，则只返回该记录的值给第二次创建的string对象。
通过这种方式，字符串驻留机制有效实现了对string的池管理，节省了大量的内存空间。

详细的字符串驻留机制，敬请参考：


快捷参考
关于字符串驻留机制的详细过程，不是本文所要解决的主要问题，你可以参考：

《你必须知道的.NET》8.3节“如此特殊：大话String”中的详细分析
Artech，[原创]再说String
我们可以从code01尽情领略字符串驻留机制的基本原理，然而关于字符串驻留，并不是几句简单原理就能全面概括的问题。

注意：动态创建的字符串是不执行字符串驻留机制的，例如通过：

//Release:code09,2008/08/25
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
strings1="abc";
strings2="ab";
strings3=s2+"c";
Console.WriteLine(ReferenceEquals(s1,s3));
}


但是对于“动态”二字的把握并非一件简单的事情，什么情况下执行字符串驻留，而什么时候不会执行字符串驻留，在.NETspec中我并没有找出足够精确的正解来阐释这个问题，例如code06示例中，strings1=GetStr();的位置很大程度上决定了是否执行字符串驻留条件，从code06示例的结果可见，string.IsInterned(s2)并未收获返回“abc”的预期结果，而下面的示例则又给出意想不到的答案：

//Release:code10,2008/08/25
//Author:Anytao,
'target='_blank'>http://www.anytao.com
staticvoidMain()
{
//在这个位置返回abc
strings1=GetStr();
strings2="ab";
s2+="c";
Console.WriteLine(string.IsInterned(s2)??"null");
}
privatestaticstringGetStr()
{
return"abc";
}

对比code06和code10，我们发现不同的只是strings1=GetStr();的位置，而结果却大相径庭。

为什么？

位置的不同而导致触发字符串驻留机制是否执行的条件不同，这正是我们通过实例反向验证的最佳体现。那么，你的思考呢？

这些看似熟悉的问题，其实都值得推敲，本文没有太多的精力兼顾所有，只能在边缘之余探讨一下遗留在字符串驻留机制中一些并不是很清楚的问题，算是对字符串驻留机制的进一步探讨，主要包括：

CLR的加载过程。
internpool在什么时候创建，如何创建？
驻留机制的简述。
方法的调用过程。
介绍IsInterned和Intern方法。
stringintern的失效和弊端。

以解决本文开题的几个典型的问题，同时顺便解答KiMoGiGi在To王涛的问题中提出的问题。下面我们一一揭开这些问题的神秘面纱。

作为字符串驻留机制探讨的第一篇，我们从问题出发引出对于字符串驻留的定义和概念，在未来的篇章中除了说明上述问题之外，我们还将力图解释开篇8个示例的个中结果，并对可能的情况和问题进行一些对比性的推敲。

事实上，由stringintern而引发的技术论题，还有很多值得我们品味和玩味，这也正是这个本文及其后续篇章力图做出的努力。

敬请期待，本篇后文。。。

特别鸣谢

JefferyRichter，对于我的问题，Jeffery先生及时给出自己的见解，让我顿时感受到大师的品格。

KiMoGiGi，是他的问题带来本文的思考，这些难得的线索构成了我们进行探讨的基础话题，巧妇难为无米之炊，因此需要特别感谢。

参考文献

（Book）MartinFowler，Refactoring:ImprovingtheDesignofExistingCode

（cnblog）/article/4792236.html

（cnblog）/article/1308608.html