Atitit. 类与对象的存储实现
3. Class的分类 常规类(T_CLASS)， 抽象类(T_ABSTRACT T_CLASS)和final类(T_FINAL T_CLASS2
1. 类的结构和实现
1.1.1.1. 的结构
首先我们看看类是什么。类是用户定义的一种抽象数据类型，它是现实世界中某些具有共性事物的抽象。 有时我们也可以理解其为对象的类别。类也可以看作是一种复合型的结构，其需要存储多元化的数据， 如属性、方法、以及自身的一些性质等。
类和函数类似，PHP内置及PHP扩展均可以实现自己的内部类，也可以由用户使用PHP代码进行定义。 当然我们在编写代码时通常是自己定义。
这里定义了一个父类ParentClass，一个接口Ifce，一个子类Tipi。子类继承父类ParentClass， 实现接口Ifce，并且有一个静态变量$sa，一个类常量 CA，一个公用方法，一个私有方法和一个公用静态方法。 这些结构在Zend引擎内部是如何实现的？类的方法、成员变量是如何存储的？访问控制，静态成员是如何标记的？
首先，我们看看类的内部存储结构：
|
01 |
struct _zend_class_entry { |
|
02 |
char type; // 类型：ZEND_INTERNAL_CLASS / ZEND_USER_CLASS |
|
03 |
char *name;// 类名称 |
|
04 |
zend_uint name_length; // 即sizeof(name) - 1 |
|
05 |
struct _zend_class_entry *parent; // 继承的父类 |
|
06 |
int refcount; // 引用数 |
|
07 |
zend_bool constants_updated; |
|
08 |
|
09 |
zend_uint ce_flags; // ZEND_ACC_IMPLICIT_ABSTRACT_CLASS: 类存在abstract方法 |
|
10 |
// ZEND_ACC_EXPLICIT_ABSTRACT_CLASS: 在类名称前加了abstract关键字 |
|
11 |
// ZEND_ACC_FINAL_CLASS |
|
12 |
// ZEND_ACC_INTERFACE |
|
13 |
HashTable function_table; // 方法 |
|
14 |
HashTable default_properties; // 默认属性 |
|
15 |
HashTable properties_info; // 属性信息 |
|
16 |
HashTable default_static_members;// 类本身所具有的静态变量 |
|
17 |
HashTable *static_members; // type == ZEND_USER_CLASS时，取&default_static_members; |
|
18 |
// type == ZEND_INTERAL_CLASS时，设为NULL |
|
19 |
HashTable constants_table; / |
2. 类的方法属性都是hashtable存储的。
常规的成员方法存放在函数结构体的哈希表中， 而魔术方法则单独保存。 如在类定义中的 union _zend_function *constructor; 定义就是类的构造魔术方法， 它是以函数的形式存在于类结构中，并且与常规的方法分隔开来了。在初始化时，这些魔术方法都会被设置为NULL。
在PHP语言中，变量都是保存在哈希表中，称为变量符号表，其中变量名为哈希表的键，变量名对应的容器zval的指针为哈希表中的值。所有全局变量放在一 张主符号表中(也就是数组$GLOBALS对应的哈希表)。PHP语言有个特性，变量在命名时，$变量标识符后不能以数字开头。例如我们在以下代码：
3. Class的分类 常规类(T_CLASS)， 抽象类(T_ABSTRACT T_CLASS)和final类(T_FINAL T_CLASS
上面的class_entry_type语法说明在语法分析阶段将类分为三种类型：常规类(T_CLASS)， 抽象类(T_ABSTRACT T_CLASS)和final类(T_FINAL T_CLASS )。 他们分别对应的类型在内核中为:
4. 对象的结构
对象在PHP中是使用一种zend_object_value的结构体来存储。
|
1 |
typedef struct _zend_object_value { |
|
2 |
zend_object_handle handle; |
|
3 |
// unsigned int类型，EG(objects_store).object_buckets的索引 |
|
4 |
zend_object_handlers *handlers; |
|
5 |
} zend_object_value; |
PHP内核会将所有的对象存放在一个对象列表容器中，这个列表容器是保存在EG(objects_store)里的一个全局变量。 上面的handle字段就是这个列表中object_buckets的索引。当我们需要在PHP中存储对象的时候， PHP内核会根据handle索引从对象列表中获取相对应的对象。而获取的对象有其独立的结构，如下代码所示：
|
1 |
typedef struct _zend_object { |
|
2 |
zend_class_entry *ce; |
|
3 |
HashTable *properties; |
|
4 |
HashTable *guards; /* protects from __get/__set ... recursion */ |
|
5 |
} zend_object; |
ce是存储该对象的类结构，properties是一个HashTable，用来存放对象的属性。
在zend_object_value结构体中除了索引字段外还有一个包含对象处理方法的字段：handlers。 它的类型是zend_object_handlers，我们可以在Zend/zend_object_handlers.h文件中找到它的定义。 这是一个包含了多个指针函数的结构体，这些指针函数包括对对象属性的操作，对对象方法的操作，克隆等。 此字段会在对象创建的时候初始化。
4.1.1.1. 对象的创建
在PHP代码中，对象的创建是通过关键字 new 进行的。从此关键字出发，我们遍历词法分析，语法分析和编译成中间代码等过程， 得到其最后执行的函数为 ZEND_NEW_SPEC_HANDLER 。
zend_objects_new函数会初始化对象自身的相关信息，包括对象归属于的类，对象实体的存储索引，对象的相关处理函数。 在这里将对象放入对象池中的函数为zend_objects_store_put。
在将对象放入对象池，返回对象的存放索引后，程序设置对象的处理函数为标准对象处理函数：std_object_handlers。 其位于Zend/zend_object_handles.c文件中。
4.1.1.2. 对象池
这里针对对象，我们引入一个新的概念--对象池。 我们将PHP内核在运行中存储所有对象的列表称之为对象池，即EG(objects_store)。 这个对象池的作用是存储PHP中间代码运行阶段所有生成的对象，这个思想有点类似于我们做数据库表设计时， 当一个实例与另一个实体存在一对多的关系时，将多的那一端对应的实体提取出来存储在一个独立的表一样。 这样做的好处有两个，一个是可以对象复用，另一个是节省内存，特别是在对象很大，并且我们不需要用到对象的所有信息时。 对象池的存储结构为zend_objects_store结构体，如下：
4.1.1.3. 成员变量
从前面的对象结构来看，对象的成员变量存储在properties参数中。并且每个对象都会有一套标准的操作函数， 如果需要获取成员变量，对象最后调用的是read_property，其对应的标准函数为zend_std_read_property; 如果需要设置成员变量，对象最后调用的是write_property，其对应的标准函数zend_std_write_property。 这些函数都是可以定制的，如果有不同的需求，可以通过设置对应的函数指针替换。如在dom扩展中，它的变量的获取函数和设置函数都是定制的。
4.1.1.4. 成员方法
成员方法又包括常规的成员方法和魔术方法。魔术方法在前面的第五小节已经介绍过了，这里就不再赘述。 在对象的标准函数中并没有成员方法的调用函数，默认情况下设置为NULL。在SPL扩展中，有此函数的调用设置，如下代码：
数为 ZEND_INIT_METHOD_CALL_SPEC_CV_CONST_HANDLER 此函数的调用流程如下：
第一步，处理调用的方法名，获取其值，并做检验处理：如果不是字符串，则报错
第二步，如果第一个操作数是对象，则转第三步，否则报错 Call to a member function t on a non-object
第三步，调用对象的get_method函数获取成员方法
第四步，其它处理，包括静态方法，this变量等。
而get_method函数一般是指标准实现中的get_method函数，其对应的具体函数为Zend/zend_object_handlers.c文件中zend_std_get_method函数。 zend_std_get_method函数的流程如下：
第一步，从zobj->ce->function_table中查找是否存在需要调用的函数，如果不存在，转第二步，如果存在，转第三步
第二步，如果__call函数存在，则调用zend_get_user_call_function函数获取并返回，如果不存在，则返回NULL
第三步，检查方法的访问控制，如果为私有函数，转第四步，否则转第五步
第四步，如果为同一个类或父类和这个方法在同一个作用域范围，则返回此方法，否则判断__call函数是否存在，存在则调用此函数，否则报错
第五步，处理函数重载及访问控制为protected的情况。 转第六步
第六步，返回fbc
在获得了函数的信息后，下面的操作就是执行了，关于函数的执行在前面章节已经介绍过了。
4.1. 为了操作一个对象，我们需要先获取这个对象的实例，
而这有肯定会涉及调用对象的构造方法。首先我们先了解下一个object在PHP内核中到底是如何实现的。
|
01 |
typedef struct _zend_object_value { |
|
02 |
zend_object_handle handle; |
|
03 |
zend_object_handlers *handlers; |
|
04 |
} zend_object_value; |
|
05 |
|
06 |
//此外再回顾一下zval的值value的结构。 |
|
07 |
typedef union _zvalue_value { |
|
08 |
long lval; /* long value */ |
|
09 |
double dval; /* double value */ |
|
10 |
struct { |
|
11 |
char *val; |
|
12 |
int len; |
|
13 |
} str; |
|
14 |
HashTable *ht; /* hash table value */ |
|
15 |
zend_object_value obj; |
|
16 |
} zvalue_value; |
如果我们有一个zval *tmp，那么tmp->value.obj来访问到最终保存对象实例的zend_object_value结构体，它包含两个成员：
5. 参考
PHP内核探索：类的结构和实现 -- 简明现代魔法.htm
PHP内核探索：对象 -- 简明现代魔法.htm
PHP内核探索：创建对象实例 -- 简明现代魔法.htm
作者:: 绰号:老哇的爪子 （ 全名：：Attilax Akbar Al Rapanui 阿提拉克斯 阿克巴 阿尔 拉帕努伊 ）
汉字名：艾提拉（艾龙）， EMAIL:1466519819@qq.com
转载请注明来源： http://www.cnblogs.com/attilax/
Atiend