Python 2.7 中引发异常后未释放对象

Question

我正在使用 Python 2.7 并试图拥有干净的内存（因为我正在编写一个小型服务器）。我面临的问题是最后一次引发的对象仍然保留在垃圾收集器中（然后在第一次尝试/例外之后不会调用 __ del __ ）。

这是一个小例子：

import gc

class A(object):
    def raiser(self):
        0/0 # will raise an exception
a = A()

try:
    a.raiser()
except:
    pass

a = None # should release the object from memory

gc.collect() # just to be sure, but doesn't do anything


print '1. Nbr of instance of A in gc : '
print len([o for o in gc.get_objects() if isinstance(o, A)]) # get 1 but expected 1


try:
    0/0
except:
    pass
print '2. Nbr of instance of A in gc : '
print len([o for o in gc.get_objects() if isinstance(o, A)]) # get 0 (finally)

它会返回：

1. Nbr of instance of A in gc : 
1
2. Nbr of instance of A in gc : 
0

当我等待两者都为 0 时， 。 A实例存储在哪里？

多谢 亚历克斯

Answer 1

该实例（至少）存储在 raiser 函数的中断帧中，我们可以使用 gc.get_referrers 进行检查：

import gc
import inspect

class A(object):
    def raiser(self):
        print inspect.currentframe()
        0/0
a = A()

try:
    a.raiser()
except:
    pass

a = None # should release the object from memory
gc.collect() # just to be sure, but doesn't do anything

print 'b. Nbr of instance of A in gc : '
print [map(lambda s: str(s)[:64], gc.get_referrers(o)) for o in gc.get_objects() if isinstance(o, A)]

try:
    0/0
except:
    pass

print '---'

print 'c. Nbr of instance of A in gc : '
print [map(lambda s: str(s)[:64], gc.get_referrers(o)) for o in gc.get_objects() if isinstance(o, A)]

这将打印：

<frame object at 0x239fa70>
---
b. Nbr of instance of A in gc : 
[["[[], ('Return a new Arguments object replacing specified fields ",
  "{'A': <class '__main__.A'>, 'a': None, '__builtins__': <module '",
  '<frame object at 0x239fa70>']]
---
c. Nbr of instance of A in gc : 
[]

注意最后一个对象是相同的作为raiser的框架。 你也会得到相同的结果

try:
    A().raiser()
except:
    pass

这也意味着如果你只写我们可以再次执行相同的技巧来查看保存框架对象的内容，

class A(object):
    def raiser(self):
        0/0

try:
    A().raiser()
except:
    pass

print [(map(lambda x: str(x)[:64], gc.get_referrers(o)),  # Print the referrers
        map(type, gc.get_referents(o)))  # Check if it's the frame holding an A
           for o in gc.get_objects()
           if inspect.isframe(o)]

：结果是

[(['<traceback object at 0x7f07774a3bd8>',
   '[<function getblock at 0x7f0777462cf8>, <function getsourcelines',
   "{'A': <class '__main__.A'>, '__builtins__': <module '__builtin__"
  ], [<type 'frame'>, <type 'code'>, <type 'dict'>, <type 'dict'>,
      <class '__main__.A'>]),
 (['<frame object at 0xe3d3c0>',
   '<traceback object at 0x7f07774a3f38>',
   '[<function getblock at 0x7f0777462cf8>, <function getsourcelines',
   "{'A': <class '__main__.A'>, '__builtins__': <module '__builtin__"
  ], [<type 'code'>, <type 'dict'>, <type 'dict'>, <type 'dict'>,
      <type 'NoneType'>])]

所以我们看到框架至少由回溯保存对象。我们可以在 tracebacktraceback 对象的信息code> 模块，其中提到：

该模块使用回溯对象 - 这是存储在变量 sys.exc_traceback（已弃用）和 sys.last_traceback 中的对象类型，并作为第三项返回来自sys.exc_info()。

这意味着这些系统变量可能是使帧保持活动状态的变量。事实上，如果我们调用 sys.exc_clear() 清除异常信息，实例将被释放：

import gc
import sys

class A(object):
    def raiser(self):
        0/0

try:
    A().raiser()
except:
    pass

print len([o for o in gc.get_objects() if isinstance(o, A)])  # prints 1
sys.exc_clear()
print len([o for o in gc.get_objects() if isinstance(o, A)])  # prints 0

Answer 2

经过一番调查。如果导入 sys 并放置，

...
a = None

print sys.exc_info()

#sys.exc_clear() # if you add this your A instance will get gc as expected 

gc.collect()
...

您会注意到解释器仍然保留对 try...catch 内部的 ZeroDivisionError 的引用，即使代码已经在外面了。由于异常保留对抛出的帧的引用（如果只是为了打印回溯），因此您的 A 实例仍然具有非零引用计数。

一旦抛出（并处理）另一个异常，解释器就会删除对第一个异常的引用，并收集异常和与其连接的对象。

Answer 3

在代码中添加一些调试行：

import gc
gc.set_debug(gc.DEBUG_STATS)

class A(object):
    def raiser(self):
        0/0 # will raise an exception
a = A()

print 'Tracking a:', gc.is_tracked(a)

try:
    a.raiser()
except:
    pass

a = None # should release the object from memory

print 'Tracking a:', gc.is_tracked(a)

returns

1. Tracking a: True
2. Tracking a: False

这表明在 a = None 之后该对象没有被跟踪，因此当需要空间时它将从堆中释放。所以a没有被存储，但是Python认为没有必要完全取消引用它（忽略它可能比从堆栈中清除它更便宜） 。

然而，使用 python 来解决性能敏感问题是一个坏的主意 - 二进制文件本身很大，并且有很多来自你永远不需要的包的膨胀。为什么不试试把你的手变成小C呢？

Answer 4

如果该对象曾经是捕获 except 子句中的表达式的函数中的局部变量，则对该对象的引用很可能仍然存在于该函数的堆栈帧中（如堆栈跟踪中所包含）。通常，调用 sys.exc_clear() 将通过清除最后记录的异常来解决此问题。

http://docs.python.org/faq/programming.html#id55