foreach是PHP的关键字，用来实现基于数据的循环。基于数据循环语句的循环是由数据结构中的元素的数目来控制的。一般来说，基于数据的循环语句会使用一种称之为迭代器的函数来实现元素的遍历。
zend_do_foreach_begin： 循环开始操作，生成FE_RESET中间代码，数组会在循环开始时执行RESET操作，即我们使用foreach遍历时不用每次重新手动RESET，同时此操作也会生成获取变量的FE_FETCH中间代码。
zend_do_foreach_cont：根据需要获取变量的状态判断是否引用，此处的引用会影响FE_RESET的初始化操作和FE_FETCH中间代码的获取变量操作。
zend_do_foreach_end：设置ZEND_JMP中间代码，设置下一条OP，以跳出循环，结束循环，清理工作。
这三个操作都是语析时对应的函数名，在编译过程中会直接调用。他们形成的中间代码在PHP内核执行时，形成的循环遍历效果是：在foreach遍历之前, PHP内核首先会有个FE_RESET操作来重置数组的内部指针，也就是pInternalPointer, 然后通过每次FE_FETCH将pInternalPointer指向数组的下一个元素，从而实现顺序遍历。并且每次FE_FETCH的结果都会被一个全局的中间变量存储，以给下一次的获取元素使用。
当我们通过RESET初始化数组后，FETCH会获取变量，并将数组的内部指针指向一个元素。在前面我们讲过，常规情况下OPCODE的执行是一条一条依次执行的，则在FE_FETCH获取完变量后，PHP内核会依次执行后续的OPCODE，当执行到JMP时，会重新跳到->
7，即再一次获取变量，如此构成一个循环。当FE_FETCH执行失败时，会跳转到->
14，即SWITCH_FREE，从而结束整个循环。
Note: 当 foreach 开始执行时，数组内部的指针会自动指向第一个单元。这意味着不需要在 foreach 循环之前调用 reset()。 由于 foreach 依赖内部数组指针，在循环中修改其值将可能导外的行为。
为什么foreach循环体中执行key或current会显示第二个元素（非引用情况）？以key函数为例，我们执行函数调用时，会执行中间代码SEND_REF，此中间代码会将没有设置引用的变量复制一份并设置为引用。当进入循环体时，PHP内核已经经过了一次fetch操作，相当于执行了一次next操作，当前元素指向第二个元素。因此我们在foreach的循环体中执行key函数时，key中调用的数组变量为PHP执行了一次fetch操作的数组拷贝，此时foreach的内部指针指向第二个元素。
为什么在foreach中执行end等操作，其循环过程不变？在遍历的代码中通过end，next等操作数组的指针，数组的指针不会变化，这是因为在PHP内核进行FETCH操作时，会通过中间变量存储当前操作数组的内部指针，每遍历一个元素，会先获取之前存储的指针，获取下一个元素后，再恢复指针，关键在于FETCH OPCODE执行过程中的中间变量。
为什么$row的引用和非引用情况下输出结果不同？如果是引用，PHP内核在reset数组时，会直接数组，生成一个数组的拷贝，并将其设置为引用。如果引用，PHP内核在reset数组时，当数组的引用计数大于1，并且不存在引用时，会拷贝数组供foreach使用，其它情况使用原数组，将其引用计数加1。因为引用的不同，在循环体中给函数传递参数时其结果不同，导致看到的foreach数组内部指针变化的不同。对于非引用且引用计数大于1的情况，其本身就是两个不同的数组，在RESET时就不同了。
本文来源于ipfs
网友评论 ()条 查看