PHP底层分析：关于写时复制(cow)

想要走到技术的天花板，那么学习过程当中在于知其然且知其因此然。

今天咱们来讨论一下PHP底层的写时复制(也称写时分裂)。

首先咱们先来看看一段代码：

两段代码的输出结果相信各位都知道，可是咱们今天讲讲这之中发生了什么。

下图是PHP存储变量的结构体(为方便讲解已写了注释)，zend.h在Zend目录下。

能够看到，该结构体存储了关于变量值，有几个变量指向该结构体，变量类型，是否为引用变量等信息。

那么第一次打印发生了什么呢？变量的信息进入了一个结构体，相关以下：

$name = ‘傍晚八点半’;
$myName = $name;

此时$name和$myName共用一个结构体的，refcount__gc为2，

咱们发现，$myName = $name;这个过程当中并无主动变成两个结构体(这也算PHP内部实现优化的一种，只用一个结构体，省了内存)。

那么当代码运行到 $myName = ‘gzchen’; 的时候，结构体如何变化呢？因为第一次输出时是两个变量共用结构体，那么此时更改其中一个变量，会不会致使两个值一块儿变化呢？纯粹从结构体的逻辑来看，是有可能的，毕竟你们共用着这个结构体嘛。

那么咱们看下第二次打印是怎么样的状况，相关变化以下：

并无按照咱们所想的将$name和$myName同时改为’gzchen’，而是复制多了一份结构体出来，两个结构体分别对应着$name和$myName。

这个就是写时复制(Copy-on-write，COW)在做怪，他没有在$myName = $name;赋值的时候就分裂成两个结构体，而是在咱们改写其中一个变量时发生效果，属于一种慢复制（也称慢分裂）。

伪代码以下：

咱们再看下另一段代码：

输出为’b’，中途发生了什么？

其实foreach遍历过程当中，并非直接操做$arr(原数组)的，而是会将$arr复制出一个$arrcopy(其实是一个副本，我这里以$arrcopy代替）,foreach在遍历过程当中操做的其实一直是$arrcopy，大概的流程是这样：

和上面举得例子实际上是一个道理，咱们能够看出，刚开始($arr = $arrcopy)仍是共用一个结构体的，可是$arr[$k] = $v又再次赋值，发生了写时复制，结构体就分裂了。

而后前面说过foreach操做的是$arrcopy,因此$arr的结构体指针就被停留在第一位了（由于结构体不同了，$arrcopy没办法同步给$arr赋值了）。

其实这类技术一般只会在面试中用到，平常开发会用这种写法的人终究仍是少数，暂时看不明白的朋友也不用太在乎，只要知道有”写时复制”这个状况出现就好了。