Python垃圾回收（GC）三层心法,你了解到第几层？

垃圾回收机制应该是面试最常问的问题了，那么Python中的垃圾回收机制(Garbage Collection)是怎么解决的呢？我记得每一本python入门的书籍都会说python中请不要担忧内存泄漏这个 问题，那么这个背后又是什么原理，今天就来818。

Python中的GC算法

分为下三点：引用计数/标记-清除/分代回收

·引用计数（主要）

刚开始学习Python的时候老是会有人告诉你，万物皆对象是一大特点。在Python中每个对象的核心就是一个结构体PyObject，它的内部有一个引用计数器（ob_refcnt）。

typedef struct_object {
 int ob_refcnt;
 struct_typeobject *ob_type;
} PyObject;
复制代码

a=10
复制代码

引用计数的意思就是，一个对象在它刚被New出来呱呱（gugu不是guagua）坠地的时候由于被New方法引用了因此他的引用计数就是1，若是它被引用（也就是在以前的基础上 例如：b=a，被丢入函数列表等等被引用就会在引用计数上加1），若是引用它的对象被删除的时候（在以前的基础上DEL b）那么它的引用计数就会减小一一直到当它的引用计数变为0的时候，垃圾回收机制就会找上门作掉它（回收），脑补一下 ：开门我是查水表的。

优势/缺点：

由于引用计数是GC主要方法，来看一下优缺点。

优：

简单，实时性（一旦为零就不跟你多BB，作掉）

缺：

· 维护性高（简单实时，可是额外占用了一部分资源，虽然逻辑简单，可是麻烦。比如你吃草莓，吃一次洗一下手，而不是吃完洗手。）

· 不能解决的状况：--->循环引用（以下）：

a=[1,2]
b=[2,3]
a.append(b)
b.append(a)
DEL a
DEL b
复制代码

说实话感受还有点像死锁的问题，这种问题出如今能够循环的结构中List Dict Object等等，如上代码a、b间的引用都为1，而a、b被引用的对象删除后都各自减去1（因此他们各自的引用计数仍是1），这时候就尴尬了啊，都是1就有了免死金牌（一直是1不会变化了）。这样的状况单单靠引用计数就没法解决了。 也为咱们引入了下面的主题 标记-清除

·标记-清除： 标记清除就是用来解决循环引用的问题的只有容器对象才会出现引用循环，好比列表、字典、类、元组。 首先，为了追踪容器对象，须要每一个容器对象维护两个额外的指针， 用来将容器对象组成一个链表，指针分别指向先后两个容器对象，方便插入和删除操做。试想一下，如今有两种状况：

A：

a=[1,3]
b=[2,4]
a.append(b)
b.append(a)
del a
del b
复制代码

B:

a=[1,3]
b=[2,4]
a.append(b)
b.append(a)
del a
复制代码

Okay，如今开始说正题。在标记-清除算法中，有两个集中营，一个是root链表(root object)，另一个是unreachable链表。

· 对于情景A，原来再未执行DEL语句的时候，a,b的引用计数都为2（init+append=2），可是在DEL执行完之后，a,b引用次数互相减1。a,b陷入循环引用的圈子中，而后标记-清除算法开始出来作事，找到其中一端a,开始拆这个a,b的引用环（咱们从A出发，由于它有一个对B的引用，则将B的引用计数减1；而后顺着引用达到B，由于B有一个对A的引用，一样将A的引用减1，这样，就完成了循环引用对象间环摘除。），去掉之后发现，a,b循环引用变为了0，因此a,b就被处理到unreachable链表中直接被作掉。

· 对于情景B,简单一看那b取环后引用计数还为1，可是a取环，就为0了。这个时候a已经进入unreachable链表中，已经被判为死刑了，可是这个时候，root链表中有b。若是a被作掉，那世界上还有什么正义... ，在root链表中的b会被进行引用检测引用了a，若是a被作掉了，那么b就...凉凉，一审完事，二审a无罪，因此被拉到了root链表中。

QA： 为何要搞这两个链表

之因此要剖成两个链表，是基于这样的一种考虑：如今的unreachable可能存在被root链表中的对象，直接或间接引用的对象，这些对象是不能被回收的，一旦在标记的过程当中，发现这样的对象，就将其从unreachable链表中移到root链表中；当完成标记后，unreachable链表中剩下的全部对象就是名副其实的垃圾对象了，接下来的垃圾回收只需限制在unreachable链表中便可。

分代回收：

了解分类回收，首先要了解一下，GC的阈值，所谓阈值就是一个临界点的值。随着你的程序运行，Python解释器保持对新建立的对象，以及由于引用计数为零而被释放掉的对象的追踪。从理论上说，建立==释放数量应该是这样子。可是若是存在循环引用的话，确定是建立>释放数量，当建立数与释放数量的差值达到规定的阈值的时候，当当当当~分代回收机制就登场啦。

垃圾回收=垃圾检测+释放。

分代回收思想将对象分为三代（generation 0,1,2），0表明幼年对象，1表明青年对象，2表明老年对象。根据弱代假说（越年轻的对象越容易死掉，老的对象一般会存活更久。） 新生的对象被放入0代，若是该对象在第0代的一次gc垃圾回收中活了下来，那么它就被放到第1代里面（它就升级了）。若是第1代里面的对象在第1代的一次gc垃圾回收中活了下来，它就被放到第2代里面。gc.set_threshold(threshold0[,threshold1[,threshold2]])设置gc每一代垃圾回收所触发的阈值。从上一次第0代gc后，若是分配对象的个数减去释放对象的个数大于threshold0，那么就会对第0代中的对象进行gc垃圾回收检查。 从上一次第1代gc后，如过第0代被gc垃圾回收的次数大于threshold1，那么就会对第1代中的对象进行gc垃圾回收检查。一样，从上一次第2代gc后，如过第1代被gc垃圾回收的次数大于threshold2，那么就会对第2代中的对象进行gc垃圾回收检查。

这算是简单的讲完了Python的GC，打完收工。