ThinkChat2.0新版上线,更智能更精彩,支持会话、画图、阅读、搜索等,送10W Token,即刻开启你的AI之旅 广告
## 4.4 中断及跳转 PHP中的中断及跳转语句主要有break、continue、goto,这几种语句的实现基础都是跳转。 ### 4.4.1 break与continue break用于结束当前for、foreach、while、do-while 或者 switch 结构的执行;continue用于跳过本次循环中剩余代码,进行下一轮循环。break、continue是非常相像的,它们都可以接受一个可选数字参数来决定跳过的循环层数,两者的不同点在于break是跳到循环结束的位置,而continue是跳到循环判断条件的位置,本质在于跳转位置的不同。 break、continue的实现稍微有些复杂,下面具体介绍下其编译过程。 上一节我们已经介绍过循环语句的编译,其中在各种循环编译过程中有两个特殊操作:zend_begin_loop()、zend_end_loop(),分别在循环编译前以及编译后调用,这两步操作就是为break、continue服务的。 在每层循环编译时都会创建一个`zend_brk_cont_element`的结构: ```c typedef struct _zend_brk_cont_element { int start; int cont; int brk; int parent; } zend_brk_cont_element; ``` cont记录的是当前循环判断条件opcode起始位置,brk记录的是当前循环结束的位置,parent记录的是父层循环`zend_brk_cont_element`结构的存储位置,也就是说多层嵌套循环会生成一个`zend_brk_cont_element`的链表,每层循环编译结束时更新自己的`zend_brk_cont_element`结构,所以break、continue的处理过程实际就是根据跳出的层级索引到那一层的`zend_brk_cont_element`结构,然后得到它的cont、brk进行相应的opcode跳转。 各循环的`zend_brk_cont_element`结构保存在`zend_op_array->brk_cont_array`数组中,编译各循环时依次申请一个`zend_brk_cont_element`,`zend_op_array->last_brk_cont`记录此数组第一个可用位置,每申请一个元素last_brk_cont就相应的增加1,然后将数组扩容,parent记录的就是父层循环结构在该数组中的存储位置。 ```c zend_brk_cont_element *get_next_brk_cont_element(zend_op_array *op_array) { op_array->last_brk_cont++; op_array->brk_cont_array = erealloc(op_array->brk_cont_array, sizeof(zend_brk_cont_element)*op_array->last_brk_cont); return &op_array->brk_cont_array[op_array->last_brk_cont-1]; } ``` 示例: ```php $i = 0; while(1){ while(1){ if($i > 10){ break 2; } ++$i } } ``` 循环编译完以后对应的内存结构: ![](https://box.kancloud.cn/77a228a5771a28db5c6d555533555ca4_738x413.png) 介绍完编译循环结构时为break、continue做的准备,接下来我们具体分析下break、continue的编译。 有了前面的准备,break、continue的编译过程就比较简单了,主要就是各生成一条临时opcode:ZEND_BRK、ZEND_CONT,这条opcode记录着两个重要信息: * __op1:__ 记录着当前循环`zend_brk_cont_element`结构的存储位置(在循环编译过程中CG(context).current_brk_cont记录着当前循环zend_brk_cont_element的位置) * __op2:__ 记录着要跳出循环的层级,如果break/continue没有加数字,则默认为1 ```c void zend_compile_break_continue(zend_ast *ast) { zend_ast *depth_ast = ast->child[0]; zend_op *opline; int depth; if (depth_ast) { zval *depth_zv; ... depth = Z_LVAL_P(depth_zv); } else { depth = 1; } ... //生成opcode opline = zend_emit_op(NULL, ast->kind == ZEND_AST_BREAK ? ZEND_BRK : ZEND_CONT, NULL, NULL); opline->op1.num = CG(context).current_brk_cont; //break、continue所在循环层 opline->op2.num = depth; //要跳出的层数 } ``` `zend_compile_break_continue()`到这一步完成整个break、continue的编译还没有完成,因为`CG(active_op_array)->brk_cont_array`这个数组只是编译期间使用的一个临时结构,break、continue编译生成的opcode:ZEND_BRK、ZEND_CONT并不是运行时直接执行的,这条opcode在整个脚本编译完成后、执行前被优化为 __ZEND_JMP__ ,这个操作在`pass_two()`中完成,关于这个过程在《3.1.2.2 AST->zend_op_array》一节曾经介绍过。 ```c ZEND_API zend_op_array *compile_file(zend_file_handle *file_handle, int type) { //语法解析 zendparse(); //AST->opcodes zend_compile_top_stmt(CG(ast)); pass_two(op_array); ... } ``` ```c ZEND_API int pass_two(zend_op_array *op_array) { ... opline = op_array->opcodes; end = opline + op_array->last; while (opline < end) { switch (opline->opcode) { ... case ZEND_BRK: case ZEND_CONT: { //计算跳转位置 uint32_t jmp_target = zend_get_brk_cont_target(op_array, opline); ... //将opcode修改为ZEND_JMP opline->opcode = ZEND_JMP; opline->op1.opline_num = jmp_target; opline->op2.num = 0; //将绝对跳转opcode位置修改为相对当前opcode的位置 ZEND_PASS_TWO_UPDATE_JMP_TARGET(op_array, opline, opline->op1); } break; ... } } op_array->fn_flags |= ZEND_ACC_DONE_PASS_TWO; return 0; } ``` 从上面的过程可以看出,如果opcode为:ZEND_BRK或ZEND_CONT则统一设置opcode为`ZEND_JMP`,新opcode的op1记录的是break、continue跳到opcode的位置,这个值根据编译期间的`zend_brk_cont_element`计算得到,首先从op1、op2取出break、continue所在循环的zend_brk_cont_element结构以及要跳过的层级,然后根据`zend_brk_cont_element.parent`及层级数找到具体要跳出层的`zend_brk_cont_element`结构,从这个结构中获得那层循环判断条件及循环结束的opcode的位置。 ```c static uint32_t zend_get_brk_cont_target(const zend_op_array *op_array, const zend_op *opline) { int nest_levels = opline->op2.num; //跳出的层级:break n; int array_offset = opline->op1.num;//break、continue所属循环zend_brk_cont_element的存储下标 zend_brk_cont_element *jmp_to; do { //从break/continue所在循环层开始 jmp_to = &op_array->brk_cont_array[array_offset]; if (nest_levels > 1) { //如果还没到要跳出的层数则接着跳到上层 array_offset = jmp_to->parent; } } while (--nest_levels > 0); return opline->opcode == ZEND_BRK ? jmp_to->brk : jmp_to->cont; } ``` 上面那个例子最终执行前的opcode如下图: ![](https://box.kancloud.cn/0334db1525121b5b518b18efff0db9d6_305x422.png) 执行时直接跳到对应的opcode位置即可。 > __Note:__ > > 在多层循环中break、continue直接根据层级数字跳转很不方便,这点PHP可以借鉴Golang的语法:break/continue + LABEL,支持按标签break、continue,根据上一节及本节介绍的内容这一个实现起来并不复杂,有兴趣的可以思考下如何实现。 ### 4.4.2 goto goto 操作符可以用来跳转到程序中的另一位置。该目标位置可以用目标名称加上冒号来标记,而跳转指令是 goto 之后接上目标位置的标记。PHP 中的 goto 有一定限制,目标位置只能位于同一个文件和作用域,也就是说无法跳出一个函数或类方法,也无法跳入到另一个函数,可以跳出循环但无法跳入循环(可以在同一层循环中跳转),多层循环中通常会用goto代替多层break。 goto语法: ```php goto LABEL; LABEL: statement; ``` goto与label需要组合使用,其实现与break、continue类似,最终也是被优化为`ZEND_JMP`,首先看下定义一个label时都有哪些操作: ```c statement: ... | T_STRING ':' { $$ = zend_ast_create(ZEND_AST_LABEL, $1); } ; ``` label的编译过程非常简单,与循环结构的编译类似,编译时会把label插入`CG(context).labels`哈希表中,key就是label名称,value是一个`zend_label`结构: ```c typedef struct _zend_label { int brk_cont; //当前label所在循环 uint32_t opline_num; //下一条opcode位置 } zend_label; ``` brk_cont用于记录当前label所在的循环,这个值就是上面介绍的每个循环在`zend_op_array->brk_cont_array`数组中的位置;opline_num比较容易理解,就是label下面第一条opcode的位置。到这里你应该能猜得到goto的工作过程了,首先根据label名称在`CG(context).labels`查找到跳转label的`zend_label`结构,然后jmp到`zend_label.opline_num`的位置,brk_cont的作用是用来判断是不是goto到了另一层循环中去。label具体的编译过程: ```c void zend_compile_label(zend_ast *ast) { zend_string *label = zend_ast_get_str(ast->child[0]); zend_label dest; //编译时会将label插入CG(context).labels哈希表 if (!CG(context).labels) { ALLOC_HASHTABLE(CG(context).labels); zend_hash_init(CG(context).labels, 8, NULL, label_ptr_dtor, 0); } //设置label信息:当前所在循环、下一条opcode编号 dest.brk_cont = CG(context).current_brk_cont; dest.opline_num = get_next_op_number(CG(active_op_array)); if (!zend_hash_add_mem(CG(context).labels, label, &dest, sizeof(zend_label))) { zend_error_noreturn(E_COMPILE_ERROR, "Label '%s' already defined", ZSTR_VAL(label)); } } ``` goto的编译过程: ```c void zend_compile_goto(zend_ast *ast) { zend_ast *label_ast = ast->child[0]; znode label_node; zend_op *opline; uint32_t opnum_start = get_next_op_number(CG(active_op_array)); zend_compile_expr(&label_node, label_ast); //如果当前在一个循环内则有的情况下是不能简单跳出循环的 zend_handle_loops_and_finally(); //编译一条临时opcode:ZEND_GOTO opline = zend_emit_op(NULL, ZEND_GOTO, NULL, &label_node); opline->op1.num = get_next_op_number(CG(active_op_array)) - opnum_start - 1; opline->extended_value = CG(context).current_brk_cont; } ``` goto初步被编译为`ZEND_GOTO`,其中label名称保存在op2,extended_value记录的是goto所在循环,如果没有在循环中这个值就等于-1,op1比较特殊,从上面编译的过程分析,它的值等于goto之间的opcode数,goto只编译了一条`ZEND_GOTO`哪来的其他opcode呢?这种情况就是goto在一个循环中,上一节介绍的循环结构中有一个比较特殊:foreach,它在遍历前会新生成一个zval用于遍历,这个zval是在循环结束时才被释放,假如foreach循环体中执行了goto,直接像普通跳转一样跳到了别的位置,那么这个zval就无法释放了,所以这种情况下在goto跳转前需要先执行这些收尾的opcode,这些opcode就是上面`zend_handle_loops_and_finally()`编译的,具体的细节这里不再展开,有兴趣的可以仔细研究下foreach编译时`zend_begin_loop()`的特殊处理。 后面的处理就与break、continue一样了,在`pass_two()`中`ZEND_GOTO`被重置为`ZEND_JMP`,具体的处理过程在`zend_resolve_goto_label()`,比较简单,不再赘述。