附录1：break/continue按标签中断语法实现

    表示要中断往上数两层也就是loop2这层循环，break 2之后将从loop2 end开始继续执行。PHP的break、continue只能根据数值中断对应的循环，当嵌套循环比较多的时候这种方式维护起来就变得很不方便，需要一层层的去数要中断的循环。

    了解Go语言的读者应该知道在Go中可以按照标签中断，举个例子来看：

    1. //test.go
    2. func main() {
    3. loop1:
    4.     for i := 0; i < 2; i++ {
    5.         fmt.Println("loop1")
    7.         for j := 0; j < 5; j++ {
    8.             fmt.Println("  loop2")
    9.             if j == 2 {
    10.                 break loop1
    11.             }
    12.         }
    13.     }
    14. }

    go run test.go将输出：

    1. loop1
    2.   loop2
    3.   loop2
    4.   loop2

    break loop1这种语法在PHP中是不支持的，接下来我们就对PHP进行改造，让PHP实现同样的功能。

    1.2 实现

    想让PHP支持类似Go语言那样的语法首先需要明确PHP中循环及中断语句的实现，关于这两部分内容前面《PHP基础语法实现》一章已经详细介绍过了，这里再简单概括下实现的关键点:

    • 不管是哪种循环结构，其编译时都生成了一个zend_brk_cont_element结构，此结构记录着这个循环break、continue要跳转的位置，以及嵌套的父层循环
    • break/continue编译时分为两个步骤：首先初步编译为临时opcode，此opcode记录着break/continue所在循环层以及要中断的层级(即:break n，默认n=1)；然后在脚本全部编译完之后的pass_two()中，根据当前循环层及中断的层级n向上查找对应的循环层，最后根据查找到的要中断的循环zend_brk_cont_element结构得到对应的跳转位置，生成一条ZEND_JMP指令

    标签在内核中通过HashTable的结构保存(即：CG(context).labels)，key就是标签名，标签会记录当前opcode的位置，我们要实现break 标签的语法需要根据标签取到循环，因此我们为标签赋予一种新的含义：循环标签，只有标签紧挨着循环的才认为是这种含义，比如：

    标签与循环之间有其它表达式的则只能认为是普通标签：

    1. loop1:
    2. $a = 123;
    3. for(...){
    4. }

    既然要按照标签进行break、continue，那么很容易想到把中断的循环层级id保存到标签中，编译break/continue时先查找标签，再查找循环的zend_brk_cont_element即可，这样实现的话需要循环编译时将自己zend_brk_cont_element的存储位置保存到标签中，标签的结构需要修改，另外一个问题是标签编译不会生成任何opcode，循环结构无法直接根据上一条opcode判断它是不是 循环标签 ，所以我们换一种方式实现，具体思路如下：

    • (1) 循环结构开始编译前先编译一条空opcode(ZEND_NOP)，用于标识这是一个循环，并把这个循环zend_brk_cont_element的存储位置记录在此opcode中
    • (2) break编译时如果发现是一个标签，则从CG(context).labels)中取出标签结构，然后判断此标签的下一条opcode是否为ZEND_NOP，如果不是则说明这不是一个 >循环标签 ，无法break/continue，如果是则取出循环结构
    • (3) 得到循环结构之后的处理就比较简单了，但是此时还不能直接编译为ZEND_JMP，因为循环可能还未编译完成，break只能编译为临时opcode，这里可以把标签标记的循环存储位置记录在临时opcode中，然后在pass_two()中再重新获取，需要对pass_two()中的逻辑进行改动，为减少改动，这个地方转化一下实现方式：计算label标记的循环相对break所在循环的位置，也就是转为现有的break n，这样以来就无需对pass_two()进行改动了

    接下来看下具体的实现，以for为例。

    (1) 编译循环语句

    1. void zend_compile_for(zend_ast *ast)
    2. {
    3.     zend_ast *init_ast = ast->child[0];
    4.     zend_ast *cond_ast = ast->child[1];
    5.     zend_ast *loop_ast = ast->child[2];
    6.     zend_ast *stmt_ast = ast->child[3];
    8.     znode result;
    9.     uint32_t opnum_start, opnum_jmp, opnum_loop;
    10.     zend_op *mark_look_opline;
    12.     mark_look_opline = zend_emit_op(NULL, ZEND_NOP, NULL, NULL);
    14.     zend_compile_expr_list(&result, init_ast);
    15.     zend_do_free(&result);
    17.     opnum_jmp = zend_emit_jump(0);
    19.     zend_begin_loop(ZEND_NOP, NULL);
    21.     //新增：保存当前循环的brk，同时为了防止与其它ZEND_NOP混淆，把op1标为-1
    22.     mark_look_opline->op1.var = -1;
    23.     mark_look_opline->extended_value = CG(context).current_brk_cont;
    24.     ...
    25. }

    首先明确一点：break label将被编译为以下语法结构：

    ZEND_AST_BREAK只有一个子节点，如果是数值那么这个子节点类型为ZEND_AST_ZVAL，如果是标签则类型是ZEND_AST_CONST，ZEND_AST_CONST也有一个类型为ZEND_AST_ZVAL子节点。下面看下break/continue修改后的编译逻辑：

    zend_loop_get_depth_by_label()这个函数用来计算标签标记的循环相对break/continue所在循环的层级：

    1. int zend_loop_get_depth_by_label(zend_string *label_name)
    2. {
    3.     zval *label_zv;
    4.     zend_label *label;
    5.     zend_op *next_opline;
    7.     if(UNEXPECTED(CG(context).labels == NULL)){
    8.         zend_error_noreturn(E_COMPILE_ERROR, "can't find label:'%s' or it not mark a loop", ZSTR_VAL(label_name));
    9.     }
    11.     // 1) 查找label
    12.     label_zv = zend_hash_find(CG(context).labels, label_name);
    13.     if(UNEXPECTED(label_zv == NULL)){
    14.         zend_error_noreturn(E_COMPILE_ERROR, "can't find label:'%s' or it not mark a loop", ZSTR_VAL(label_name));
    15.     }
    17.     label = (zend_label *)Z_PTR_P(label_zv);
    19.     // 2) 获取label下一条opcode
    20.     next_opline = &(CG(active_op_array)->opcodes[label->opline_num]);
    21.     if(UNEXPECTED(next_opline == NULL)){
    22.         zend_error_noreturn(E_COMPILE_ERROR, "can't find label:'%s' or it not mark a loop", ZSTR_VAL(label_name));
    23.     }
    25.     int label_brk_offset, curr_brk_offset; //标签标识的循环、break当前所在循环
    26.     int depth = 0; //break当前循环至标签循环的层级
    28.     if(next_opline->opcode == ZEND_NOP && next_opline->op1.var == -1){
    29.         label_brk_offset = next_opline->extended_value;
    30.         curr_brk_offset = CG(context).current_brk_cont;
    32.         brk_cont_element = &(CG(active_op_array)->brk_cont_array[curr_brk_offset]);
    33.         //计算标签标记的循环相对位置
    34.         while(1){
    35.             depth++;
    37.             if(label_brk_offset == curr_brk_offset){
    38.                 return depth;
    39.             }
    41.             curr_brk_offset = brk_cont_element->parent;
    42.             if(curr_brk_offset < 0){
    43.                 //label标识的不是break所在循环
    44.                 zend_error_noreturn(E_COMPILE_ERROR, "can't break/conitnue label:'%s' because it not mark a loop", ZSTR_VAL(label_name));
    45.             }
    46.         }
    47.     }else{
    48.         //label没有标识一个循环
    49.         zend_error_noreturn(E_COMPILE_ERROR, "can't break/conitnue label:'%s' because it not mark a loop", ZSTR_VAL(label_name));
    50.     }
    52.     return -1;
    53. }

    改动后重新编译PHP，然后测试新的语法是否生效：

    1. //test.php
    3. loop1:
    4. for($i = 0; $i < 2; $i++){
    5.     echo "loop1\n";
    7.     for($j = 0; $j < 5; $j++){
    8.         echo "  loop2\n";
    9.         if($j == 2){
    10.             break loop1;
    11.         }
    12.     }
    13. }

    其它几个循环结构的改动与for相同，有兴趣的可以自己去尝试下。