了解值类型 引用类型，装箱 拆箱，Object类.docVIP

了解值类型 引用类型，装箱 拆箱，Object类 装箱/拆箱，值类型/引用类型和Object类，这些都是.NET程序员人人皆知且人人都应该掌握的概念。大多数人都对他们非常了解，可是和一些同行们交流时我发现一些细节其实很多人并不了解，尤其是它们结合讨论的情景，本文通过一些代码来阐述一些我知道的概念。 如果下面代码你觉得非常费解的话，那可能你是新手，推荐你先看一些相应的概念或者教程再来这里。 如果你不是新手，对相应知识已经了解，并且通过下面代码学到了一些进阶的东西，那么我很高兴。 当然标题归标题，一门技术是很难真正做到彻底了解，本文也意在抛砖引玉。 代码1：Object.Equals 考虑下面代码的结果： Console.WriteLine(Object.Equals(1,1))； Console.WriteLine(Object.Equals(1,(byte)1))； 答案：True,False 首先Object.Equals参数是两个object，所以1(值类型)会被装箱成引用类型，这会使CLR在托管堆中创建两个全新的Object对象，然后Object.Equals先判断两个object是否有null，没有则调用Object的对象方法Equals，而由于1是值类型，值类型改写Object.Equals并进行比特比较，最终由于object1的比特值完全等于object2的比特值第一句True，第二句很显然Int和Byte内存大小不一样，比特比较不会成功。 代码2：Object.ReferenceEquals 考虑下面代码的结果： Console.WriteLine(Object.ReferenceEquals(1,1))； 答案：False 同样，Object.ReferenceEquals参数是两个object，所以CLR会在托管堆中建立两个object来分别装Int值，但Object.ReferenceEquals的函数就是判断两个引用的是否指向同一个在托管堆的空间对象，这里当然是False了。 代码3：再强化一下理解 下面代码，如果MyType是class或struct时，分别会输出什么? struct/classMyType { publicintData； } classProgram { staticvoidMain(string args) { MyTypes1=newMyType()； MyTypes2=newMyType()； s1.Data=s2.Data=1990； Console.WriteLine(Object.Equals(s1,s2))； } } 答案： struct输出：True class输出：False 这个为了强化下理解，原理和上面的一样，值类型和引用类型针对Object.Equals的执行是不一样的 代码4：问候了Equals，我们再看看== 下面代码输出什么? structMyType { publicintData； } classProgram { staticvoidMain(string args) { MyTypes1=newMyType()； MyTypes2=newMyType()； s1.Data=s2.Data=1990； Console.WriteLine(s1==s2)； } } 如果MyType是class，那么结果所有人会知道是False，那如果MyType是struct，结果是?…结果是编译错误，是的，值类型中的用户自定义结构体默认==运算符是不被预先重载的，但是引用类型，枚举，原始值类型的==有。 代码5：神奇的String 下面输出结果? stringa=aaa； stringb=aaa； Console.WriteLine(Object.Equals(a,b))； Console.WriteLine(Object.ReferenceEquals(a,b))； Console.WriteLine(a==b)； Console.WriteLine((object)a==b)； //这句VS会提示警告： //Possible unintended reference comparison；to get avalue comparison, //cast the left hand side to typestring 答案：都是True，但True的方式不一样，呵呵，我们一句一句分析 第一句：调用a.Equals(b)，String类的执行是字符串比较，true 第二句：注意这里不进行字符串比较，这里是判断两个引用是不是指向同一个对象，因为Object.ReferenceEquals参数是两个object，但是.NET中相同的字符串(编译器可预知判断的)CL