美文网首页
对象的本质与延迟绑定

对象的本质与延迟绑定

作者: 与子笑 | 来源:发表于2020-08-29 19:26 被阅读0次

    php中的类和对象到底是怎样的一个关系?
    或者说对象到底由什么而组成?
    什么叫类的延迟绑定,怎么去解决?
    以前的认知算比较浅的,最近翻阅了一些文章和书籍,让我对类和对象的理解更深了一层。(可能是因为闲吧)


    对象

    类是方法和属性的集合,那对象是什么?

    如果在以前问我,我会说对象是类的实例化,现在我会说对象是一堆属性组成。

    对象在底层到底是怎么实现的呢?对象在底层的实现是采取属性数组+方法数组来实现的。

    对象在zend中的定义是使用了一种zend_object_value结构体来存储的,这个结构体包含了三种玩意。

    第一种是一个指针,也就是说明这个对象由哪个类实现出来的,这个类在哪里。

    第二种玩意就是这个对象的属性。

    第三个东西是guards,阻止递归调用的。

    那对象里面只有这些东西,那对象的方法在哪里,对象的方法不会存在对象里面,要使用对象的方法,实际上是通过指针找到这个类,再用这个类里面的方法来执行的

    要验证这种说法,可以通过序列化serialize一个对象,就可以进行观察了。

    前几天听见有人说数组的本质是对象,我想他搞错了,他认为一切都是对象这个没错,但是这只是可以以思维认为它是个对象,但本质是不会变的,我觉得他学岔道了。

    一切事物都可以抽象出来为一个类,当你为这个类赋予不同的属性时,就会生产对象,但是这仅仅只是可以将事物抽象出来,而不是本质。

    就如上面所说,对象是由一个类指针和属性数组加一个guards。

    那怎么证明类属性是个数组呢,其实也可以将一个数组serialize序列化一下,就能看出相同和不同了。

    延迟绑定

    延迟绑定是什么?其实理解以上说的对象到底是什么后,再来看延迟绑定,会理解得更深一些。
    设想一段场景,你和你老爸都有个习惯,就是吃完饭都得喝点东西来解渴,你老爸爱喝茶,你爱喝牛奶。

    下面通过一段小代码说明延迟绑定。

    class Father{
        public $type = 'father';
        public function eat()
        {
            echo '饭吃完了';
            echo self::drink();
        }                
        public function drink()
        {                      
            return '父亲想喝茶';               
        }
    }        
    class Son extends Father{//儿子不想喝茶,就想喝奶,于是重写了drink方法
        public $type = 'son';
        public function drink()
        {                        
            return '儿子想喝奶';                
        }        
    }        
    $son = new Son;
    $son->eat();
    

    到这里请问输出什么,按道理来讲是不是应该输出'饭吃完了儿子想喝奶啊',因为drink方法被重写了嘛。
    但实际上还是'父亲想喝茶',这是为什么呢,这个现象叫延迟绑定,解决办法很简单,就是不用 self,改为 static 就行了。echo static::drink();,或者也可以用$this->drink();

    static 在这里表示实际调用者(static关键字在不同的地方有不同的含义)。(2018-12-9,laravel框架大量利用 static 实际调用者特性解耦)

    好了,我来试着探究一下为什么会出现这个问题,首先将子类对象和父类对象全部序列化,观察得到子类对象于父类对象的区别只在于指针和属性不同。

    当子类对象调用 eat 方法时,程序沿着指针找到了 Son 这个类寻找 eat 方法,但是并没有找到。
    发现这个类是一个子类,于是继续往上找,找到父类的时候找到了eat方法,调用。
    echo 完吃饭后,此时程序还在父类中执行 eat 方法,下面的指令是调用本类的drink方法,然而现在指针还在父类,所以调用的还是父类的drink方法,而不是子类重写后的drink方法了。

    2017-02-05对该博文进行勘误

    近期翻阅了一些资料,附上链接:
    https://secure.php.net/manual/zh/language.oop5.references.php


    发现与官方文档有出入,之前写那篇博文的时候,是看的一本叫作PHP核心技术与最佳实践的书,然后这本书的出版日期是2012年的。
    然后近期翻阅其他关于php底层的一些东西的时候提到了对象,对对象的解释与这本书的解释不一样。
    最后找到官方发现我之前看的那本书的一些知识已经过期了。现在来讲讲至少是php5的对象到底是什么了。
    (现在已经8102了,书已经买回来了,有空再研究一下对象和变量)
    (这一次重新整理已经是2020了,书还没怎么看/(ㄒoㄒ)/~~)

    官方文档这么描述的:

    php的引用是别名,就是两个不同的变量名字指向相同的内容。
    在php5,一个对象变量已经不再保存整个对象的值。
    只是保存一个标识符来访问真正的对象内容。
    当对象作为参数传递,作为结果返回,或者赋值给另外一个变量,
    另外一个变量跟原来的不是引用的关系,
    只是他们都保存着同一个标识符的拷贝,
    这个标识符指向同一个对象的真正内容。

    typedef struct _zend_object_value {
       zend_object_handle handle; #无符号整数,这里保存的是一个指针,就是官网说的标识符,指向对象的属性
       zend_object_handlers *handlers;#这个可以理解为这个对象所属于的类(主要是里面的方法)
       } zend_object_value;
    

    所以,
    在 php5 的对象编程经常提到的一个关键点是“默认情况下对象是通过引用传递的”。
    但其实这不是完全正确的。下面通过一例子来说明。

    class Dog{
      public $age=5;
    }
    $dog1 = new Dog();
    $dog2=$dog1;
    $dog2->age=3;
    

    echo $dog1->age;等于几呢?答案是3。

    修改属性并不会导致zval分裂,因为一个对象的到对象的属性有三层,dog1 和 dog2 指向同一个指针,而这个指针指向的是一张符号表,修改的是符号表里的属性值。
    如果修改的是指针,则分裂。
    例如$dog2=1;此时才会分裂。

    原文链接:对象的本质,延迟绑定-PHP

    相关文章

      网友评论

          本文标题:对象的本质与延迟绑定

          本文链接:https://www.haomeiwen.com/subject/zvisjktx.html