56-函数的内部结构

原创 2016年04月26日 12:31:59

56-函数的内部结构

在PHP中,函数有自己的作用域,同时在其内部可以实现各种语句的执行,最后返回最终结果值。 在PHP的源码中可以发现,PHP内核将函数分为以下类型:

#define ZEND_INTERNAL_FUNCTION              1
#define ZEND_USER_FUNCTION                  2  
#define ZEND_OVERLOADED_FUNCTION            3
#define ZEND_EVAL_CODE                      4
#define ZEND_OVERLOADED_FUNCTION_TEMPORARY  5

其中的ZEND_USER_FUNCTION是用户函数,ZEND_INTERNAL_FUNCTION是内置的函数。也就是说PHP将内置的函数和用户定义的函数分别保存。

用户函数(ZEND_USER_FUNCTION)

用户自定义函数是非常常用的函数种类,如下面的代码,定义了一个用户自定义的函数:

<?php 
function nowamagic( $name ){
    $return = "Hi! " . $name;
    echo $return;
    return $return;
}

?>

这个示例中,对自定义函数传入了一个参数,并将其与Hi! 一起输出并做为返回值返回。 从这个例子可以看出函数的基本特点:运行时声明、可以传参数、有值返回。 当然,有些函数只是进行一些操作,并不一定显式的有返回值,在PHP的实现中,即使没有显式的返回, PHP内核也会“帮你“返回NULL。

ZE在执行过程中,会将运行时信息存储于_zend_execute_data中:

struct _zend_execute_data {
    //...省略部分代码
    zend_function_state function_state;
    zend_function *fbc; /* Function Being Called */
    //...省略部分代码
};

在程序初始化的过程中,function_state也会进行初始化,function_state由两个部分组成:

typedef struct _zend_function_state {
    zend_function *function;
    void **arguments;
} zend_function_state;

**arguments是一个指向函数参数的指针,而函数体本身则存储于*function中, *function是一个zend_function结构体, 它最终存储了用户自定义函数的一切信息,它的具体结构是这样的:

typedef union _zend_function {
    zend_uchar type;    /* 如用户自定义则为 #define ZEND_USER_FUNCTION 2
                            MUST be the first element of this struct! */

    struct {
        zend_uchar type;  /* never used */
        char *function_name;    //函数名称
        zend_class_entry *scope; //函数所在的类作用域
        zend_uint fn_flags;     // 作为方法时的访问类型等,如ZEND_ACC_STATIC等  
        union _zend_function *prototype; //函数原型
        zend_uint num_args;     //参数数目
        zend_uint required_num_args; //需要的参数数目
        zend_arg_info *arg_info;  //参数信息指针
        zend_bool pass_rest_by_reference;
        unsigned char return_reference;  //返回值 
    } common;

    zend_op_array op_array;   //函数中的操作
    zend_internal_function internal_function;  
} zend_function;

zend_function的结构中的op_array存储了该函数中所有的操作,当函数被调用时,ZE就会将这个op_array中的opline一条条顺次执行, 并将最后的返回值返回。 从VLD扩展中查看的关于函数的信息可以看出,函数的定义和执行是分开的,一个函数可以作为一个独立的运行单元而存在。

内部函数(ZEND_INTERNAL_FUNCTION)

ZEND_INTERNAL_FUNCTION函数是由扩展或者Zend/PHP内核提供的,用“C/C++”编写的,可以直接执行的函数。如下为内部函数的结构:

typedef struct _zend_internal_function {
    /* Common elements */
    zend_uchar type;
    char * function_name;
    zend_class_entry *scope;
    zend_uint fn_flags;
    union _zend_function *prototype;
    zend_uint num_args;
    zend_uint required_num_args;
    zend_arg_info *arg_info;
    zend_bool pass_rest_by_reference;
    unsigned char return_reference;
    /* END of common elements */

    void (*handler)(INTERNAL_FUNCTION_PARAMETERS);
    struct _zend_module_entry *module;
} zend_internal_function;

最常见的操作是在模块初始化时,ZE会遍历每个载入的扩展模块,然后将模块中function_entry中指明的每一个函数(module->functions), 创建一个zend_internal_function结构, 并将其type设置为ZEND_INTERNAL_FUNCTION,将这个结构填入全局的函数表(HashTable结构); 函数设置及注册过程见 Zend/zend_API.c文件中的zend_register_functions函数。这个函数除了处理函数,也处理类的方法,包括那些魔术方法。

内部函数的结构与用户自定义的函数结构基本类似,有一些不同,

调用方法,handler字段. 如果是ZEND_INTERNAL_FUNCTION, 那么ZE就调用zend_execute_internal,通过zend_internal_function.handler来执行这个函数。 而用户自定义的函数需要生成中间代码,然后通过中间代码映射到相对就把方法调用。
内置函数在结构中多了一个module字段,表示属于哪个模块。不同的扩展其模块不同。
type字段,在用户自定义的函数中,type字段几科无用,而内置函数中的type字段作为几种内部函数的区分。

变量函数

PHP 支持变量函数的概念。这意味着如果一个变量名后有圆括号,PHP 将寻找与变量的值同名的函数,并且将尝试执行它。 除此之外,这个可以被用于实现回调函数,函数表等。 对比使用变量函数和内部函数的调用:

变量函数$func

$func = 'print_r';
$func('i am print_r function.');

通过VLD来查看这段代码编译后的中间代码:

function name:  (null)
number of ops:  9
compiled vars:  !0 = $func
line     # *  op                           fetch          ext  return  operands
--------------------------------------------------------------------------------
-
   2     0  >   EXT_STMT
         1      ASSIGN                                                   !0, 'print_r'
   3     2      EXT_STMT
         3      INIT_FCALL_BY_NAME                                       !0
         4      EXT_FCALL_BEGIN
         5      SEND_VAL                                                 'i+am+print_r+function.'
         6      DO_FCALL_BY_NAME                              1
         7      EXT_FCALL_END
         8    > RETURN                                                   1

内部函数print_r

print_r('i am print_r function.');

通过VLD来查看这段代码编译后的中间代码:

function name:  (null)
number of ops:  6
compiled vars:  none
line     # *  op                           fetch          ext  return  operands
--------------------------------------------------------------------------------
-
   2     0  >   EXT_STMT
         1      EXT_FCALL_BEGIN
         2      SEND_VAL                                                 'i+am+print_r+function.'
         3      DO_FCALL                                      1          'print_r'
         4      EXT_FCALL_END
         5    > RETURN                                                   1

对比发现,二者在调用的中间代码上存在一些区别。变量函数是DO_FCALL_BY_NAME,而内部函数是DO_FCALL。 这在语法解析时就已经决定了, 见Zend/zend_complie.c文件的zend_do_end_function_call函数中部分代码:

if (!is_method && !is_dynamic_fcall && function_name->op_type==IS_CONST) {
        opline->opcode = ZEND_DO_FCALL;
        opline->op1 = *function_name;
        ZVAL_LONG(&opline->op2.u.constant, zend_hash_func(Z_STRVAL(function_name->u.constant), Z_STRLEN(function_name->u.constant) + 1));
    } else {
        opline->opcode = ZEND_DO_FCALL_BY_NAME;
        SET_UNUSED(opline->op1);
    }

如果不是方法,并且不是动态调用,并且函数名为字符串常量,则其生成的中间代码为ZEND_DO_FCALL。其它情况则为ZEND_DO_FCALL_BY_NAME。 另外将变量函数作为回调函数,其处理过程在Zend/zend_complie.c文件的zend_do_pass_param函数中。 最终会体现在中间代码执行过程中的 ZEND_SEND_VAL_SPEC_CONST_HANDLER 等函数中。

匿名函数

匿名函数是一类不需要指定表示符,而又可以被调用的函数或子例程,匿名函数可以方便的作为参数传递给其他函数。

56-函数模版的概念和意义

1、交换变量的方法 #include #include using namespace std;#define SWAP(t, a, b) \ do ...
  • zy13270867781
  • zy13270867781
  • 2017年10月31日 18:11
  • 68

89C51单片机内部结构深度解析

详细介绍了AT89C51单片机内部结构。
  • a514371309
  • a514371309
  • 2017年06月13日 11:20
  • 484

STM32-内部结构

为了进一步明确STM32103系列MCU的内部资源。我们可以从两份资料着手学习。一份是《STM32中文资料》,一份是 《STM32F103中文资料》,您的英文水平如果还可以,那么您就使用原版的英文资料...
  • EatingSnake
  • EatingSnake
  • 2017年01月19日 16:06
  • 401

史上最详细的ConcurrentHashMap详解--源码分析

ps.本文所有源码都是基于jdk1.6ConcurrentHashMap的数据结构 话不多说,先上代码 final Segment[] segments; 可以看到Concur...
  • yan_wenliang
  • yan_wenliang
  • 2016年03月31日 19:20
  • 2146

01-汇编-8086/8088CPU内部结构

8086/8088的功能结构8086和8088CPU按功能可分为两个独立的部分:总线接口单元BIU(Bus Interface Unit)和执行单元EU(Execution Unit)BIU: 完成C...
  • l2580258
  • l2580258
  • 2017年05月04日 15:27
  • 446

lucence全文检索

什么是lucence? Lucene是非常优秀的成熟的开源的免费的纯java语言的全文索引检索工具包。全文检索à是指计算机索引程序通过扫描文章中的每一个词,对每一个词建立一个索引,指明该词在文章...
  • worn_xiao
  • worn_xiao
  • 2017年07月30日 10:02
  • 152

HashMap的内部结构及扩容

Hashmap是一种非常常用的、应用广泛的数据类型,最近研究到相关的内容,就正好复习一下。网上关于hashmap的文章很多,但到底是自己学习的总结,就发出来跟大家一起分享,一起讨论。 1、hash...
  • yangzishiw
  • yangzishiw
  • 2015年03月04日 14:41
  • 1456

80C51的串行口结构和原理(2-程序)

#include #include "./delay/delay.h" #include //串口中断的初始化 void uart_init() { SCON = 0x50; //设置uart...
  • ryan_jianjian
  • ryan_jianjian
  • 2016年09月14日 22:23
  • 334

iOS-浅谈runtime运行时机制01-类与对象的内部结构

最近一直在研究runtime运行时机制的问题,我想可能也有很多人不太清楚这个问题吧?在这里跟大家沟通分享下我对与runtime机制的理解。   要理解runtime,首先我们要了解类和对象的内部结构...
  • yongyinmg
  • yongyinmg
  • 2014年06月19日 17:27
  • 1686

深入理解JVM内部结构

下图显示了符合Java SE 7 版本的Java虚拟机规范的一个典型JVM中的关键内部组件。        图中显示的组件将会在下面两部分中进行逐一的解释。第一部分涉及JVM...
  • huaishu
  • huaishu
  • 2013年08月09日 00:00
  • 3305
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:56-函数的内部结构
举报原因:
原因补充:

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