mirror of
https://github.com/python/cpython.git
synced 2024-11-24 10:24:35 +08:00
ff8c1e5ace
svn+ssh://pythondev@svn.python.org/python/trunk ........ r75580 | georg.brandl | 2009-10-21 09:15:59 +0200 (Mi, 21 Okt 2009) | 1 line #7170: fix explanation about non-weakrefable builtin types. ........
328 lines
12 KiB
ReStructuredText
328 lines
12 KiB
ReStructuredText
:mod:`weakref` --- Weak references
|
|
==================================
|
|
|
|
.. module:: weakref
|
|
:synopsis: Support for weak references and weak dictionaries.
|
|
.. moduleauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
|
|
.. moduleauthor:: Neil Schemenauer <nas@arctrix.com>
|
|
.. moduleauthor:: Martin von Löwis <martin@loewis.home.cs.tu-berlin.de>
|
|
.. sectionauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
|
|
|
|
|
|
The :mod:`weakref` module allows the Python programmer to create :dfn:`weak
|
|
references` to objects.
|
|
|
|
.. When making changes to the examples in this file, be sure to update
|
|
Lib/test/test_weakref.py::libreftest too!
|
|
|
|
In the following, the term :dfn:`referent` means the object which is referred to
|
|
by a weak reference.
|
|
|
|
A weak reference to an object is not enough to keep the object alive: when the
|
|
only remaining references to a referent are weak references,
|
|
:term:`garbage collection` is free to destroy the referent and reuse its memory
|
|
for something else. A primary use for weak references is to implement caches or
|
|
mappings holding large objects, where it's desired that a large object not be
|
|
kept alive solely because it appears in a cache or mapping.
|
|
|
|
For example, if you have a number of large binary image objects, you may wish to
|
|
associate a name with each. If you used a Python dictionary to map names to
|
|
images, or images to names, the image objects would remain alive just because
|
|
they appeared as values or keys in the dictionaries. The
|
|
:class:`WeakKeyDictionary` and :class:`WeakValueDictionary` classes supplied by
|
|
the :mod:`weakref` module are an alternative, using weak references to construct
|
|
mappings that don't keep objects alive solely because they appear in the mapping
|
|
objects. If, for example, an image object is a value in a
|
|
:class:`WeakValueDictionary`, then when the last remaining references to that
|
|
image object are the weak references held by weak mappings, garbage collection
|
|
can reclaim the object, and its corresponding entries in weak mappings are
|
|
simply deleted.
|
|
|
|
:class:`WeakKeyDictionary` and :class:`WeakValueDictionary` use weak references
|
|
in their implementation, setting up callback functions on the weak references
|
|
that notify the weak dictionaries when a key or value has been reclaimed by
|
|
garbage collection. :class:`WeakSet` implements the :class:`set` interface,
|
|
but keeps weak references to its elements, just like a
|
|
:class:`WeakKeyDictionary` does.
|
|
|
|
Most programs should find that using one of these weak container types is all
|
|
they need -- it's not usually necessary to create your own weak references
|
|
directly. The low-level machinery used by the weak dictionary implementations
|
|
is exposed by the :mod:`weakref` module for the benefit of advanced uses.
|
|
|
|
.. note::
|
|
|
|
Weak references to an object are cleared before the object's :meth:`__del__`
|
|
is called, to ensure that the weak reference callback (if any) finds the
|
|
object still alive.
|
|
|
|
Not all objects can be weakly referenced; those objects which can include class
|
|
instances, functions written in Python (but not in C), instance methods, sets,
|
|
frozensets, file objects, :term:`generator`\s, type objects, sockets, arrays,
|
|
deques, and regular expression pattern objects.
|
|
|
|
.. versionchanged:: 3.2
|
|
Added support for thread.lock and threading.Lock.
|
|
|
|
Several built-in types such as :class:`list` and :class:`dict` do not directly
|
|
support weak references but can add support through subclassing::
|
|
|
|
class Dict(dict):
|
|
pass
|
|
|
|
obj = Dict(red=1, green=2, blue=3) # this object is weak referenceable
|
|
|
|
Other built-in types such as :class:`tuple` and :class:`int` do not support
|
|
weak references even when subclassed (those types implemented as a
|
|
:ctype:`PyVarObject`).
|
|
|
|
Extension types can easily be made to support weak references; see
|
|
:ref:`weakref-support`.
|
|
|
|
|
|
.. class:: ref(object[, callback])
|
|
|
|
Return a weak reference to *object*. The original object can be retrieved by
|
|
calling the reference object if the referent is still alive; if the referent is
|
|
no longer alive, calling the reference object will cause :const:`None` to be
|
|
returned. If *callback* is provided and not :const:`None`, and the returned
|
|
weakref object is still alive, the callback will be called when the object is
|
|
about to be finalized; the weak reference object will be passed as the only
|
|
parameter to the callback; the referent will no longer be available.
|
|
|
|
It is allowable for many weak references to be constructed for the same object.
|
|
Callbacks registered for each weak reference will be called from the most
|
|
recently registered callback to the oldest registered callback.
|
|
|
|
Exceptions raised by the callback will be noted on the standard error output,
|
|
but cannot be propagated; they are handled in exactly the same way as exceptions
|
|
raised from an object's :meth:`__del__` method.
|
|
|
|
Weak references are :term:`hashable` if the *object* is hashable. They will
|
|
maintain their hash value even after the *object* was deleted. If
|
|
:func:`hash` is called the first time only after the *object* was deleted,
|
|
the call will raise :exc:`TypeError`.
|
|
|
|
Weak references support tests for equality, but not ordering. If the referents
|
|
are still alive, two references have the same equality relationship as their
|
|
referents (regardless of the *callback*). If either referent has been deleted,
|
|
the references are equal only if the reference objects are the same object.
|
|
|
|
This is a subclassable type rather than a factory function.
|
|
|
|
|
|
.. function:: proxy(object[, callback])
|
|
|
|
Return a proxy to *object* which uses a weak reference. This supports use of
|
|
the proxy in most contexts instead of requiring the explicit dereferencing used
|
|
with weak reference objects. The returned object will have a type of either
|
|
``ProxyType`` or ``CallableProxyType``, depending on whether *object* is
|
|
callable. Proxy objects are not :term:`hashable` regardless of the referent; this
|
|
avoids a number of problems related to their fundamentally mutable nature, and
|
|
prevent their use as dictionary keys. *callback* is the same as the parameter
|
|
of the same name to the :func:`ref` function.
|
|
|
|
|
|
.. function:: getweakrefcount(object)
|
|
|
|
Return the number of weak references and proxies which refer to *object*.
|
|
|
|
|
|
.. function:: getweakrefs(object)
|
|
|
|
Return a list of all weak reference and proxy objects which refer to *object*.
|
|
|
|
|
|
.. class:: WeakKeyDictionary([dict])
|
|
|
|
Mapping class that references keys weakly. Entries in the dictionary will be
|
|
discarded when there is no longer a strong reference to the key. This can be
|
|
used to associate additional data with an object owned by other parts of an
|
|
application without adding attributes to those objects. This can be especially
|
|
useful with objects that override attribute accesses.
|
|
|
|
.. note::
|
|
|
|
Caution: Because a :class:`WeakKeyDictionary` is built on top of a Python
|
|
dictionary, it must not change size when iterating over it. This can be
|
|
difficult to ensure for a :class:`WeakKeyDictionary` because actions
|
|
performed by the program during iteration may cause items in the
|
|
dictionary to vanish "by magic" (as a side effect of garbage collection).
|
|
|
|
:class:`WeakKeyDictionary` objects have the following additional methods. These
|
|
expose the internal references directly. The references are not guaranteed to
|
|
be "live" at the time they are used, so the result of calling the references
|
|
needs to be checked before being used. This can be used to avoid creating
|
|
references that will cause the garbage collector to keep the keys around longer
|
|
than needed.
|
|
|
|
|
|
.. method:: WeakKeyDictionary.keyrefs()
|
|
|
|
Return an :term:`iterator` that yields the weak references to the keys.
|
|
|
|
|
|
.. class:: WeakValueDictionary([dict])
|
|
|
|
Mapping class that references values weakly. Entries in the dictionary will be
|
|
discarded when no strong reference to the value exists any more.
|
|
|
|
.. note::
|
|
|
|
Caution: Because a :class:`WeakValueDictionary` is built on top of a Python
|
|
dictionary, it must not change size when iterating over it. This can be
|
|
difficult to ensure for a :class:`WeakValueDictionary` because actions performed
|
|
by the program during iteration may cause items in the dictionary to vanish "by
|
|
magic" (as a side effect of garbage collection).
|
|
|
|
:class:`WeakValueDictionary` objects have the following additional methods.
|
|
These method have the same issues as the and :meth:`keyrefs` method of
|
|
:class:`WeakKeyDictionary` objects.
|
|
|
|
|
|
.. method:: WeakValueDictionary.valuerefs()
|
|
|
|
Return an :term:`iterator` that yields the weak references to the values.
|
|
|
|
|
|
.. class:: WeakSet([elements])
|
|
|
|
Set class that keeps weak references to its elements. An element will be
|
|
discarded when no strong reference to it exists any more.
|
|
|
|
|
|
.. data:: ReferenceType
|
|
|
|
The type object for weak references objects.
|
|
|
|
|
|
.. data:: ProxyType
|
|
|
|
The type object for proxies of objects which are not callable.
|
|
|
|
|
|
.. data:: CallableProxyType
|
|
|
|
The type object for proxies of callable objects.
|
|
|
|
|
|
.. data:: ProxyTypes
|
|
|
|
Sequence containing all the type objects for proxies. This can make it simpler
|
|
to test if an object is a proxy without being dependent on naming both proxy
|
|
types.
|
|
|
|
|
|
.. exception:: ReferenceError
|
|
|
|
Exception raised when a proxy object is used but the underlying object has been
|
|
collected. This is the same as the standard :exc:`ReferenceError` exception.
|
|
|
|
|
|
.. seealso::
|
|
|
|
:pep:`0205` - Weak References
|
|
The proposal and rationale for this feature, including links to earlier
|
|
implementations and information about similar features in other languages.
|
|
|
|
|
|
.. _weakref-objects:
|
|
|
|
Weak Reference Objects
|
|
----------------------
|
|
|
|
Weak reference objects have no attributes or methods, but do allow the referent
|
|
to be obtained, if it still exists, by calling it:
|
|
|
|
>>> import weakref
|
|
>>> class Object:
|
|
... pass
|
|
...
|
|
>>> o = Object()
|
|
>>> r = weakref.ref(o)
|
|
>>> o2 = r()
|
|
>>> o is o2
|
|
True
|
|
|
|
If the referent no longer exists, calling the reference object returns
|
|
:const:`None`:
|
|
|
|
>>> del o, o2
|
|
>>> print(r())
|
|
None
|
|
|
|
Testing that a weak reference object is still live should be done using the
|
|
expression ``ref() is not None``. Normally, application code that needs to use
|
|
a reference object should follow this pattern::
|
|
|
|
# r is a weak reference object
|
|
o = r()
|
|
if o is None:
|
|
# referent has been garbage collected
|
|
print("Object has been deallocated; can't frobnicate.")
|
|
else:
|
|
print("Object is still live!")
|
|
o.do_something_useful()
|
|
|
|
Using a separate test for "liveness" creates race conditions in threaded
|
|
applications; another thread can cause a weak reference to become invalidated
|
|
before the weak reference is called; the idiom shown above is safe in threaded
|
|
applications as well as single-threaded applications.
|
|
|
|
Specialized versions of :class:`ref` objects can be created through subclassing.
|
|
This is used in the implementation of the :class:`WeakValueDictionary` to reduce
|
|
the memory overhead for each entry in the mapping. This may be most useful to
|
|
associate additional information with a reference, but could also be used to
|
|
insert additional processing on calls to retrieve the referent.
|
|
|
|
This example shows how a subclass of :class:`ref` can be used to store
|
|
additional information about an object and affect the value that's returned when
|
|
the referent is accessed::
|
|
|
|
import weakref
|
|
|
|
class ExtendedRef(weakref.ref):
|
|
def __init__(self, ob, callback=None, **annotations):
|
|
super(ExtendedRef, self).__init__(ob, callback)
|
|
self.__counter = 0
|
|
for k, v in annotations.items():
|
|
setattr(self, k, v)
|
|
|
|
def __call__(self):
|
|
"""Return a pair containing the referent and the number of
|
|
times the reference has been called.
|
|
"""
|
|
ob = super(ExtendedRef, self).__call__()
|
|
if ob is not None:
|
|
self.__counter += 1
|
|
ob = (ob, self.__counter)
|
|
return ob
|
|
|
|
|
|
.. _weakref-example:
|
|
|
|
Example
|
|
-------
|
|
|
|
This simple example shows how an application can use objects IDs to retrieve
|
|
objects that it has seen before. The IDs of the objects can then be used in
|
|
other data structures without forcing the objects to remain alive, but the
|
|
objects can still be retrieved by ID if they do.
|
|
|
|
.. Example contributed by Tim Peters.
|
|
|
|
::
|
|
|
|
import weakref
|
|
|
|
_id2obj_dict = weakref.WeakValueDictionary()
|
|
|
|
def remember(obj):
|
|
oid = id(obj)
|
|
_id2obj_dict[oid] = obj
|
|
return oid
|
|
|
|
def id2obj(oid):
|
|
return _id2obj_dict[oid]
|
|
|