PHPの実行

記事を修正してください。以前に問題を説明していませんでした。

PHP の強力な機能の 1 つである関数実行プロセスを中心に、クラスについては説明しません。 PHP のスコープ制御は関数とクラスの 2 つだけですが、実際にはスコープを制御する関数の概念が多いように感じられます。

関数はユーザー定義関数と内部関数に分かれています。内部関数は C または C++ の PHP で記述されており、ここで解析されると、モジュールの初期化時にスコープの切り替えは行われません。

内部関数、ユーザー定義関数、および op_array のデータ構造は次のとおりです:

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_bool done_pass_two;	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;	int last_brk_cont;	int 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_uint this_var;	char *filename;	zend_uint line_start;	zend_uint line_end;	char *doc_comment;	zend_uint doc_comment_len;	zend_uint early_binding; /* the linked list of delayed declarations */	void *reserved[ZEND_MAX_RESERVED_RESOURCES];};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;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;typedef struct _zend_function_state {	zend_function *function;	void **arguments;} zend_function_state

これら 3 つのデータ構造は、上に _zend_function_state データもリストしました。 op_array の関数を実行データ _zend_execute_data の function_state フィールドの関数に割り当て、通常のコードを関数に分割する方法について説明します。スコープの切り替えについては後で説明します。

excute の実行中に、すべてを説明できる EX(function_state).function = (zend_function *) op_array; があります。

重要なデータ構造:

struct _zend_execute_data {	struct _zend_op *opline;	zend_function_state function_state;	zend_function *fbc; /* Function Being Called */	zend_class_entry *called_scope;	zend_op_array *op_array;	zval *object;	union _temp_variable *Ts;	zval ***CVs;	HashTable *symbol_table;	struct _zend_execute_data *prev_execute_data;	zval *old_error_reporting;	zend_bool nested;	zval **original_return_value;	zend_class_entry *current_scope;	zend_class_entry *current_called_scope;	zval *current_this;	zval *current_object;	struct _zend_op *call_opline;}

は、実行中にデータを保存するために使用され、スコープを切り替えるときに重要な役割を果たします。

ZEND_API void execute(zend_op_array *op_array TSRMLS_DC){	zend_execute_data *execute_data;	zend_bool nested = 0;	zend_bool original_in_execution = EG(in_execution);	if (EG(exception)) {		return;	}	EG(in_execution) = 1;zend_vm_enter:	/* Initialize execute_data */	execute_data = (zend_execute_data *)zend_vm_stack_alloc(		ZEND_MM_ALIGNED_SIZE(sizeof(zend_execute_data)) +		ZEND_MM_ALIGNED_SIZE(sizeof(zval**) * op_array->last_var * (EG(active_symbol_table) ? 1 : 2)) +		ZEND_MM_ALIGNED_SIZE(sizeof(temp_variable)) * op_array->T TSRMLS_CC);	EX(CVs) = (zval***)((char*)execute_data + ZEND_MM_ALIGNED_SIZE(sizeof(zend_execute_data)));	memset(EX(CVs), 0, sizeof(zval**) * op_array->last_var);	EX(Ts) = (temp_variable *)(((char*)EX(CVs)) + ZEND_MM_ALIGNED_SIZE(sizeof(zval**) * op_array->last_var * (EG(active_symbol_table) ? 1 : 2)));	EX(fbc) = NULL;	EX(called_scope) = NULL;	EX(object) = NULL;	EX(old_error_reporting) = NULL;	EX(op_array) = op_array;	EX(symbol_table) = EG(active_symbol_table);	EX(prev_execute_data) = EG(current_execute_data);	EG(current_execute_data) = execute_data;	EX(nested) = nested;	nested = 1;	if (op_array->start_op) {		ZEND_VM_SET_OPCODE(op_array->start_op);	} else {		ZEND_VM_SET_OPCODE(op_array->opcodes);	}	if (op_array->this_var != -1 && EG(This)) { 		Z_ADDREF_P(EG(This)); /* For $this pointer */		if (!EG(active_symbol_table)) {			EX(CVs)[op_array->this_var] = (zval**)EX(CVs) + (op_array->last_var + op_array->this_var);			*EX(CVs)[op_array->this_var] = EG(This);		} else {			if (zend_hash_add(EG(active_symbol_table), "this", sizeof("this"), &EG(This), sizeof(zval *), (void**)&EX(CVs)[op_array->this_var])==FAILURE) {				Z_DELREF_P(EG(This));			}		}	}	EG(opline_ptr) = &EX(opline);	EX(function_state).function = (zend_function *) op_array;	EX(function_state).arguments = NULL;		while (1) {    	int ret;#ifdef ZEND_WIN32		if (EG(timed_out)) {			zend_timeout(0);		}#endif		if ((ret = EX(opline)->handler(execute_data TSRMLS_CC)) > 0) {			switch (ret) {				case 1:					EG(in_execution) = original_in_execution;					return;				case 2:					op_array = EG(active_op_array);					goto zend_vm_enter;				case 3:					execute_data = EG(current_execute_data);				default:					break;			}		}	}	zend_error_noreturn(E_ERROR, "Arrived at end of main loop which shouldn't happen");}

実行中、 EX(prev_execute_data) = EG(current_execute_data); でシーンが保存されます。

その後、 EG(current_execute_data) =execute_data;

関数の op_array が実行されると、 EG(active_op_array) = &EX ( function_state).function->op_array;

まで実行されます

case 2:

op_array = EG(active_op_array);
goto zend_vm_enter;

関数が実行を完了するか戻る直前に、アクティブに呼び出すことができますreturn または PHP は自動的に NULL を戻し、zend_do_return は ZEND_RETURN のオペコードを生成します。タイプに応じていくつかの異なる関数が呼び出されますが、要するに、zend_leave_helper_SPEC という名前の関数が呼び出されます。ここで、

EG(current_execute_data) = EX(prev_execute_data); 前のシーンに戻り、関数を実行する前にスコープに戻ります。

個人的には、鍵となるのは上記のデータ構造の一部とそれらの間の接続だと思います。