垃圾回收，简称gc。顾名思义，就是废物重利用的意思。再说这个之前先接触一下内存泄露，大概意思就是申请了一块地儿拉了会儿屎，拉完之后不收拾，那么这块地就算糟蹋了，地越用越少，最后一地全是屎。说到底一句，用了记得还。一定程度上说，垃圾回收机制就是来擦屁股的。
如果用过C语言，那么申请内存的方式是malloc或者calloc，然后你用完这个内存之后，一定不要忘记用free函数去释放掉，这就是传说中的手动垃圾回收，一般都是要扫地僧用这种方式。
很多高层次语言中，你这辈子都是接触不到内存管理的，比如世界上最好的语言PHP，这种语言替你管理了内存，你就安安心心写烂代码即可。写PHP的，你说你关心内存，我是不怎么相信的，一定是你在装逼。当然了，如果你用的swoole或者wm或者自己发明的常驻内存级PHP应用，那你将不得不关注内存泄露的问题，也就说一定要记得释放无用变量。
那么，在用的最普遍地最传统的web开发中，PHP的自动垃圾回收机制是怎样的呢？
这个问题我们先这么想，就是都知道PHP是C语言实现的，现在把C语言给你放在这里了，然后你想如果用C语言实现对一个变量的统计以及释放。你不要想如何实现PHP，你就想C语言如何实现一个变量，从声明开始到最后没人用了，就把这个变量所占的内存释放掉。你从这个角度出发，就会舒服一些，这不再是一个技术难题，而是一个傻逼产品经理提的一个傻逼需求。
好了，步入正题，PHP进行内存管理的核心算法一共两项：一是引用计数，二是写时拷贝，请理（bei）解（song）。当你声明一个PHP变量的时候，C语言就在底层给你搞一个zval的struct（结构体）；如果你还给这个变量赋值了，比如“hello world”，那么C语言就在底层再给你搞一个zend_vaue的union（联合体），总体看来是这样的：
1、我用的PHP版本是7.0.12（记住！这个很重要！不同版本的PHP有极大可能会出现不同的结果，我试过6个版本的PHP，三个PHP5版本，三个PHP7版本，其中PHP版本变化尤其多，但不影响业务代码不会出BUG，放心），运行环境是cli。
2、下面的原因只针对PHP7，不再说5了。你面试的时候，只需要说5的我不太了解，7的我深入看过一些即可，面试官不会难为你的。
$a = 'hello'.mt_rand(1,1000);
echo xdebug_debug_zval('a');
$b = $a;
echo xdebug_debug_zval('a');
$c = $a;
echo xdebug_debug_zval('a');
unset($c);
echo xdebug_debug_zval('a');
输出的结果是：
a: (refcount=1, is_ref=0)string 'hello204' (length=8) a: (refcount=2, is_ref=0)string 'hello204' (length=8) a: (refcount=3, is_ref=0)string 'hello204' (length=8) a: (refcount=2, is_ref=0)string 'hello204' (length=8)
其中，zval struct结构体用于保存$a，zend_value union联合体用于保存数据内容‘hello204’。由于后面又声明了b和c，所以C不得不又在底层给你搞出两个zval struct结构体来。
其中，zval和zend_value的结构大概如下：（注意！！！这并不是完全正确的PHP zval和zend_value在C语言中的struct和union实现，仅仅是挑出最重点的部分写出来，强调一下：你没必要一字不差背诵zval和zend_value，你只需要知道原理）。
zval {
string "a" //变量的名字是a
value zend_value //变量的值
type string //变量是字符串类型
}
zend_value {
string "hello204" //值的内容
refcount 1 //引用计数
}
看到上面两个，如果面试官问你PHP变量为什么能够保存字符串‘123’，也能保存数字123，你知道该怎么回答吧？就答出重点zval中有该变量的类型，当是字符串123的时候，type就是string，此时value指向“123”；当是整数123的时候，zval的type是int，value是123.这就是答题的思想，这很重要！而且，通过C语言都是可以实现的！具体真正的val和zend_value的模样，有兴趣的同学可以去网上搜，如果你没有C语言的底子，可能比较吃力！前者是一个struct结构体，后者是一个union联合体。
这个refcount就是传说中的引用计数，初始化的时候a后面的引用次数为1（注意，正确说法应该是a后面的赋值的数组的zend_value引用计数为1，而不是a这个变量zval本身）。然后我们将$b = $a，其实相当于又将一个变量指向了这个zend_value，所以refcount变为2，左后将$c = $a，同理，zend_value的refcount再次加1变成3.然后我们用unset($c)，这会儿，C语言要做的就是把$c的zval给KO free掉，但是并不是free zend_value，这会儿zend_value的refcount就自然而然减1变成2了。
那么写时拷贝是什么意思呢？看下面的代码：
$a = 'hello'.mt_rand(1,1000); $b = $a; $a = 123; echo $b.PHP_EOL;
运行结果是：
hello607
其实，当你把$a赋值给$b的时候，$a的值并没有真的复制一份，这样是对内存的极度不尊重，也是对时间复杂度的极度不尊重，计算机仅仅是将$b指向了$a的值而已，这就叫多快好省。那么，什么时候真正的发生复制呢？就是当我们修改$a的值为123的时候，这个时候就不得已进行复制，避免$b的值和$a的一样。
$a = 'hello'.mt_rand(1,1000);
$b = $a;
echo xdebug_debug_zval('a');
$a = 'world'.mt_rand(2,2000);
echo xdebug_debug_zval('a');
echo xdebug_debug_zval('b');
运行结果是：
a: (refcount=2, is_ref=0)string 'hello642' (length=8) a: (refcount=1, is_ref=0)string 'world1639' (length=9) b: (refcount=1, is_ref=0)string 'hello642' (length=8)
叨逼叨了这么长时间，通过简单的案例解释清楚了两个要点：引用计数和写时拷贝，那么垃圾回收也该来了。当一个zval在被unset的时候或者从一个函数中运行完毕（就是局部变量）的时候等等很多地方，都会产生zval与zend_value发生断开的行为，这个时候zend引擎需要检测的就是zend_value的refcount是否为0，如果为0，则直接KO free空出来被释放。如果zend_value的refcount不为0（废话一定是大于0），这个value不能被释放，但是也不代表这个zend_value是清白的，因为此zend_value依然可能是个垃圾。
什么样的情况会导致zend_value的refcount不为0，但是这个zend_value却是个垃圾呢？PHP7中两种情况：
1、数组：a数组的某个成员使用&引用a自己
2、对象：对象的某个成员引用对象自己
$arr = [1];
$arr[] = &$arr;
unset($arr);
echo xdebug_debug_zval('arr');
这种情况下，zend_value不会被释放，但也不能放过它，不然一定会产生内存泄露，所以这会儿zend_value会被扔到一个叫做垃圾回收堆中，然后zend引擎会以此对垃圾回收堆中的这些zend_value进行二次检测，检测是不是由于上述两种情况造成的refcount为1，但是自身却确实没有人再用了，如果一旦确定是上述两种情况造成的，那么就会将zend_value彻底抹掉释放内存。
那么垃圾回收发生在什么时候？有些同学可能有疑问，就是PHP不是运行一次就销毁了吗，我要gc有何用？并不是啦，首先当一次fpm运行完毕后，最后一定还有gc的，这个销毁就是gc；其次是，内存都是即用即释放的，而不是攒着非得到最后，你想想一个典型的场景，你的控制器里的某个方法里用了一个函数，函数需要一个巨大的数组参数，函数还需要修改这个巨大的数组参数，你们应该是在函数的运行范围里面修改这个数组，所以此时会发生写时拷贝，当函数运行完毕后，就得赶紧释放掉这块内存以供其他进程使用，而不是非得等到本地fpm request彻底完成后才销毁。
说到最后，说些自己的话：大多数情况下，面试官问你的问题主要是想，一是要你个思维思路，二是看你学习程度。就像gc这个问题，其实很多脚本语言的垃圾回收机制基本上都是靠引用计数和写时拷贝这两种算法结合完成的，所以如果你设计一门脚本语言，gc机制就按照这两种算法进行设计即可。其次是大多数phper不会看这些东西，面试官问你这个问题不是要你死记硬背那么多细节，你背不过的，他还是想探测你平时有没有更积极地往深层发展的心态。