Python是否会垃圾回收后续不再使用的高作用域变量？

a = [1, 2, 3, 4] # 实际场景为超大列表
y = sum(a)
print( do_stuff(y) )

• 针对官方默认的CPython解释器（90%以上生产、开发环境用的Python实现）：只要全局作用域里的a变量还持有列表的引用，这块内存在程序运行结束前不会被自动释放。
• 在do_stuff函数执行的全流程里，哪怕后续代码再也不会访问a，这块内存也会持续被占用。CPython不会做"变量后续无用就提前销毁引用"的激进优化，只要a还存在于当前作用域的符号表中，就始终持有列表的强引用，引用计数始终大于0，垃圾回收机制不会回收这部分内存。
• 用完a之后手动给a赋值为None是完全可行、也是工业界非常常用的大对象内存优化手段。执行a = None后，原列表对象的强引用被断开，引用计数直接归0，CPython会立即释放这部分内存；如果列表内存在循环引用的对象，也会在后续分代垃圾回收扫描时被清理掉。

补充说明：del a和a = None效果本质一致，都是断开变量名对原列表对象的引用，两种写法都能达到提前释放内存的目的，按需选择即可。如果是PyPy、Jython这类非引用计数实现的Python解释器，垃圾回收时机由运行时自行调度，即使断开引用也不会保证立刻释放内存，但手动断开引用依然是帮助GC识别可回收对象的正确做法。

内容的提问来源于stack exchange，提问作者chausies