缘由:
“A property method may require additional memory or return a reference to something
that is not actually part of the object’s state, so modifying the returned object has no
effect on the original object; querying a field always returns a reference to an object
that is guaranteed to be part of the original object’s state . Working with a property
that returns a copy can be very confusing to developers, and this characteristic is frequently not documented .“
这段话源自《CLR via C#》第4版中第十章 属性 。
这段话主要意思是:一个属性方法(指的是自动属性的get方法)可能要求额外的内存,另外返回的引用实际上不是对象的状态的一部分(意思是返回的不是对象的成员字段的引用),所以修改返回值不会影响原来的对象;查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分。属性返回的是copy,这会让开发者感到困惑,而且这种情况通常没有被记载在文档中。
我为了验证这段话中”查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分“,写了个Demo。
声明一个类型Student,
成员:
3个字段:Int32类型的no、String类型的str、Object类型的obj;
3个查询字段的方法: 返回Int32的方法GetNo()、返回String类型的方法GetStr()、返回Object类型的方法GetObj(
class Student { internal Int32 no = 1; internal Object obj = new Object(); internal Int32 GetNo() { return this.no; } internal Object GetObj() { return this.obj; } }
在控制台的Main()方法中
static void Main(string[] args) { var s1 = new Student(); var no = s1.GetNo();//no的地址应该等于s1的成员no的地址 var obj = s1.GetObj();//obj的地址应该等于s1的成员obj的地址 Console.WriteLine(ReferenceEquals(no, s1.no));//使用静态ReferenceEquals()方法判断两个变量是否相等,下同。 Console.WriteLine(ReferenceEquals(obj, s1.obj)); Console.Read(); }
验证问题:
首先科普一下:
1、当声明一个变量时,立刻就会在栈上面声明该变量(入栈),该变量存储方式应该是一个键值对(key:堆地址;value:变量的值,注意:如果是引用类型的话,这里就是在堆上的地址)。
2、在vs中调试→窗口→即时窗口,通过&+变量名,来观察变量在栈中的情况。例如:
&s1.no //观察变量s1的成员no
0x030c499c //键:栈上的地址。
*&s1.no: 1 //值:1。
&s1.obj //观察变量s1的成员obj
0x030c4998 //键:栈上的地址。
*&s1.obj: {51136932} //值:在堆上的地址。//如果是*&s1.obj: {0},那么就表示未在堆上开辟空间,值为null。
执行下程序,进行观察,结果如下:
观察的结果完全符合ReferenceEquals()的结果。
那么这个通过方法获取返回值的过程是什么样的呢?我用下图模拟下变量在内存中发生的过程。
那么到这里,也就证明了查询字段获取的返回值,确实是对象状态的一部分。