73-继承,多态与抽象类

原创 2016年04月27日 13:30:33

73-继承,多态与抽象类

继承

继承是一种关联类的层次模型,它可以建立类之间的关系,并实现代码重用,方便系统扩展。 继承提供了一种明确表述共性的方法,是一个新类从现有的类中派生的过程。 继承产生的新类继承了原始类的特性,新类称为原始类的派生类(或子类), 而原始类称为新类的基类(或父类)。派生类可以从基类那里继承方法和变量, 并且新类可以重载或增加新的方法,使之满足自己的定制化的需要。

PHP中使用extends关键字来进行类的继承,一个类只能继承一个父类。 被继承的成员方法和成员变量可以使用同名的方法或变量重写,如果需要访问父类的成员方法或变量可以 使用特殊类parent来进行。

PHP内核将类的继承实现放在了”编译阶段”,因此使用VLD生成中间代码时会发现并没有关于继承的相关信息。 通过对extends关键字的词法分析和语法分析,在Zend/zend_complie.c文件中 找到继承实现的编译函数zend_do_inheritance()。其调用顺序如下: [zend_do_early_binding] –> [do_bind_inherited_class()] –> [zend_do_inheritance()]

ZEND_API void zend_do_inheritance(zend_class_entry *ce, zend_class_entry *parent_ce TSRMLS_DC)
{
    //  ...省略  报错处理 接口不能从类继承,final类不能继承

    //  ...省略 序列化函数和反序列化函数 如果当前类没有,则取父类的

    /* Inherit interfaces */
    zend_do_inherit_interfaces(ce, parent_ce TSRMLS_CC);

    /* Inherit properties */
    zend_hash_merge(&ce->default_properties, &parent_ce->default_properties, (void (*)(void *)) zval_add_ref, NULL, sizeof(zval *), 0);
    if (parent_ce->type != ce->type) {
        /* User class extends internal class */
        zend_update_class_constants(parent_ce  TSRMLS_CC);
        zend_hash_apply_with_arguments(CE_STATIC_MEMBERS(parent_ce) TSRMLS_CC, (apply_func_args_t)inherit_static_prop, 1, &ce->default_static_members);
    } else {
        zend_hash_apply_with_arguments(&parent_ce->default_static_members TSRMLS_CC, (apply_func_args_t)inherit_static_prop, 1, &ce->default_static_members);
    }
    zend_hash_merge_ex(&ce->properties_info, &parent_ce->properties_info, (copy_ctor_func_t) (ce->type & ZEND_INTERNAL_CLASS ? zend_duplicate_property_info_internal : zend_duplicate_property_info), sizeof(zend_property_info), (merge_checker_func_t) do_inherit_property_access_check, ce);

    zend_hash_merge(&ce->constants_table, &parent_ce->constants_table, (void (*)(void *)) zval_add_ref, NULL, sizeof(zval *), 0);
    zend_hash_merge_ex(&ce->function_table, &parent_ce->function_table, (copy_ctor_func_t) do_inherit_method, sizeof(zend_function), (merge_checker_func_t) do_inherit_method_check, ce);
    do_inherit_parent_constructor(ce);

    if (ce->ce_flags & ZEND_ACC_IMPLICIT_ABSTRACT_CLASS && ce->type == ZEND_INTERNAL_CLASS) {
        ce->ce_flags |= ZEND_ACC_EXPLICIT_ABSTRACT_CLASS;
    } else if (!(ce->ce_flags & ZEND_ACC_IMPLEMENT_INTERFACES)) {
        /* The verification will be done in runtime by ZEND_VERIFY_ABSTRACT_CLASS */
        zend_verify_abstract_class(ce TSRMLS_CC);
    }
}

整个继承的过程是以类结构为中心,当继承发生时,程序会先处理所有的接口。接口继承调用了zend_do_inherit_interfaces函数 此函数会遍历所有的接口列表,将接口写入到类结构的interfaces字段,并增加num_interfaces的计数统计。 在接口继承后,程序会合并类的成员变量、属性、常量、函数等,这些都是HashTable的merge操作。

在继承过程中,除了常规的函数合并后,还有魔法方法的合并,其调用的函数为do_inherit_parent_constructor(ce)。 此函数实现魔术方法继承,如果子类中没有相关的魔术方法,则继承父类的对应方法。如下所示的PHP代码为子类没构造函数的情况:

class Base {
    public function __construct() {
        echo 'Base __construct<br />';
    }
}

class Foo extends Base {

}

$foo = new Foo();

在PHP函数中运行,会输出:Base __construct

这显然继承了父类的构造方法,如果子类有自己的构造方法,并且需要调用父类的构造方法时 需要在子类的构造方法中调用父类的构造方法,PHP不会自动调用。

当说到继承,就不得不提到访问控制。继承在不同的访问控制权限下有不同的表现。 以成员方法为例,我们可以使用private和protected访问修饰符来控制需要继承的内容。

  • private 如果一个成员被指定为private,它将不能被继承。实际上在PHP中这个方法会被继承下来,只是无法访问。
  • protected 如果一个成员被指定为protected,它将在类外不可见,可以被继承。

在继承中访问控制的实现是在合并函数时实现,其实现函数为do_inherit_method_check。 在此函数中,如果子类没有父类中定义的方法,则所有的此类方法都会被继承,包括私有访问控制权限的方法。

看一个PHP的示例:

class Base {
    private function privateMethod() {
    }
}

class Child extends Base{
    public function publicMethod() {
    }
}

$c = new Child();

if (method_exists($c, 'privateMethod')) {
    echo 1;
}else{
    echo 0;
}

这段代码会输出1,至此,我们可以证明:在PHP中,对于私有方法,在继承时是可以被继承下来的。

多态

多态是继数据抽象和继承后的第三个特性。顾名思义,多态即多种形态,相同方法调用实现不同的实现方式。 多态关注一个接口或基类,在编程时不必担心一个对象所属于的具体类。在面向对象的原则中 里氏代换原则(Liskov Substitution Principle,LSP),依赖倒转原则(dependence inversion principle,DIP)等 都依赖于多态特性。而我们在平常工作中也会经常用到。

interface Animal {
    public function run();
}

class Dog implements Animal {
    public function run() {
        echo 'dog run';
    }
}

class  Cat implements Animal{
    public function run() {
        echo 'cat run';
    }
}

class Context {
    private $_animal;

    public function __construct(Animal $animal) {
        $this->_animal = $animal;
    }

    public function run() {
        $this->_animal->run();
    }
}

$dog = new Dog();
$context = new Context($dog);
$context->run();

$cat = new Cat();
$context = new Context();
$context->run();

上面是策略模式示例性的简单实现。对于不同的动物,其跑的方式不一样, 当在环境中跑的时候,根据所传递进来的动物执行相对应的跑操作。 多态是一种编程的思想,但对于不同的语言,其实现也不同。 对于PHP的程序实现来说,关键点在于类型提示的实现。而类型提示是PHP5之后才有的特性。在此之前, PHP本身就具有多态特性。

前面说明了类型提示的实现,只是对于 对象的判断没有做深入的探讨。它已经指出对于类的类型提示实现函数为zend_verify_arg_type。 在此函数中,关于对象的关键代码如下:

if (Z_TYPE_P(arg) == IS_OBJECT) {
    need_msg = zend_verify_arg_class_kind(cur_arg_info, fetch_type, &class_name, &ce TSRMLS_CC);
    if (!ce || !instanceof_function(Z_OBJCE_P(arg), ce TSRMLS_CC)) {
        return zend_verify_arg_error(zf, arg_num, cur_arg_info, need_msg, class_name, "instance of ", Z_OBJCE_P(arg)->name TSRMLS_CC);
    }
}

第一步,判断参数是否为对象,使用宏Z_TYPE_P,如果是转二步,否则跳到其它情况处理

第二步,获取类的类型验证信息,调用了zend_verify_arg_class_kind函数,此函数位于Zend/zend_execute.c文件中, 它会通过zend_fetch_class函数获取类信息,根据类的类型判断是否为接口,返回字符串”implement interface”或”be an instance of”

第三步,判断是否为指定类的实例,调用的函数是instanceof_function。此函数首先会遍历实例所在类的所有接口, 递归调用其本身,判断实例的接口是否为指定类的实例,如果是,则直接返回1,如果不是,在非仅接口的情况下, 循环遍历所有的父类,判断父类与指定的类是否相等,如果相等返回1,当函数执行完时仍没有找到,则返回0,表示不是类的实例。 instanceof_function函数的代码如下:

ZEND_API zend_bool instanceof_function_ex(const zend_class_entry *instance_ce, const zend_class_entry *ce, zend_bool interfaces_only TSRMLS_DC) /* {{{ */
{
    zend_uint i;

    for (i=0; i < instance_ce->num_interfaces; i++) { //  递归遍历所有的接口
        if (instanceof_function(instance_ce->interfaces[i], ce TSRMLS_CC)) {
            return 1;
        }
    }
    if (!interfaces_only) {
        while (instance_ce) {   //  遍历所有的父类
            if (instance_ce == ce) {
                return 1;
            }
            instance_ce = instance_ce->parent;
        }
    }

    return 0;
}

第四步,如果不是指定类的实例,程序会调用zend_verify_arg_error报错,此函数最终会调用zend_error函数显示错误。

接口的实现

前面的PHP示例中有用到接口,而且在多态中,接口是一个不得不提的概念。接口是一些方法特征的集合, 是一种逻辑上的抽象,它没有方法的实现,因此这些方法可以在不同的地方被实现,可以有相同的名字而具有完全不同的行为。

而PHP内核对类和接口一视同仁,它们的内部结构一样。这点在前面的类型提示实现中也有看到,不管是接口还是类, 调用instanceof_function函数时传入的参数和计算过程中使用的变量都是zend_class_entry类型。

前面已经对于类的类型做了说明,在语法解析时, PHP内核已经设置了其type=ZEND_ACC_INTERFACE,

interface_entry:
    T_INTERFACE     { $$.u.opline_num = CG(zend_lineno);
                 $$.u.EA.type = ZEND_ACC_INTERFACE; }
;

而在声明类的函数zend_do_begin_class_declaration中,通过下列语句,将语法解析的类的类型赋值给类的ce_flags字段。

new_class_entry->ce_flags |= class_token->u.EA.type;

类结构的ce_flags字段的作用是标记类的类型。

接口与类除了在ce_flags字段不同外,在其它一些字段的表现上也不一样,如继承时,类只能继承一个父类,却可以实现多个接口。 二者在类的结构中存储在不同的字段,类的继承由于是一对一的关系,则每个类都有一个parent字段。 而接口实现是一个一对多的关系,每个类都会有一个二维指针存放接口的列表,还有一个存储接口数的字段num_interfaces。

接口也可以和类一样实现继承,并且只能是一个接口继承另一个接口。一个类可以实现多个接口, 接口在编译时调用zend_do_implement_interface函数, zend_do_implement_interface函数会合并接口中的常量列表和方法列表操作,这就是接口中不能有变量却可以有常量的实现原因。 在接口继承的过程中有对当前类的接口中是否存在同样接口的判断操作,如果已经存在了同样的接口,则此接口继承将不会执行。

抽象类

抽象类是相对于具体类来说的,抽象类仅提供一个类的部分实现。抽象类可以有实例变量,构造方法等。 抽象类可以同时拥有抽象方法和具体方法。一般来说,抽象类代表一个抽象的概念,它提供了一个继承的 出发点,理想情况下,所有的类都需要从抽象类继承而来。而具体类则不同,具体类可以实例化。 由于抽象类不可以实例化,因此所有抽象类应该都是作为继承的父类的。

在PHP中,抽象类是被abstract关键字修饰的类,或者类没有被声明为abstract,但是在类中存在抽象成员的类。 对于这两种情况,PHP内核作了区分,类的结构体zend_class_entry.ce_flags中保存了这些信息, 二者对应的值为ZEND_ACC_EXPLICIT_ABSTRACT_CLASS和ZEND_ACC_IMPLICIT_ABSTRACT_CLASS, 这两个值在前面的第一节已经做了介绍。

标记类为抽象类或标记成员方法为抽象方法的确认阶段是语法解析阶段。标记为抽象类与标记为接口等的过程一样。 而通过标记成员方法为抽象方法来确认一个类为抽象类则是在声明函数时实现的。从第四章中我们知道编译时声明函数会调用 zend_do_begin_function_declaration函数。在此函数中有如下代码:

if (fn_flags & ZEND_ACC_ABSTRACT) {
        CG(active_class_entry)->ce_flags |= ZEND_ACC_IMPLICIT_ABSTRACT_CLASS;
    }
}

若函数为抽象函数,则设置类的ce_flags为ZEND_ACC_IMPLICIT_ABSTRACT_CLASS,从而将这个类设置为抽象类。

抽象类,接口,普通类都是保存在zend_class_entry结构体中,他们只通过一个标志字段来区分, 抽象类和接口还有一个共性:无法实例化。那我们看看Zend在那里限制的。要实例化一个对象我们只能使用new关键字来进行。 下面是执行new是进行的操作:

static int ZEND_FASTCALL  ZEND_NEW_SPEC_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{
    zend_op *opline = EX(opline);
    zval *object_zval;
    zend_function *constructor;

    if (EX_T(opline->op1.u.var).class_entry->ce_flags & (ZEND_ACC_INTERFACE|ZEND_ACC_IMPLICIT_ABSTRACT_CLASS|ZEND_ACC_EXPLICIT_ABSTRACT_CLASS)) {
        char *class_type;

        if (EX_T(opline->op1.u.var).class_entry->ce_flags & ZEND_ACC_INTERFACE) {
            class_type = "interface";
        } else {
            class_type = "abstract class";
        }
        zend_error_noreturn(E_ERROR, "Cannot instantiate %s %s", class_type,  EX_T(opline->op1.u.var).class_entry->name);
    }
    // ...
}

代码很好理解,进行了简单的判断,如果为抽象类、隐式抽象类或者接口都无法进行实例化操作。

类的继承、多态、封装,以及访问控制,接口,抽象类等都是基于类的结构实现的,因为这几个类型只有个别的特性的差异,其他基本一致。 如果要真正理解这些特性,需要更多的关注类的结构,基础往往很重要,而在程序,数据结构就是程序的基础。

java学习笔记之抽象类,接口,多态

抽象函数,抽象类 特点: 1、抽象方法一定定义在抽象类中,都需要abstract修饰 2、抽象类不能实例化 3、只有子类覆盖了所有的抽象方法后,子类就可以创建对象;如果子类没有覆盖抽象方法,子类还是一...
  • sinat_36713319
  • sinat_36713319
  • 2016年11月17日 21:49
  • 253

封装,继承,多态,抽象类,接口,Static,super, final

Java知识点,先记着,没事看看,本人小白一枚。
  • wangyin970774934
  • wangyin970774934
  • 2016年08月11日 19:57
  • 366

Java复习笔记+经验总结-03 继承与多态 接口与抽象类

继承: 继承一般指晚辈从父辈那里继承财产, 也可以说是子女拥有父母所给与他们的东西。继承是子类拥有父类的非私有成员, 使用关键字extends来指明父类. [修饰符] class 子类名 extend...
  • yanglong_blog_
  • yanglong_blog_
  • 2017年07月21日 10:57
  • 140

JAVA基础知识点(六)--接口,多态,继承,抽象类,重载的问题

一、抽象类: 什么是时候使用抽象类:          描述一类事物的时候,发现该事物确实存在着某种行为,但是目前这种          是不具体的,这时候应该抽取这种行为的声明,而不去实现...
  • ZBQ857143497
  • ZBQ857143497
  • 2016年09月29日 10:04
  • 467

07 为什么会有多态?为什么会有抽象类?

为什么会有多态? 多态,顾名思义就是:有多个形态的表现。 便于参数传递,优化代码,减少代码重复率。 为什么会有抽象类? 为了建立一种机制,强制子类必须重写此方法,完成此任务。...
  • w83325887
  • w83325887
  • 2016年08月08日 19:41
  • 421

C#中的继承与多态还有接口

简单继承多态接口参考 简单继承 最简单的三个类 [csharp] view plain copy print? public class Animal {      public...
  • u011555996
  • u011555996
  • 2016年11月10日 11:25
  • 560

Java 多态的理解(使用抽象类)

多态性是指允许不同类的对象对同一消息作出响应。多态性包括参数化多态性和包含多态性。多态性语言具有灵活、抽象、行为共享、代码共享的优势,很好的解决了应用程序函数同名问题。 多态有两种表现形式:重载和覆盖...
  • u012289441
  • u012289441
  • 2014年09月19日 15:57
  • 887

C#学习日记23---多态性 之 运算符重载、方法重载、抽象类、虚方法

在C#中多态性的定义是:同一操作作用于不同类的实例,不同的类进行不同的解释,最后产生不同的执行结果。换句话说也就是 一个接口,多个功能。 C# 支持2种形式的多态性: 编译时的多态性、运行时的多态...
  • HC666
  • HC666
  • 2015年10月12日 19:49
  • 1024

面向对象(多态,抽象类,接口的比较)

(一)面向对象(多态) 多态概述: 多态实质上是同一个对象相应不同消息的能力,你理解不了也可以把它理解为事物存在的多种形态. 当然了能够理解实质当然更好. 多态的前提: 要有继承关系, 要有方法重...
  • tongzhengtong
  • tongzhengtong
  • 2015年09月10日 23:32
  • 1470

黑马程序员--继承,覆盖,抽象类,接口,多态。

一、继承 1、继承的好处:让类与类之间产生了关系,提高了代码的复用型。 2、在java中继承的特点: java只支持单继承,不支持多继承。 原因:会产生调用的不确定性。 ...
  • fubangchun1990
  • fubangchun1990
  • 2015年04月20日 08:53
  • 404
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:73-继承,多态与抽象类
举报原因:
原因补充:

(最多只允许输入30个字)