Python 的内存是如何管理的

在 Python 中，使用了引用计数这一技术实现内存管理。一个对象被创建完成后就有一个变量指向他，那么就说明他的引用计数为 1，以后如果有其他变量指向他，引用计数也会相应增加，如果将一个变量不再执行这个对象，那么这个对象的引用计数减 1。如果一个对象没有任何变量指向他，也即引用计数为 0，那么这个对象会被 Python 回收。示例代码如下：

class Person(object):
    def __init__(self,name):
        self.name = name

    def __del__(self):
        print('%s 执行了 del 函数'%self.name)

while True:
    p1 = Person('p1')
    p2 = Person('p2')
    del p1
    del p2
    a = input('test:')

可以看到，两个对象的 del 函数都得到了执行。(欢迎加公众号：pythonjs，持续分享干货）

二、循环引用：

引用计数这一技术虽然可以在一定程度上解决内存管理的问题。但是还是有不能解决的问题，即循环引用。比如现在有两个对象分别为 a 和 b，a 指向了 b，b 又指向了 a，那么他们两的引用计数永远都不会为 0。也即永远得不到回收。看以下示例：

class Person(object):
    def __init__(self,name):
        self.name = name

    def __del__(self):
        print('%s 执行了 del 函数'%self.name)

while True:
    p1 = Person('p1')
    p2 = Person('p2')
    # 循环引用后，永远得不到释放
    p1.next = p2
    p2.prev = p1
    del p1
    del p2
    a = input('test:')

可以看到，del 函数是不会运行的，是因为循环引用导致两个对象得不到释放。(欢迎加公众号：pythonjs，持续分享干货）

三、标记清除和分代回收：

在 Python 程序中，每次你新创建了一个对象，那么就会将这个对象挂到一个叫做零代链表中（当然这个链表是 Python 内部的，Python 开发者是没法访问到的）。比如现在你在程序中创建四个 Person 对象，分别叫做 p1、p2、p3 以及 p4，然后 p1 与 p2 之间互相引用，并且让 p3 和 p4 的引用计数为 2，示例代码如下：

import sys

class Person(object):
    def __init__(self,name):
        self.name = name
        self.next = None
        self.prev = None

p1 = Person('p1')
p2 = Person('p2')
p3 = Person('p3')
p4 = Person('p4')

p1.next = p2
p2.prev = p1

temp1 = p3
temp2 = p4

print(sys.getrefcount(p1))
print(sys.getrefcount(p2))
print(sys.getrefcount(p3))
print(sys.getrefcount(p4))

以上代码实际上就会将 p1 和 p2 以及 p3 和 p4 挂在一个叫做零代链表中，示例图如下：

我们可以看到，这时候 p1 引用了 p2，而 p2 又引用了 p1，因此这两个对象产生了循环引用。在后期即使我删除了 del p1 以及 del p2，那么这两个对象也会得不到释放。

因此这时候 Python 就启用了一个新的垃圾回收的机制。如果创建的对象总和减去被释放的对象，达到一定的值（某个阈值），那么 Python 就会遍历这个零代链表，找到那些有相互引用的对象，将这些对象的引用计数减 1，如果引用计数值为 0 了，那么就说明这个对象是可以被释放的，比如以上 p1 和 p2，这时候就会释放 p1 和 p2。接下来再将没有被释放的对象，挪动到一个新的链表中，这个链表叫做一代链表。