| :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> | 
 |  | 
 | **Source code:** :source:`Lib/weakref.py` | 
 |  | 
 | -------------- | 
 |  | 
 | 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, some :term:`file objects <file object>`, :term:`generator`\s, type | 
 | objects, sockets, arrays, deques, regular expression pattern objects, and code | 
 | objects. | 
 |  | 
 | .. versionchanged:: 3.2 | 
 |    Added support for thread.lock, threading.Lock, and code objects. | 
 |  | 
 | 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 (This is an implementation detail and may be | 
 | different across various Python implementations.). | 
 |  | 
 | 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 iterable of 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 iterable of 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] | 
 |  |