通过论证:查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分。分析变量在内存中的变化过程。

由:

“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。

执行下程序,进行观察,结果如下:

通过论证:查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分。分析变量在内存中的变化过程。_第1张图片

 

观察的结果完全符合ReferenceEquals()的结果。

那么这个通过方法获取返回值的过程是什么样的呢?我用下图模拟下变量在内存中发生的过程。

通过论证:查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分。分析变量在内存中的变化过程。_第2张图片

那么到这里,也就证明了查询字段获取的返回值,确实是对象状态的一部分。

你可能感兴趣的:(通过论证:查询字段通常返回引用,该引用可以保证是原来的对象的状态的一部分。分析变量在内存中的变化过程。)