关于ReferenceEquals(object a, object b)的问题.doc

? 关于ReferenceEquals(object a, object b)的问题 昨天跟几个同事一起讨论了下object.ReferenceEquals(object a, object b)方法, 其中有这样一个问题: ?object?c?=?foo;?string?d?=?foo;?bool?i?=?ReferenceEquals(c, d);?//return true 为什么返回的是true?c和d都是调用了string的赋值构造函数，string的赋值构造函数是不会在堆上申请空间的。那么如果string赋值构造函数不会在堆上申请空间，又不是指针，何来引用，看了下这段代码的IL, ??IL_0000:? nop??IL_0001:? ldstr??????foo??IL_0006:? stloc.0??IL_0007:? ldstr??????foo??IL_000c:? stloc.1??IL_0013:? ldloc.1??IL_0014:? ldloc.0??IL_0015:? call???????bool?[mscorlib]System.Object::ReferenceEquals(object,?object) 的确都是在栈上分配的, 并且第一个foo和第二个foo进栈的顺序是不一样的，引用怎么可能一样?另外, object类的ReferenceEquals(object a, object b)的实现是这样的: ? [ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]public?static?bool?ReferenceEquals(object?objA,?object?objB){????return?(objA?==?objB);} 只做简单的==比较. 百思不得其解.. 最后一个同事在网上找到这样一句话:? .NET 运行时在应用程序域中保留了一个字符串常值池, 当它将一个程序集加载到应用程序域中时，将该程序集的字符串常值与应用程序域的字符串常值池合并，从而避免了字符串常值的重复。(这样所有字符串常值只有一个副本，就可以对字符串常值进行引用比较，而且因为引用只需比较地址即可，所以比值比较快得多。) ? 关于字符串的驻留的机制，对于那些了解它的人肯定会认为很简单，但是我相信会有很大一部分人对它存在迷惑。在开始关于字符串的驻留之前，先给出一个有趣的Sample： static void Main(string[] args){string str1 = ABCD1234;string str2 = ABCD1234;string str3 = ABCD;string str4 = 1234;string str5 = ABCD + 1234;string str6 = ABCD + str4;string str7 = str3 + str4; Console.WriteLine(string str1 = \ABCD1234\;);Console.WriteLine(string str2 = \ABCD1234\;);Console.WriteLine(string str3 = \ABCD\;);Console.WriteLine(string str4 = \1234\;);Console.WriteLine(string str5 = \ABCD\ + \1234\;);Console.WriteLine(string str6 = \ABCD\ + str4;);Console.WriteLine(string str7 = str3 + str4;); Console.WriteLine(\nobject.ReferenceEquals(str1, str2) = {0}, object.ReferenceEquals(str1, str2));Console.WriteLine(object.ReferenceEquals(str1, \ABCD1234\) = {0}, object.ReferenceEquals(str1, ABCD1234)); Console.WriteLine(\nobject.ReferenceEquals(str1, str5) = {0}, object.ReferenceEquals(str1, str5));Console.WriteLine(object.ReferenceEquals(str1, str6) = {0}, object.Referenc