Python的垃圾回收里-根集合具体都包含什么

在Python的内存管理世界中，垃圾回收机制扮演着至关重要的角色，它自动地为我们管理着对象的创建与销毁，极大地提升了开发效率，而要深刻理解Python的垃圾回收，尤其是其循环引用检测机制，就必须从一个核心概念入手——根集合，它就像是垃圾回收器在内存海洋中航行的灯塔，为判断对象是否“存活”提供了最初的基准。

什么是根集合？

根集合，英文为Root Set，是垃圾回收器在进行可达性分析时的起点集合，这里的“可达性”指的是，从一个对象出发，通过引用关系，能否找到另一个对象，垃圾回收器的工作逻辑可以简化为：从根集合中的所有对象开始，沿着引用链进行遍历，所有被遍历到的对象都被标记为“可达”（或“存活”），遍历结束后，那些未被标记的对象，即从任何根都无法到达的对象，就被认为是“不可达”的垃圾,其所占用的内存可以被回收。

根集合的定义是： 一组在程序运行的任意时刻都必须被认为是活跃的、不能被垃圾回收器回收的对象的集合。 它们是内存引用图的“根节点”。

根集合的具体构成

这个至关重要的根集合具体包含哪些对象呢？在主流的CPython解释器中,根集合主要由以下几个部分构成：

全局命名空间

所有在模块顶层定义的变量、函数、类等，都存储在该模块的全局命名空间（即一个字典）中，由于这些引用在模块被导入后会一直存在（除非被显式删除），因此它们天然就是根集合的一部分，只要一个对象被全局变量所引用,它就一定是可达的。

在一个 my_module.py 文件中定义的 my_list = [1, 2, 3] ，这个列表对象就被全局变量引用，因此本身就是一个根,它所指向的列表对象也是可达的。

活动函数的调用栈

当一个函数被调用时，Python会为这次调用创建一个新的栈帧，其中包含了该函数的局部变量、参数等信息，只要这个函数还在执行中（即尚未返回），它的栈帧就是“活动的”,其内部的所有局部变量都构成了根集合的一部分。

def my_function():local_obj = MyObject() # local_obj 是一个局部引用# ... 函数执行中 ...# local_obj 是根集合的一部分，它指向的 MyObject 实例是可达的pass# 函数返回后，local_obj 这个引用从调用栈中弹出，不再属于根集合

这意味着，一个对象的存活周期与其被引用的上下文（如函数作用域）紧密相关，一旦函数执行完毕，其局部引用就从根集合中移除，除非存在其他引用链指向该对象,否则它就变成了垃圾。

CPython解释器的内部引用

除了开发者代码中显式创建的引用，CPython解释器自身为了运行也会持有一些对象的引用，这些内部引用同样是根集合的重要组成部分,主要包括：

为了更清晰地展示根集合的构成,我们可以用下表来小编总结：

理解根集合的重要性

深入理解根集合对于编写高质量、无内存泄漏的Python程序至关重要。

它是 调试内存泄漏 的基石，当你发现程序的内存占用持续增长时，一个常见原因就是存在意料之外的“长生命周期”引用，导致本该被回收的对象始终可达，这些引用可能是一个被遗忘添加到全局列表中的对象，或者是一个缓存模块中未被及时清理的条目，通过分析根集合以及从根出发的引用链，使用如等工具，可以精确定位到这些“顽固”的引用,从而解决内存泄漏问题。

它有助于 优化性能 ，虽然Python的垃圾回收是自动的，但GC过程本身会消耗CPU资源，尤其是当对象数量巨大、引用关系复杂时，理解了根集合和GC的工作原理后，开发者可以编写出对GC更友好的代码，尽量避免创建大量不必要的循环引用，或者在适当的时候手动触发 gc.collect() ,以更可控的方式进行内存回收。

根集合是Python垃圾回收机制的逻辑起点，它由全局变量、活动调用栈以及解释器内部引用等共同构成，是判断对象存亡的“最高法院”，掌握其具体构成和工作原理，就如同获得了一副洞察Python内存管理的“X光眼镜”，能够帮助我们编写出更健壮、更高效的代码。

相关问答FAQs

Q1: 如果我在一个函数内部创建了一个对象，但函数在返回前没有把这个对象的引用返回出去或者赋值给外部变量，当函数执行完毕后，这个对象一定会被立即回收吗？

不一定，当函数执行完毕，其局部变量（即对对象的引用）会从调用栈中弹出，该对象确实从根集合的角度变得“不可达”了，它不会“立即”被回收，Python的垃圾回收器（尤其是循环引用检测器）通常在特定条件下运行，比如当内存分配达到某个阈值时，这个对象会成为一个“待回收”的垃圾，等待下一次GC运行时被清理，对于仅被引用计数管理的对象（没有循环引用），其引用计数会在函数返回时减为0，此时内存会立刻被回收，但对于可能参与循环引用的对象,则需要等待循环垃圾回收器的执行。

Q2: 根集合本身会被垃圾回收吗？一个不再被使用的模块，它会不会从 sys.modules 中被移除，从而不再是根？

这是一个很好的问题，根集合的“概念”是永恒的，GC总是需要一个起点，根集合的“内容”是动态变化的，一个模块本身可以被回收，但不是通过GC的传统方式，如果一个模块不再被任何地方引用（除了 sys.modules ），它依然会作为根而存活，因为 sys.modules 这个字典是一个持久的根，要回收一个模块，你需要手动从 sys.modules 中移除它（ del sys.modules['my_module'] ），一旦移除，如果这个模块的对象再没有其他引用，它们就变得不可达了，并会在下次GC时被回收。 sys.modules 这个容器本身是根，但它里面的内容可以被开发者手动管理,从而间接影响对象的可达性。

虚拟内存值太低,该怎么做?

电脑提示虚拟内存不足1、感染了病毒!有些病毒发作时会占用大量内存空间，导致系统出现内存不足的问题。 赶快去杀毒，升级病毒库，然后把防毒措施做好!2、虚拟内存设置不当虚拟内存设置不当也可能导致出现内存不足问题，一般情况下，虚拟内存大小为物理内存大小的2倍即可，如果设置得过小，就会影响系统程序的正常运行。 重新调整虚拟内存大小以WinXP为例，右键点击“我的电脑”，选择“属性”，然后在“高级”标签页，点击“性能”框中的“设置”按钮，切换到“高级”标签页，然后在“虚拟内存”框中点击“更改”按钮，接着重新设置虚拟内存大小，完成后重新启动系统就好了。 虚拟内存不足，是由于windows里虚拟内存设置过小或者虚拟内存所在硬盘空间容量不足。 建议将虚拟内存与操作系统放置在不同的分区，并且设置固定大小，一般为系统内存容量的1．5倍；用鼠标右键点击“我的电脑”，选择“属性”，弹出系统属性窗口，选择“性能选项”标签，点击下面“虚拟内存”按钮，弹出虚拟内存设置窗口，点击“用户自己指定虚拟内存设置”单选按钮，“硬盘”请选较大剩余空间的分区，然后在“最小值”和“最大值”文本框中输入合适的范围值。 如果你感觉使用系统来获得最大和最小值有些麻烦的话，这里完全可以选择“让Windows管理虚拟内存设置”，不过要确保虚拟内存所在分区剩余空间足够大（系统内存的2倍以上）。 3、系统空间不足虚拟内存文件默认是在系统盘中，如WinXP的虚拟内存文件名为“”，如果系统盘剩余空间过小，导致虚拟内存不足，也会出现内存不足的问题。 系统盘至少要保留300MB剩余空间，当然这个数值要根据用户的实际需要而定。 用户尽量不要把各种应用软件安装在系统盘中，保证有足够的空间供虚拟内存文件使用，而且最好把虚拟内存文件安放到非系统盘中。 4、因为SYSTEM用户权限设置不当基于NT内核的Windows系统启动时，SYSTEM用户会为系统创建虚拟内存文件。 有些用户为了系统的安全，采用NTFS文件系统，但却取消了SYSTEM用户在系统盘“写入”和“修改”的权限，这样就无法为系统创建虚拟内存文件，运行大型程序时，也会出现内存不足的问题。 问题很好解决，只要重新赋予SYSTEM用户“写入”和“修改”的权限即可，不过这个仅限于使用NTFS文件系统的用户。

白色污染作文怎么写

危害。 先描述地球现在旳污染状况。 要性、...收集些数据，用数字打动人。 在聊聊白色污染的元素。 具体就不帮你写出来了，自己构思。

电脑编程是什么概念

电脑编程这是每个游戏编程FAQ里都有的问题。 这个问题每星期都会在游戏开发论坛上被问上好几次。 这是个很好的问题，但是，没人能给出简单的答案。 在某些应用程序中，总有一些计算机语言优于其他语言。 下面是几种用于编写游戏的主要编程语言的介绍及其优缺点。 希望这篇文章能帮助你做出决定。 1、C语言如果说ForTRAN和COBOL是第一代高级编译语言，那么C语言就是它们的孙子辈。 C语言是Dennis Ritchie在七十年代创建的，它功能更强大且与ALGOL保持更连续的继承性，而ALGOL则是COBOL和FORTRAN的结构化继承者。 C语言被设计成一个比它的前辈更精巧、更简单的版本，它适于编写系统级的程序，比如操作系统。 在此之前，操作系统是使用汇编语言编写的，而且不可移植。 C语言是第一个使得系统级代码移植成为可能的编程语言。 C语言支持结构化编程，也就是说C的程序被编写成一些分离的函数呼叫（调用）的集合，这些呼叫是自上而下运行，而不像一个单独的集成块的代码使用GOTO语句控制流程。 因此，C程序比起集成性的FORTRAN及COBOL的“空心粉式代码”代码要简单得多。 事实上，C仍然具有GOTO语句，不过它的功能被限制了，仅当结构化方案非常复杂时才建议使用。 正由于它的系统编程根源，将C和汇编语言进行结合是相当容易的。 函数调用接口非常简单，而且汇编语言指令还能内嵌到C代码中，所以，不需要连接独立的汇编模块。 优点：有益于编写小而快的程序。 很容易与汇编语言结合。 具有很高的标准化，因此其他平台上的各版本非常相似。 缺点：不容易支持面向对象技术。 语法有时会非常难以理解，并造成滥用。 2、C++C++语言是具有面向对象特性的C语言的继承者。 面向对象编程，或称OOP是结构化编程的下一步。 OO程序由对象组成，其中的对象是数据和函数离散集合。 有许多可用的对象库存在，这使得编程简单得只需要将一些程序“建筑材料”堆在一起（至少理论上是这样）。 比如说，有很多的GUI和数据库的库实现为对象的集合。 C++总是辩论的主题，尤其是在游戏开发论坛里。 有几项C++的功能，比如虚拟函数，为函数呼叫的决策制定增加了一个额外层次，批评家很快指出C++程序将变得比相同功能的C程序来得大和慢。 C++的拥护者则认为，用C写出与虚拟函数等价的代码同样会增加开支。 这将是一个还在进行，而且不可能很快得出结论的争论。 优点：组织大型程序时比C语言好得多。 很好的支持面向对象机制。 通用数据结构，如链表和可增长的阵列组成的库减轻了由于处理低层细节的负担。 缺点：非常大而复杂。 与C语言一样存在语法滥用问题。 比C慢。 大多数编译器没有把整个语言正确的实现。 3、汇编语言显然，汇编是第一个计算机语言。 汇编语言实际上是你计算机处理器实际运行的指令的命令形式表示法。 这意味着你将与处理器的底层打交道，比如寄存器和堆栈。 如果你要找的是类英语且有相关的自我说明的语言，这不是你想要的。 确切的说，任何你能在其他语言里做到的事情，汇编都能做，只是不那么简单 — 这是当然，就像说你既可以开车到某个地方，也可以走路去，只是难易之分。 话虽不错，但是新技术让东西变得更易于使用。 总的来说，汇编语言不会在游戏中单独应用。 游戏使用汇编主要是使用它那些能提高性能的零零碎碎的部分。 比如说，毁灭战士整体使用C来编写，有几段绘图程序使用汇编。 这些程序每秒钟要调用数千次，因此，尽可能的简洁将有助于提高游戏的性能。 而从C里调用汇编写的函数是相当简单的，因此同时使用两种语言不成问题。 特别注意：语言的名字叫“汇编”。 把汇编语言翻译成真实的机器码的工具叫“汇编程序”。 把这门语言叫做“汇编程序”这种用词不当相当普遍，因此，请从这门语言的正确称呼作为起点出发。 优点：最小、最快的语言。 汇编高手能编写出比任何其他语言能实现的快得多的程序。 你将是利用处理器最新功能的第一人，因为你能直接使用它们。 缺点：难学、语法晦涩、坚持效率，造成大量额外代码 — 不适于心脏虚弱者。 5、Pascal语言Pascal语言是由Nicolas Wirth在七十年代早期设计的，因为他对于FORTRAN和COBOL没有强制训练学生的结构化编程感到很失望，“空心粉式代码”变成了规范，而当时的语言又不反对它。 Pascal被设计来强行使用结构化编程。 最初的Pascal被严格设计成教学之用，最终，大量的拥护者促使它闯入了商业编程中。 当Borland发布IBM PC上的 Turbo Pascal时，Pascal辉煌一时。 集成的编辑器，闪电般的编译器加上低廉的价格使之变得不可抵抗，Pascal编程了为MS-DOS编写小程序的首选语言。 基本上，Pascal比C简单。 虽然语法类似，它缺乏很多C有的简洁操作符。 这既是好事又是坏事。 虽然很难写出难以理解的“聪明”代码，它同时也使得一些低级操作，如位操作变得困难起来。 优点：易学、平台相关的运行（Dephi）非常好。 缺点：“世界潮流”面向对象的Pascal继承者（Modula、Oberon）尚未成功。 语言标准不被编译器开发者认同。 专利权。 6、Visual Basic优点：整洁的编辑环境。 易学、即时编译导致简单、迅速的原型。 大量可用的插件。 虽然有第三方的DirectX插件，DirectX 7已准备提供Visual Basic的支持。 缺点：程序很大，而且运行时需要几个巨大的运行时动态连接库。 虽然表单型和对话框型的程序很容易完成，要编写好的图形程序却比较难。 调用Windows的API程序非常笨拙，因为VB的数据结构没能很好的映射到C中。 有OO功能，但却不是完全的面向对象。 专利权。 7、JavaJava是由Sun最初设计用于嵌入程序的可移植性“小C++”。 在网页上运行小程序的想法着实吸引了不少人的目光，于是，这门语言迅速崛起。 事实证明，Java不仅仅适于在网页上内嵌动画 — 它是一门极好的完全的软件编程的小语言。 “虚拟机”机制、垃圾回收以及没有指针等使它很容易实现不易崩溃且不会泄漏资源的可靠程序。 虽然不是C++的正式续篇，Java从C++ 中借用了大量的语法。 它丢弃了很多C++的复杂功能，从而形成一门紧凑而易学的语言。 不像C++，Java强制面向对象编程，要在Java里写非面向对象的程序就像要在Pascal里写“空心粉式代码”一样困难。 优点：二进制码可移植到其他平台。 程序可以在网页中运行。 内含的类库非常标准且极其健壮。 自动分配合垃圾回收避免程序中资源泄漏。 网上数量巨大的代码例程。 缺点：使用一个“虚拟机”来运行可移植的字节码而非本地机器码，程序将比真正编译器慢。 有很多技术（例如“即时”编译器）很大的提高了Java的速度，不过速度永远比不过机器码方案。 早期的功能，如AWT没经过慎重考虑，虽然被正式废除，但为了保持向后兼容不得不保留。 越高级的技术，造成处理低级的机器功能越困难，Sun为这门语言增加新的“受祝福”功能的速度实在太慢。