深入理解PHP原理之函數(Introspecting PHP Function)

在PHP中，函數分為倆種，

一種是zend_internal_function, 這種函數是由擴充或者Zend/PHP核心提供的，用’C/C++’編寫的，可以直接執行的函數。

另外一種是zend_user_function, 這種函數呢，就是我們經常在見的，使用者在PHP指令碼中定義的函數，這種函數最終會被ZE翻譯成opcode array來執行

查看zend_compile.h,我們可以找到如下的3個結構:

  

   
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;
   
struct _zend_op_array {
   
    /* 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 */
   
    zend_uint *refcount;
   
    zend_op *opcodes;
   
    zend_uint last, size;
   
    zend_compiled_variable *vars;
   
    int last_var, size_var;
   
    zend_uint T;
   
    zend_brk_cont_element *brk_cont_array;
   
    zend_uint last_brk_cont;
   
    zend_uint current_brk_cont;
   
    zend_try_catch_element *try_catch_array;
   
    int last_try_catch;
   
    /* static variables support */
   
    HashTable *static_variables;
   
    zend_op *start_op;
   
    int backpatch_count;
   
    zend_bool done_pass_two;
   
    zend_bool uses_this;
   
    char *filename;
   
     zend_uint line_start;
   
    zend_uint line_end;
   
    char *doc_comment;
   
    zend_uint doc_comment_len;
   
    void *reserved[ZEND_MAX_RESERVED_RESOURCES];
   
};
   
typedef union _zend_function {
   
    zend_uchar type; /* 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;
   
        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_internal_function, 當PHP啟動的時候 ，它會遍曆每個載入的擴充模組，然後將模組中function_entry中指明的每一個函數， 建立一個zend_internal_function結構， 並將type置為ZEND_INTERNAL_FUNCTION(見下表), 將這個結構填入全域的函數表(一個HashTable);

  

   
#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
   
     
  

第二個結構，op_array, 這個結構很重要， 因為：

  

   
      extern ZEND_API zend_op_array *(*zend_compile_file)(zend_file_handle *file_handle, int type TSRMLS_DC);
   
  
  

也就是說，我們編寫的PHP指令碼，都會被ZE翻譯成op_array, 最後交由zend_execute執行。

另外，在ZE中，使用者定義的函數(userland function), 也會被翻譯成一個op_array, 並填入全域函數表中。這個時候scope,function_name都不為空白。而對於在全域範圍的直接代碼來說，最後的op_array的scope為全域，function_name為空白。

 

第三個結構， 很有趣， 要理解這個結構，首先你要理解他的設計目標：

zend_internal_function, zend_function,zend_op_array可以安全的互相轉換(The are not identical structs, but all the elements that are in “common” they hold in common, thus the can safely be casted to each other);

具體來說，當在op code中通過ZEND_DO_FCALL調用一個函數的時候，ZE會在函數表中，根據名字（其實是lowercase的函數名字，這也就是為什麼PHP的函數名是大小寫不敏感的)尋找函數， 如果找到，返回一個zend_function結構的指標(仔細看這個上面的zend_function結構), 然後判斷type,如果是ZEND_INTERNAL_FUNCTION， 那麼ZE就調用zend_execute_internal,通過zend_internal_function.handler來執行這個函數， 如果不是，就調用zend_execute來執行這個函數包含的zend_op_array.

原文地址: http://www.laruence.com/2008/08/12/164.html