深入解析PHP中foreach语句控制数组循环的用法

foreach是PHP中很常用的一个用作数组循环的控制语句。
因为它的方便和易用，自然也就在后端隐藏着很复杂的具体实现方式(对用户透明)
今天，我们就来一起分析分析，foreach是如何实现数组（对象）的遍历的。
我们知道PHP是一个脚本语言，也就是说，用户编写的PHP代码最终都是会被PHP解释器解释执行，
特别的，对于PHP来说，所有的用户编写的PHP代码，都会被翻译成PHP的虚拟机ZE的虚拟指令（OPCODES）来执行，不论细节的话，就是说，我们所编写的任何PHP脚本，都会最终被翻译成一条条的指令，从而根据指令，由相应的C编写的函数来执行。

那么foreach会被翻译成什么样子呢？

foreach($arr as $key => $val){   echo $key . '=>' . $val . "/n";}

在词法分析阶段，foreach会被识别为一个TOKEN：T_FOREACH，
在语法分析阶段，会被规则：

 unticked_statement: //没有被绑定ticks的语句   //有省略  |  T_FOREACH '(' variable T_AS    { zend_do_foreach_begin(&$1, &$2, &$3, &$4, 1 TSRMLS_CC); }    foreach_variable foreach_optional_arg ')' { zend_do_foreach_cont(&$1, &$2, &$4, &$6, &$7 TSRMLS_CC); }    foreach_statement { zend_do_foreach_end(&$1, &$4 TSRMLS_CC); }  |  T_FOREACH '(' expr_without_variable T_AS    { zend_do_foreach_begin(&$1, &$2, &$3, &$4, 0 TSRMLS_CC); }    variable foreach_optional_arg ')' { zend_check_writable_variable(&$6); zend_do_foreach_cont(&$1, &$2, &$4, &$6, &$7 TSRMLS_CC); }    foreach_statement { zend_do_foreach_end(&$1, &$4 TSRMLS_CC); }   //有省略;

仔细分析这段语法规则，我们可以发现，对于:

foreach($arr as $key => $val){echo $key . ‘=>' . $val .”/n”;}

会被分析为：

   T_FOREACH '(' variable T_AS  { zend_do_foreach_begin('foreach', '(', $arr, 'as', 1 TSRMLS_CC); }  foreach_variable foreach_optional_arg(T_DOUBLE_ARROW foreach_variable)  ')' { zend_do_foreach_cont('foreach', '(', 'as', $key, $val TSRMLS_CC); }  foreach_satement {zend_do_foreach_end('foreach', 'as');}

然后，让我们来看看foreach_statement：
它其实就是一个代码块，体现了我们的 echo $key . ‘=>' . $val .”/n”;
T_ECHO expr;

显然，实现foreach的核心就是如下3个函数：

zend_do_foreach_begin zend_do_foreach_cont zend_do_foreach_end

其中，zend_do_foreach_begin (代码太长，直接写伪码) 主要做了：
1. 记录当前的opline行数（为以后跳转而记录）
2. 对数组进行RESET（讲内部指针指向第一个元素）
3. 获取临时变量 （$val）
4. 设置获取变量的OPCODE FE_FETCH，结果存第3步的临时变量
4. 记录获取变量的OPCODES的行数

而对于 zend_do_foreach_cont来说：
1. 根据foreach_variable的u.EA.type来判断是否引用