标签归档：PHP源码

PHP的类自动加载机制

在PHP5之前，各个PHP框架如果要实现类的自动加载，一般都是按照某种约定自己实现一个遍历目录，自动加载所有符合约定规则的文件的类或函数。当然，PHP5之前对面向对象的支持并不是太好，类的使用也没有现在频繁。在PHP5后，当加载PHP类时，如果类所在文件没有被包含进来，或者类名出错，Zend引擎会自动调用__autoload 函数。此函数需要用户自己实现__autoload函数。在PHP5.1.2版本后，可以使用spl_autoload_register函数自定义自动加载处理函数。当没有调用此函数，默认情况下会使用SPL自定义的spl_autoload函数。看下面两个例子：

1、 __autoload示例：

function __autoload($class_name) {
   echo '__autload class:', $class_name, '<br />';
}

new Demo();

以上的代码在最后会输出：__autload class:Demo。
并在此之后报错显示： Fatal error: Class ‘Demo’ not found

2、spl_autoload_register示例：

function classLoader($class_name) {
    echo 'SPL load class:', $class_name, '<br />';
}

spl_autoload_register('classLoader');

new Demo();

以上的代码在最后会输出：SPL load class:Demo。
并在此之后报错显示： Fatal error: Class ‘Demo’ not found

以上的两个示例表明：当类不存在时（即需要的类不在类符号表），Zend引擎会将再调用一次用户定义的函数，如__autoload或spl_autoload_register注册的函数。如果这两个方法同时存在，那么程序会调用哪一个呢？还是说两个都调用？看下面一个示例，你觉得会输出什么呢？

function __autoload($class_name) {
    echo '__autload class:', $class_name, '<br />';
}

function classLoader($class_name) {
    echo 'SPL load class:', $class_name, '<br />';
}

spl_autoload_register('classLoader');

new Demo();

首先我们看__autload函数。从其命名格式来看，这是一个魔术方法。虽然__autoload和__set、__tostring等类的魔法方法的常量定义在源码级别是一起的，可是它并不是专属于某个类的魔法方法。它是所有的类共用的自动加载魔术方法。它将作为一个全局函数存在。那么Zend引擎是如何在类没有找到时调用这个方法的呢？

不管是使用new关键字创建类的实例，还是使用implement实现接口，或者继承某个类，所有的这些操作都有可能调用__autoload函数。这几个操作在源码层都有一个共同点，它们在执行的时候都需要获取类的信息（接口在本质上也是一个类）。它们在最终都会调用 zend_fetch_class (Zend/zend_execute_API.c)函数，这个函数本身没有多少内容，关键是它调用了zend_lookup_class_ex(Zend/zend_execute_API.c)函数，这个函数就是类的自动加载的真相所在。

在zend_lookup_class_ex函数中，我们看到程序会首先查询类符号表，如果存在类直接返回。如果不存在，就会执行我们所说的自动加载了。这里针对__autoload函数和spl相关的函数都做了处理，并且以第一参数和第二参数传递给Zend引擎的函数调用函数zend_call_function。

在zend_call_function函数中，它会判断第二参数是否存在函数，如果存在函数则只会调用第二个参数传递的函数（这里指SPL注册的函数）。如果第二个函数没有值，则执行第一个参数传递过来的函数（这里指用户定义的__autoload函数）。到这里，我想前面提到的两个方法同时存在的情况应该就有答案了。

PHP的比较方式(loose and strict comparison)

发表回复

PHP的官方文档PHP type comparison tables 列出PHP类型和比较运算符在松散和严格比较时的作用。当阅读这篇说明时，其中有一个NOTE：HTML 表单并不传递整数、浮点数或者布尔值，它们只传递字符串。 道出了我们WEB开发过程中数据交互的本质。一如XML，JSON等等都是字符串，只是依照不同的需求制定规则，让人们能够更好的理解。再看HTTP协议，不管是request还是response，最终的载体都是字符串，只是依照不同的字段和规则实现所需要的缓存优化、信息传递等功能。有点扯远了，回到今天的主题，PHP的比较方式。

PHP的一些语言结构以及函数在默认实现上都是以松散比较的方式实现，如switch结构、array_keys、in_array、array_search等函数。如果我们要使用严格的比较，对于switch语言结构本身并没有提供相关的实现，我们可以通过先将变量转换成对应的类型后再使用switch，对于array_keys等函数，在PHP5以后都提供了$strict参数，将其设置为TRUE即可。 PHP的松散和严格比较表现最明显的是==和===。我们从这两个语法结构来查看PHP对于松散和严格比较的实现。

从词法分析开始，在Zend/zend_language_scanner.l文件中我们找到==和===对应的token，如下：

<ST_IN_SCRIPTING>"===" {
    return T_IS_IDENTICAL;
}

<ST_IN_SCRIPTING>"==" {
    return T_IS_EQUAL;
}

PHP在词法结构上将这两种方式进行彻底的区分，==对应T_IS_EQUAL标识，===对应T_IS_IDENTICAL标识，如果我们在写程序的过程中同时使用了以上两种符号会出现什么呢？如下代码：

$num = 1;
$str = "1";

if ($num === $str == $num) {
    echo 'phppan';
}

这里就不给出答案了(^_^)。

我们接着看语法解析，在Zend/zend_language_parse.y文件中我们可以看到如下代码：

|   expr T_IS_IDENTICAL expr        { zend_do_binary_op(ZEND_IS_IDENTICAL, &$$, &$1, &$3 TSRMLS_CC); }
|   expr T_IS_EQUAL expr            { zend_do_binary_op(ZEND_IS_EQUAL, &$$, &$1, &$3 TSRMLS_CC); }

仅仅是通过上面的所给的代码，不去查看Zend/zend_complice.c中关于zend_do_binary_op函数的实现，我们可以猜测出其最终会生成ZEND_IS_EQUAL和ZEND_IS_IDENTICAL中间代码。最终所有的ZEND_IS_IDENTICAL中间代码对应的执行函数都会调用is_identical_function函数实现严格对比，所有的ZEND_IS_EQUAL中间代码对应的执行函数都会调用compare_function函数实现松散对比。

compare_function函数的具体实现在Zend/zend_operators.c文件。 compare_function的比较过程是一个穷举遍历比较的过程，程序在实现过程中对于传入的两个变量做类型的识别，以两个变量的类型对为key，如字符串与字符串比较，数组和数组比较，浮点型和整型的比较，构造的类型对如果顺序不同，其对应的处理也是不同的。如下列表，为所有可直接识别的类型对：

整型和整型(LONG and LONG)
浮点型和整型(DOUBLE and LONG)
整型和浮点型(LONG and DOUBLE)
浮点型和浮点型(DOUBLE and DOUBLE)
数组和数组(ARRAY and ARRAY)
NULL和NULL
NULL和BOOL
BOOL和NULL
字符串和字符串(STRING and STRING)
NULL和字符串
字符串和NULL
对象和NULL
NULL和对象
对象和对象(OBJECT and OBJECT)

除此之外，还有一些特殊的情况，如下代码：

$arr = array(1);
$num = 1;

if ($arr == $num) {
    echo 'yes';
}else{
    echo 'no';
}

这些代码最终会输出no，但是在compare_function返回的结果为1。他不属于上面所说的任一种类型对，由于第一个操作数为数组，则其走的程序流程分支为：

else if (Z_TYPE_P(op1)==IS_ARRAY) {
    ZVAL_LONG(result, 1);
    return SUCCESS;
}

以上的代码将1赋值给result，但是在中间代码的执行函数中，执行完compare_function后会执行如下代码：

ZVAL_BOOL(result, (Z_LVAL_P(result) == 0));

因为比较的最终结果为真假，而在比较中除了0，其他的都是不等于。

如果是比较字符串和整数，则其最终都将字符串转化成数字（整数或浮点数）再进行比较，即最终比较的方法是可以识别的类型对之一。如果是数组和数组的比较，由于存在数组与数组的对比，则其直接调用zend_compare_arrays完成比较。

与松散比较类似，严格比较也有一个对应的函数–is_identical_function。同样，其实现也在Zend/zend_operator.c文件。和loose comparison不同，strict comparison在严格意义上来说进行的不是一个纯粹的比较过程，它首先会判断两个变量所处的ZVAL容器的类型是否一样，如果不一样直接返回0，即不相等。如果两个ZVAL窗口的类型一样，则根据比较的第一个操作数的类型作区分，然后判断两个操作数的值是否一样，这里之所以要分别对待每种类型，是因为在PHP中不同类型的值存储的位置不同，其对应的获取方法也不相同。

在看完了PHP关于松散比较和严格比较的源码，我们最后看一段代码，你觉得应该会输出什么？

$str = "0";
if (empty($str)) {
    echo 1;
}

$str = "00";
if (empty($str)) {
    echo 2;
}

理解PHP中的stdClass类

6条回复

在百度百科中，对于stdClass的定义如下：

stdClass在PHP5才开始被流行。而stdClass也是zend的一个保留类。stdClass是PHP的一个基类，
所有的类几乎都继承这个类，所以任何时候都可以被new，可以让这个变量成为一个object。同时，
这个基类又有一个特殊的地方，就是没有方法。凡是用new stdClass()的变量，
都不可能会出现$a->test()这种方式的使用。PHP5的对象的独特性，对象在任何地方被调用，
都是引用地址型的，所以相对消耗的资源会少一点。在其它页面为它赋值时是直接修改，而不是引用一个拷贝。

以上的定义大多数都是正确的，但是一个致命性的诊断错误: stdClass是PHP的一个基类，所有的类几乎都继承这个类。看一个简单的例子：

class EmptyClass {

}

$object = new EmptyClass();
if ($object instanceof stdClass) {
    echo 'yes';
}else{
    echo 'no';
}

执行代码，输出”no”，这个例子充分说明了stdClass类并不是所有类的基类。它仅仅是PHP的一个保留类，或者说一个类似于strlen函数这样的一个角色。我们从源码的维度看看stdClass类的实现，它注册的位置在 Zend/zend_builtin_functions.c文件中。如下：

ZEND_MINIT_FUNCTION(core) { /* {{{ */
    zend_class_entry class_entry;

    /* 注册stdClass 类 */
    INIT_CLASS_ENTRY(class_entry, "stdClass", NULL);
    zend_standard_class_def = zend_register_internal_class(&class_entry TSRMLS_CC);

    /* 注册默认类，接口，如Exception类，SPL中的一些类等 */
    zend_register_default_classes(TSRMLS_C);    

    return SUCCESS;
}
/* }}} */

这是zend_builtin_module的模块初始化函数，在PHP内核进行模块初始化操作时会自动加载这个函数，这样，stdClass类的注册操作也就会被执行了。从这段代码可以看出，stdClass类是一个没有成员变量也没有成员方法的类。它的所有的魔术方法，父类、接口等在初始化时都被设置成NULL。由于在PHP中对于一个类我们无法动态的添加方法，所以这个类只能用来处理动态属性，这也是我们一种常见的用法。

总结一下：

stdClass类是PHP的一个内部保留类，初始时没有成员变量也没成员方法，所有的魔术方法都被设置为NULL，可以使用其传递变量参数，但是没有可以调用的方法。stdClass类可以被继承，只是这样做没有什么意义。

潘锦的空间

SaaS SaaS架构团队管理技术管理技术架构 PHP 内核扩展项目管理

标签归档：PHP源码

PHP的类自动加载机制

PHP的比较方式(loose and strict comparison)

理解PHP中的stdClass类