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


    由:

    “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()的结果。

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

    图解引用地址传递的过程

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

  • 相关阅读:
    HDU 1213 How Many Tables(并查集,简单)
    POJ 1611 The Suspects(并查集,简单)
    HDU 4539 郑厂长系列故事――排兵布阵(曼哈顿距离)
    POJ 2411 Mondriaan'sDream(状压DP)
    ZOJ 4257 MostPowerful(状压DP,简单)
    HDU 3001 Traveling(状压DP)
    POJ 3311 Hie with the Pie(Floyd+状态压缩DP)
    POJ 1185 炮兵阵地(状态压缩DP)
    POJ 3254 Corn Fields(状态压缩DP)
    XueXX and Chessboard(dp)
  • 原文地址:https://www.cnblogs.com/kexxxfeng/p/4726760.html
Copyright © 2020-2023  润新知