blob: a5c4295ef1faf98a27d0991d364dd0bf24b55db8 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001:mod:`weakref` --- Weak references
2==================================
3
4.. module:: weakref
5 :synopsis: Support for weak references and weak dictionaries.
Terry Jan Reedyfa089b92016-06-11 15:02:54 -04006
Georg Brandl116aa622007-08-15 14:28:22 +00007.. moduleauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
8.. moduleauthor:: Neil Schemenauer <nas@arctrix.com>
9.. moduleauthor:: Martin von Lรถwis <martin@loewis.home.cs.tu-berlin.de>
10.. sectionauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
11
Raymond Hettinger469271d2011-01-27 20:38:46 +000012**Source code:** :source:`Lib/weakref.py`
13
14--------------
Georg Brandl116aa622007-08-15 14:28:22 +000015
Georg Brandl116aa622007-08-15 14:28:22 +000016The :mod:`weakref` module allows the Python programmer to create :dfn:`weak
17references` to objects.
18
Christian Heimes5b5e81c2007-12-31 16:14:33 +000019.. When making changes to the examples in this file, be sure to update
20 Lib/test/test_weakref.py::libreftest too!
Georg Brandl116aa622007-08-15 14:28:22 +000021
22In the following, the term :dfn:`referent` means the object which is referred to
23by a weak reference.
24
25A weak reference to an object is not enough to keep the object alive: when the
Christian Heimesd8654cf2007-12-02 15:22:16 +000026only remaining references to a referent are weak references,
27:term:`garbage collection` is free to destroy the referent and reuse its memory
Antoine Pitrou9439f042012-08-21 00:07:07 +020028for something else. However, until the object is actually destroyed the weak
29reference may return the object even if there are no strong references to it.
30
31A primary use for weak references is to implement caches or
Christian Heimesd8654cf2007-12-02 15:22:16 +000032mappings holding large objects, where it's desired that a large object not be
Christian Heimesfe337bf2008-03-23 21:54:12 +000033kept alive solely because it appears in a cache or mapping.
34
35For example, if you have a number of large binary image objects, you may wish to
36associate a name with each. If you used a Python dictionary to map names to
37images, or images to names, the image objects would remain alive just because
38they appeared as values or keys in the dictionaries. The
39:class:`WeakKeyDictionary` and :class:`WeakValueDictionary` classes supplied by
40the :mod:`weakref` module are an alternative, using weak references to construct
41mappings that don't keep objects alive solely because they appear in the mapping
42objects. If, for example, an image object is a value in a
43:class:`WeakValueDictionary`, then when the last remaining references to that
44image object are the weak references held by weak mappings, garbage collection
45can reclaim the object, and its corresponding entries in weak mappings are
46simply deleted.
Georg Brandl116aa622007-08-15 14:28:22 +000047
48:class:`WeakKeyDictionary` and :class:`WeakValueDictionary` use weak references
49in their implementation, setting up callback functions on the weak references
50that notify the weak dictionaries when a key or value has been reclaimed by
Georg Brandl3b8cb172007-10-23 06:26:46 +000051garbage collection. :class:`WeakSet` implements the :class:`set` interface,
52but keeps weak references to its elements, just like a
53:class:`WeakKeyDictionary` does.
54
Richard Oudkerk7a3dae052013-05-05 23:05:00 +010055:class:`finalize` provides a straight forward way to register a
56cleanup function to be called when an object is garbage collected.
57This is simpler to use than setting up a callback function on a raw
Nick Coghlanbe57ab82013-09-22 21:26:30 +100058weak reference, since the module automatically ensures that the finalizer
59remains alive until the object is collected.
Richard Oudkerk7a3dae052013-05-05 23:05:00 +010060
61Most programs should find that using one of these weak container types
62or :class:`finalize` is all they need -- it's not usually necessary to
63create your own weak references directly. The low-level machinery is
64exposed by the :mod:`weakref` module for the benefit of advanced uses.
Georg Brandl116aa622007-08-15 14:28:22 +000065
66Not all objects can be weakly referenced; those objects which can include class
Georg Brandl2e0b7552007-11-27 12:43:08 +000067instances, functions written in Python (but not in C), instance methods, sets,
Antoine Pitrou11cb9612010-09-15 11:11:28 +000068frozensets, some :term:`file objects <file object>`, :term:`generator`\s, type
69objects, sockets, arrays, deques, regular expression pattern objects, and code
70objects.
Georg Brandl116aa622007-08-15 14:28:22 +000071
Benjamin Petersonbec4d572009-10-10 01:16:07 +000072.. versionchanged:: 3.2
Collin Winter4222e9c2010-03-18 22:46:40 +000073 Added support for thread.lock, threading.Lock, and code objects.
Benjamin Petersonbec4d572009-10-10 01:16:07 +000074
Georg Brandl22b34312009-07-26 14:54:51 +000075Several built-in types such as :class:`list` and :class:`dict` do not directly
Georg Brandl116aa622007-08-15 14:28:22 +000076support weak references but can add support through subclassing::
77
78 class Dict(dict):
79 pass
80
Christian Heimesc3f30c42008-02-22 16:37:40 +000081 obj = Dict(red=1, green=2, blue=3) # this object is weak referenceable
Georg Brandl116aa622007-08-15 14:28:22 +000082
Benjamin Peterson905982b2010-05-08 15:26:30 +000083Other built-in types such as :class:`tuple` and :class:`int` do not support weak
84references even when subclassed (This is an implementation detail and may be
85different across various Python implementations.).
Georg Brandlff8c1e52009-10-21 07:17:48 +000086
Georg Brandl116aa622007-08-15 14:28:22 +000087Extension types can easily be made to support weak references; see
88:ref:`weakref-support`.
89
90
91.. class:: ref(object[, callback])
92
93 Return a weak reference to *object*. The original object can be retrieved by
94 calling the reference object if the referent is still alive; if the referent is
95 no longer alive, calling the reference object will cause :const:`None` to be
96 returned. If *callback* is provided and not :const:`None`, and the returned
97 weakref object is still alive, the callback will be called when the object is
98 about to be finalized; the weak reference object will be passed as the only
99 parameter to the callback; the referent will no longer be available.
100
101 It is allowable for many weak references to be constructed for the same object.
102 Callbacks registered for each weak reference will be called from the most
103 recently registered callback to the oldest registered callback.
104
105 Exceptions raised by the callback will be noted on the standard error output,
106 but cannot be propagated; they are handled in exactly the same way as exceptions
107 raised from an object's :meth:`__del__` method.
108
Georg Brandl7f01a132009-09-16 15:58:14 +0000109 Weak references are :term:`hashable` if the *object* is hashable. They will
110 maintain their hash value even after the *object* was deleted. If
111 :func:`hash` is called the first time only after the *object* was deleted,
112 the call will raise :exc:`TypeError`.
Georg Brandl116aa622007-08-15 14:28:22 +0000113
114 Weak references support tests for equality, but not ordering. If the referents
115 are still alive, two references have the same equality relationship as their
116 referents (regardless of the *callback*). If either referent has been deleted,
117 the references are equal only if the reference objects are the same object.
118
Georg Brandl55ac8f02007-09-01 13:51:09 +0000119 This is a subclassable type rather than a factory function.
Georg Brandl116aa622007-08-15 14:28:22 +0000120
Mark Dickinson556e94b2013-04-13 15:45:44 +0100121 .. attribute:: __callback__
122
123 This read-only attribute returns the callback currently associated to the
124 weakref. If there is no callback or if the referent of the weakref is
125 no longer alive then this attribute will have value ``None``.
126
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100127 .. versionchanged:: 3.4
Mark Dickinson9b6fdf82013-04-13 16:09:18 +0100128 Added the :attr:`__callback__` attribute.
Mark Dickinson556e94b2013-04-13 15:45:44 +0100129
Georg Brandl116aa622007-08-15 14:28:22 +0000130
131.. function:: proxy(object[, callback])
132
133 Return a proxy to *object* which uses a weak reference. This supports use of
134 the proxy in most contexts instead of requiring the explicit dereferencing used
135 with weak reference objects. The returned object will have a type of either
136 ``ProxyType`` or ``CallableProxyType``, depending on whether *object* is
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000137 callable. Proxy objects are not :term:`hashable` regardless of the referent; this
Georg Brandl116aa622007-08-15 14:28:22 +0000138 avoids a number of problems related to their fundamentally mutable nature, and
139 prevent their use as dictionary keys. *callback* is the same as the parameter
140 of the same name to the :func:`ref` function.
141
Mark Dickinson7abb6c02019-04-26 15:56:15 +0900142 .. versionchanged:: 3.8
143 Extended the operator support on proxy objects to include the matrix
144 multiplication operators ``@`` and ``@=``.
145
Georg Brandl116aa622007-08-15 14:28:22 +0000146
147.. function:: getweakrefcount(object)
148
149 Return the number of weak references and proxies which refer to *object*.
150
151
152.. function:: getweakrefs(object)
153
154 Return a list of all weak reference and proxy objects which refer to *object*.
155
156
157.. class:: WeakKeyDictionary([dict])
158
159 Mapping class that references keys weakly. Entries in the dictionary will be
160 discarded when there is no longer a strong reference to the key. This can be
161 used to associate additional data with an object owned by other parts of an
162 application without adding attributes to those objects. This can be especially
163 useful with objects that override attribute accesses.
164
165 .. note::
166
Christian Heimesfe337bf2008-03-23 21:54:12 +0000167 Caution: Because a :class:`WeakKeyDictionary` is built on top of a Python
Georg Brandl116aa622007-08-15 14:28:22 +0000168 dictionary, it must not change size when iterating over it. This can be
Christian Heimesfe337bf2008-03-23 21:54:12 +0000169 difficult to ensure for a :class:`WeakKeyDictionary` because actions
170 performed by the program during iteration may cause items in the
171 dictionary to vanish "by magic" (as a side effect of garbage collection).
Georg Brandl116aa622007-08-15 14:28:22 +0000172
Mariatta3110a372017-02-12 08:17:50 -0800173:class:`WeakKeyDictionary` objects have an additional method that
174exposes the internal references directly. The references are not guaranteed to
Georg Brandl116aa622007-08-15 14:28:22 +0000175be "live" at the time they are used, so the result of calling the references
176needs to be checked before being used. This can be used to avoid creating
177references that will cause the garbage collector to keep the keys around longer
178than needed.
179
180
Georg Brandl116aa622007-08-15 14:28:22 +0000181.. method:: WeakKeyDictionary.keyrefs()
182
Antoine Pitrouc1baa602010-01-08 17:54:23 +0000183 Return an iterable of the weak references to the keys.
Georg Brandl116aa622007-08-15 14:28:22 +0000184
Georg Brandl116aa622007-08-15 14:28:22 +0000185
186.. class:: WeakValueDictionary([dict])
187
188 Mapping class that references values weakly. Entries in the dictionary will be
189 discarded when no strong reference to the value exists any more.
190
191 .. note::
192
193 Caution: Because a :class:`WeakValueDictionary` is built on top of a Python
194 dictionary, it must not change size when iterating over it. This can be
195 difficult to ensure for a :class:`WeakValueDictionary` because actions performed
196 by the program during iteration may cause items in the dictionary to vanish "by
197 magic" (as a side effect of garbage collection).
198
Mariatta3110a372017-02-12 08:17:50 -0800199:class:`WeakValueDictionary` objects have an additional method that has the
200same issues as the :meth:`keyrefs` method of :class:`WeakKeyDictionary`
201objects.
Georg Brandl116aa622007-08-15 14:28:22 +0000202
Georg Brandl116aa622007-08-15 14:28:22 +0000203
204.. method:: WeakValueDictionary.valuerefs()
205
Antoine Pitrouc1baa602010-01-08 17:54:23 +0000206 Return an iterable of the weak references to the values.
Georg Brandl116aa622007-08-15 14:28:22 +0000207
Georg Brandl116aa622007-08-15 14:28:22 +0000208
Georg Brandl3b8cb172007-10-23 06:26:46 +0000209.. class:: WeakSet([elements])
210
211 Set class that keeps weak references to its elements. An element will be
212 discarded when no strong reference to it exists any more.
213
214
Antoine Pitrouc3afba12012-11-17 18:57:38 +0100215.. class:: WeakMethod(method)
216
217 A custom :class:`ref` subclass which simulates a weak reference to a bound
218 method (i.e., a method defined on a class and looked up on an instance).
219 Since a bound method is ephemeral, a standard weak reference cannot keep
220 hold of it. :class:`WeakMethod` has special code to recreate the bound
221 method until either the object or the original function dies::
222
223 >>> class C:
224 ... def method(self):
225 ... print("method called!")
226 ...
227 >>> c = C()
228 >>> r = weakref.ref(c.method)
229 >>> r()
230 >>> r = weakref.WeakMethod(c.method)
231 >>> r()
232 <bound method C.method of <__main__.C object at 0x7fc859830220>>
233 >>> r()()
234 method called!
235 >>> del c
236 >>> gc.collect()
237 0
238 >>> r()
239 >>>
240
241 .. versionadded:: 3.4
242
Serhiy Storchaka142566c2019-06-05 18:22:31 +0300243.. class:: finalize(obj, func, /, *args, **kwargs)
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100244
245 Return a callable finalizer object which will be called when *obj*
R David Murraya101bdb2014-01-06 16:32:05 -0500246 is garbage collected. Unlike an ordinary weak reference, a finalizer
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000247 will always survive until the reference object is collected, greatly
248 simplifying lifecycle management.
249
250 A finalizer is considered *alive* until it is called (either explicitly
251 or at garbage collection), and after that it is *dead*. Calling a live
252 finalizer returns the result of evaluating ``func(*arg, **kwargs)``,
253 whereas calling a dead finalizer returns :const:`None`.
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100254
255 Exceptions raised by finalizer callbacks during garbage collection
256 will be shown on the standard error output, but cannot be
257 propagated. They are handled in the same way as exceptions raised
258 from an object's :meth:`__del__` method or a weak reference's
259 callback.
260
261 When the program exits, each remaining live finalizer is called
262 unless its :attr:`atexit` attribute has been set to false. They
263 are called in reverse order of creation.
264
265 A finalizer will never invoke its callback during the later part of
Antoine Pitrou5db1bb82014-12-07 01:28:27 +0100266 the :term:`interpreter shutdown` when module globals are liable to have
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100267 been replaced by :const:`None`.
268
269 .. method:: __call__()
270
271 If *self* is alive then mark it as dead and return the result of
272 calling ``func(*args, **kwargs)``. If *self* is dead then return
273 :const:`None`.
274
275 .. method:: detach()
276
277 If *self* is alive then mark it as dead and return the tuple
278 ``(obj, func, args, kwargs)``. If *self* is dead then return
279 :const:`None`.
280
281 .. method:: peek()
282
283 If *self* is alive then return the tuple ``(obj, func, args,
284 kwargs)``. If *self* is dead then return :const:`None`.
285
286 .. attribute:: alive
287
288 Property which is true if the finalizer is alive, false otherwise.
289
290 .. attribute:: atexit
291
292 A writable boolean property which by default is true. When the
293 program exits, it calls all remaining live finalizers for which
294 :attr:`.atexit` is true. They are called in reverse order of
295 creation.
296
297 .. note::
298
299 It is important to ensure that *func*, *args* and *kwargs* do
300 not own any references to *obj*, either directly or indirectly,
301 since otherwise *obj* will never be garbage collected. In
302 particular, *func* should not be a bound method of *obj*.
303
304 .. versionadded:: 3.4
305
Antoine Pitrouc3afba12012-11-17 18:57:38 +0100306
Georg Brandl116aa622007-08-15 14:28:22 +0000307.. data:: ReferenceType
308
309 The type object for weak references objects.
310
311
312.. data:: ProxyType
313
314 The type object for proxies of objects which are not callable.
315
316
317.. data:: CallableProxyType
318
319 The type object for proxies of callable objects.
320
321
322.. data:: ProxyTypes
323
324 Sequence containing all the type objects for proxies. This can make it simpler
325 to test if an object is a proxy without being dependent on naming both proxy
326 types.
327
328
329.. exception:: ReferenceError
330
331 Exception raised when a proxy object is used but the underlying object has been
332 collected. This is the same as the standard :exc:`ReferenceError` exception.
333
334
335.. seealso::
336
Serhiy Storchakae4ba8722016-03-31 15:30:54 +0300337 :pep:`205` - Weak References
Georg Brandl116aa622007-08-15 14:28:22 +0000338 The proposal and rationale for this feature, including links to earlier
339 implementations and information about similar features in other languages.
340
341
342.. _weakref-objects:
343
344Weak Reference Objects
345----------------------
346
Mark Dickinson556e94b2013-04-13 15:45:44 +0100347Weak reference objects have no methods and no attributes besides
348:attr:`ref.__callback__`. A weak reference object allows the referent to be
349obtained, if it still exists, by calling it:
Georg Brandl116aa622007-08-15 14:28:22 +0000350
351 >>> import weakref
352 >>> class Object:
353 ... pass
354 ...
355 >>> o = Object()
356 >>> r = weakref.ref(o)
357 >>> o2 = r()
358 >>> o is o2
359 True
360
361If the referent no longer exists, calling the reference object returns
Christian Heimesfe337bf2008-03-23 21:54:12 +0000362:const:`None`:
Georg Brandl116aa622007-08-15 14:28:22 +0000363
364 >>> del o, o2
Collin Winterc79461b2007-09-01 23:34:30 +0000365 >>> print(r())
Georg Brandl116aa622007-08-15 14:28:22 +0000366 None
367
368Testing that a weak reference object is still live should be done using the
369expression ``ref() is not None``. Normally, application code that needs to use
370a reference object should follow this pattern::
371
372 # r is a weak reference object
373 o = r()
374 if o is None:
375 # referent has been garbage collected
Collin Winterc79461b2007-09-01 23:34:30 +0000376 print("Object has been deallocated; can't frobnicate.")
Georg Brandl116aa622007-08-15 14:28:22 +0000377 else:
Collin Winterc79461b2007-09-01 23:34:30 +0000378 print("Object is still live!")
Georg Brandl116aa622007-08-15 14:28:22 +0000379 o.do_something_useful()
380
381Using a separate test for "liveness" creates race conditions in threaded
382applications; another thread can cause a weak reference to become invalidated
383before the weak reference is called; the idiom shown above is safe in threaded
384applications as well as single-threaded applications.
385
386Specialized versions of :class:`ref` objects can be created through subclassing.
387This is used in the implementation of the :class:`WeakValueDictionary` to reduce
388the memory overhead for each entry in the mapping. This may be most useful to
389associate additional information with a reference, but could also be used to
390insert additional processing on calls to retrieve the referent.
391
392This example shows how a subclass of :class:`ref` can be used to store
393additional information about an object and affect the value that's returned when
394the referent is accessed::
395
396 import weakref
397
398 class ExtendedRef(weakref.ref):
Serhiy Storchaka2085bd02019-06-01 11:00:15 +0300399 def __init__(self, ob, callback=None, /, **annotations):
Georg Brandl116aa622007-08-15 14:28:22 +0000400 super(ExtendedRef, self).__init__(ob, callback)
401 self.__counter = 0
Barry Warsawecaab832008-09-04 01:42:51 +0000402 for k, v in annotations.items():
Georg Brandl116aa622007-08-15 14:28:22 +0000403 setattr(self, k, v)
404
405 def __call__(self):
406 """Return a pair containing the referent and the number of
407 times the reference has been called.
408 """
409 ob = super(ExtendedRef, self).__call__()
410 if ob is not None:
411 self.__counter += 1
412 ob = (ob, self.__counter)
413 return ob
414
415
416.. _weakref-example:
417
418Example
419-------
420
Martin Panter0f0eac42016-09-07 11:04:41 +0000421This simple example shows how an application can use object IDs to retrieve
Georg Brandl116aa622007-08-15 14:28:22 +0000422objects that it has seen before. The IDs of the objects can then be used in
423other data structures without forcing the objects to remain alive, but the
424objects can still be retrieved by ID if they do.
425
Christian Heimes5b5e81c2007-12-31 16:14:33 +0000426.. Example contributed by Tim Peters.
Georg Brandl116aa622007-08-15 14:28:22 +0000427
428::
429
430 import weakref
431
432 _id2obj_dict = weakref.WeakValueDictionary()
433
434 def remember(obj):
435 oid = id(obj)
436 _id2obj_dict[oid] = obj
437 return oid
438
439 def id2obj(oid):
440 return _id2obj_dict[oid]
441
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100442
443.. _finalize-examples:
444
445Finalizer Objects
446-----------------
447
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000448The main benefit of using :class:`finalize` is that it makes it simple
449to register a callback without needing to preserve the returned finalizer
450object. For instance
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100451
452 >>> import weakref
453 >>> class Object:
454 ... pass
455 ...
456 >>> kenny = Object()
457 >>> weakref.finalize(kenny, print, "You killed Kenny!") #doctest:+ELLIPSIS
458 <finalize object at ...; for 'Object' at ...>
459 >>> del kenny
460 You killed Kenny!
461
462The finalizer can be called directly as well. However the finalizer
463will invoke the callback at most once.
464
465 >>> def callback(x, y, z):
466 ... print("CALLBACK")
467 ... return x + y + z
468 ...
469 >>> obj = Object()
470 >>> f = weakref.finalize(obj, callback, 1, 2, z=3)
471 >>> assert f.alive
472 >>> assert f() == 6
473 CALLBACK
474 >>> assert not f.alive
475 >>> f() # callback not called because finalizer dead
476 >>> del obj # callback not called because finalizer dead
477
478You can unregister a finalizer using its :meth:`~finalize.detach`
479method. This kills the finalizer and returns the arguments passed to
480the constructor when it was created.
481
482 >>> obj = Object()
483 >>> f = weakref.finalize(obj, callback, 1, 2, z=3)
484 >>> f.detach() #doctest:+ELLIPSIS
Marco Buttu7b2491a2017-04-13 16:17:59 +0200485 (<...Object object ...>, <function callback ...>, (1, 2), {'z': 3})
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100486 >>> newobj, func, args, kwargs = _
487 >>> assert not f.alive
488 >>> assert newobj is obj
489 >>> assert func(*args, **kwargs) == 6
490 CALLBACK
491
492Unless you set the :attr:`~finalize.atexit` attribute to
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000493:const:`False`, a finalizer will be called when the program exits if it
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100494is still alive. For instance
495
Inada Naokib3c92c62019-04-11 19:05:32 +0900496.. doctest::
497 :options: +SKIP
498
499 >>> obj = Object()
500 >>> weakref.finalize(obj, print, "obj dead or exiting")
501 <finalize object at ...; for 'Object' at ...>
502 >>> exit()
503 obj dead or exiting
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100504
505
506Comparing finalizers with :meth:`__del__` methods
507-------------------------------------------------
508
509Suppose we want to create a class whose instances represent temporary
510directories. The directories should be deleted with their contents
511when the first of the following events occurs:
512
513* the object is garbage collected,
514* the object's :meth:`remove` method is called, or
515* the program exits.
516
517We might try to implement the class using a :meth:`__del__` method as
518follows::
519
520 class TempDir:
521 def __init__(self):
522 self.name = tempfile.mkdtemp()
523
524 def remove(self):
525 if self.name is not None:
526 shutil.rmtree(self.name)
527 self.name = None
528
529 @property
530 def removed(self):
531 return self.name is None
532
533 def __del__(self):
534 self.remove()
535
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000536Starting with Python 3.4, :meth:`__del__` methods no longer prevent
537reference cycles from being garbage collected, and module globals are
Antoine Pitrou5db1bb82014-12-07 01:28:27 +0100538no longer forced to :const:`None` during :term:`interpreter shutdown`.
539So this code should work without any issues on CPython.
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100540
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000541However, handling of :meth:`__del__` methods is notoriously implementation
Nick Coghlan4c7fe6a2013-09-22 21:32:12 +1000542specific, since it depends on internal details of the interpreter's garbage
543collector implementation.
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000544
545A more robust alternative can be to define a finalizer which only references
546the specific functions and objects that it needs, rather than having access
547to the full state of the object::
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100548
549 class TempDir:
550 def __init__(self):
551 self.name = tempfile.mkdtemp()
552 self._finalizer = weakref.finalize(self, shutil.rmtree, self.name)
553
554 def remove(self):
555 self._finalizer()
556
557 @property
558 def removed(self):
559 return not self._finalizer.alive
560
Nick Coghlanbe57ab82013-09-22 21:26:30 +1000561Defined like this, our finalizer only receives a reference to the details
562it needs to clean up the directory appropriately. If the object never gets
563garbage collected the finalizer will still be called at exit.
564
565The other advantage of weakref based finalizers is that they can be used to
566register finalizers for classes where the definition is controlled by a
567third party, such as running code when a module is unloaded::
568
569 import weakref, sys
570 def unloading_module():
571 # implicit reference to the module globals from the function body
572 weakref.finalize(sys.modules[__name__], unloading_module)
573
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100574
575.. note::
576
Donald Stufft8b852f12014-05-20 12:58:38 -0400577 If you create a finalizer object in a daemonic thread just as the program
578 exits then there is the possibility that the finalizer
Richard Oudkerk7a3dae052013-05-05 23:05:00 +0100579 does not get called at exit. However, in a daemonic thread
580 :func:`atexit.register`, ``try: ... finally: ...`` and ``with: ...``
581 do not guarantee that cleanup occurs either.