PHP扩展开发 函数返回值未使用后报错的实现原理
伊谢尔伦
伊谢尔伦 2017-04-10 15:48:15
0
1
518

在看PHP扩展开发时,看到一处关于PHP函数返回值的问题。

当定义了一个函数,而这个函数拥有返回值,在用户使用时,并没有使用返回值,zend引擎可以实现报错,这是如何实现的,怎么个原理?

ZEND_FUNCTION(sample_array_range)
{
    if (return_value_used) {
        int i;

        //把返回值初始化成一个PHP语言中的数组
        array_init(return_value);
        for(i = 0; i < 1000; i++)
        {
            //向retrun_value里不断的添加新元素,值为i
            add_next_index_long(return_value, i);
        }
        return;
    }
    else
    {
        //抛出一个E_NOTICE级错误
        php_error_docref(NULL TSRMLS_CC, E_NOTICE,"猫了个咪的,我就知道你没用我的劳动成果!");
        RETURN_NULL();
    }
}

在这个函数定义里面,感觉是先接收return_value_used参数,但是当函数运行完成之前,系统应该并不知道该函数返回值是否被使用到了吧!想不通他的实现原理。

求大牛,说说其中的实现原理!

伊谢尔伦
伊谢尔伦

小伙看你根骨奇佳,潜力无限,来学PHP伐。

reply all(1)
阿神

实现原理其实很简单,在php代码被逐句解释之前,zend引擎实际上做了很多事情,比如说read、parser、compile、cache等等。

这里的return_value_used实际上是在compile阶段产生的,代码变成语法树之后,每个opline都会有一个_znode的结构体,用于保存当前节点的信息,定义如下:

ctypedef struct _znode {
    int op_type;
    union {
        zval constant;

        zend_uint var;
        zend_uint opline_num; /*  Needs to be signed */
        zend_op_array *op_array;
        zend_op *jmp_addr;
        struct {
            zend_uint var;  /* dummy */
            zend_uint type;
        } EA;
    } u;
} znode;

这里内连了一个结构体EA,其中的type就保存了是否被接受的信息。

在compile阶段,他会凭借语法树来动态改变相应的值,比如$a = abc();和abc();和add(abc());都会执行不同的compile 函数,在某些情况下,EA.type会被标识为EXT_TYPE_UNUSED,如果有语法错误,它也能在执行之前就知道。

这里有zend的一份compile.c代码,你可以看一下它里面的各种函数,是针对不同的操作符进行不同处理的。

http://www.opensource.apple.com/source/apache_mod_php/apache_mod_php-4...

Latest Downloads
More>
Web Effects
Website Source Code
Website Materials
Front End Template
About us Disclaimer Sitemap
php.cn:Public welfare online PHP training,Help PHP learners grow quickly!