blob: e735376a67fc721da1d11d9ff1e350dcdaa19bbc [file] [log] [blame]
Fred Drakebc875f52004-02-04 23:14:14 +00001import gc
Fred Drake41deb1e2001-02-01 05:27:45 +00002import sys
Fred Drakeb0fefc52001-03-23 04:22:45 +00003import unittest
Raymond Hettinger53dbe392008-02-12 20:03:09 +00004import collections
Fred Drake41deb1e2001-02-01 05:27:45 +00005import weakref
Georg Brandlb533e262008-05-25 18:19:30 +00006import operator
Antoine Pitrouc1baa602010-01-08 17:54:23 +00007import contextlib
8import copy
Fred Drake41deb1e2001-02-01 05:27:45 +00009
Richard Oudkerk7a3dae02013-05-05 23:05:00 +010010from test import support, script_helper
Fred Drake41deb1e2001-02-01 05:27:45 +000011
Thomas Woutersb2137042007-02-01 18:02:27 +000012# Used in ReferencesTestCase.test_ref_created_during_del() .
13ref_from_del = None
Fred Drake41deb1e2001-02-01 05:27:45 +000014
Richard Oudkerk7a3dae02013-05-05 23:05:00 +010015# Used by FinalizeTestCase as a global that may be replaced by None
16# when the interpreter shuts down.
17_global_var = 'foobar'
18
Fred Drake41deb1e2001-02-01 05:27:45 +000019class C:
Fred Drakeb0fefc52001-03-23 04:22:45 +000020 def method(self):
21 pass
Fred Drake41deb1e2001-02-01 05:27:45 +000022
23
Fred Drakeb0fefc52001-03-23 04:22:45 +000024class Callable:
25 bar = None
Fred Drake41deb1e2001-02-01 05:27:45 +000026
Fred Drakeb0fefc52001-03-23 04:22:45 +000027 def __call__(self, x):
28 self.bar = x
Fred Drake41deb1e2001-02-01 05:27:45 +000029
30
Fred Drakeb0fefc52001-03-23 04:22:45 +000031def create_function():
32 def f(): pass
33 return f
34
35def create_bound_method():
36 return C().method
37
Fred Drake41deb1e2001-02-01 05:27:45 +000038
Antoine Pitroue11fecb2012-11-11 19:36:51 +010039class Object:
40 def __init__(self, arg):
41 self.arg = arg
42 def __repr__(self):
43 return "<Object %r>" % self.arg
44 def __eq__(self, other):
45 if isinstance(other, Object):
46 return self.arg == other.arg
47 return NotImplemented
48 def __lt__(self, other):
49 if isinstance(other, Object):
50 return self.arg < other.arg
51 return NotImplemented
52 def __hash__(self):
53 return hash(self.arg)
Antoine Pitrouc3afba12012-11-17 18:57:38 +010054 def some_method(self):
55 return 4
56 def other_method(self):
57 return 5
58
Antoine Pitroue11fecb2012-11-11 19:36:51 +010059
60class RefCycle:
61 def __init__(self):
62 self.cycle = self
63
64
Fred Drakeb0fefc52001-03-23 04:22:45 +000065class TestBase(unittest.TestCase):
66
67 def setUp(self):
68 self.cbcalled = 0
69
70 def callback(self, ref):
71 self.cbcalled += 1
Fred Drake41deb1e2001-02-01 05:27:45 +000072
73
Fred Drakeb0fefc52001-03-23 04:22:45 +000074class ReferencesTestCase(TestBase):
Fred Drake41deb1e2001-02-01 05:27:45 +000075
Fred Drakeb0fefc52001-03-23 04:22:45 +000076 def test_basic_ref(self):
77 self.check_basic_ref(C)
78 self.check_basic_ref(create_function)
79 self.check_basic_ref(create_bound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000080
Fred Drake43735da2002-04-11 03:59:42 +000081 # Just make sure the tp_repr handler doesn't raise an exception.
82 # Live reference:
83 o = C()
84 wr = weakref.ref(o)
Brett Cannon0b70cca2006-08-25 02:59:59 +000085 repr(wr)
Fred Drake43735da2002-04-11 03:59:42 +000086 # Dead reference:
87 del o
Brett Cannon0b70cca2006-08-25 02:59:59 +000088 repr(wr)
Fred Drake43735da2002-04-11 03:59:42 +000089
Fred Drakeb0fefc52001-03-23 04:22:45 +000090 def test_basic_callback(self):
91 self.check_basic_callback(C)
92 self.check_basic_callback(create_function)
93 self.check_basic_callback(create_bound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000094
Antoine Pitroub349e4c2014-08-06 19:31:40 -040095 @support.cpython_only
96 def test_cfunction(self):
97 import _testcapi
98 create_cfunction = _testcapi.create_cfunction
99 f = create_cfunction()
100 wr = weakref.ref(f)
101 self.assertIs(wr(), f)
102 del f
103 self.assertIsNone(wr())
104 self.check_basic_ref(create_cfunction)
105 self.check_basic_callback(create_cfunction)
106
Fred Drakeb0fefc52001-03-23 04:22:45 +0000107 def test_multiple_callbacks(self):
108 o = C()
109 ref1 = weakref.ref(o, self.callback)
110 ref2 = weakref.ref(o, self.callback)
111 del o
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200112 self.assertIsNone(ref1(), "expected reference to be invalidated")
113 self.assertIsNone(ref2(), "expected reference to be invalidated")
114 self.assertEqual(self.cbcalled, 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000115 "callback not called the right number of times")
Fred Drake41deb1e2001-02-01 05:27:45 +0000116
Fred Drake705088e2001-04-13 17:18:15 +0000117 def test_multiple_selfref_callbacks(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +0000118 # Make sure all references are invalidated before callbacks are called
Fred Drake705088e2001-04-13 17:18:15 +0000119 #
120 # What's important here is that we're using the first
121 # reference in the callback invoked on the second reference
122 # (the most recently created ref is cleaned up first). This
123 # tests that all references to the object are invalidated
124 # before any of the callbacks are invoked, so that we only
125 # have one invocation of _weakref.c:cleanup_helper() active
126 # for a particular object at a time.
127 #
128 def callback(object, self=self):
129 self.ref()
130 c = C()
131 self.ref = weakref.ref(c, callback)
132 ref1 = weakref.ref(c, callback)
133 del c
134
Fred Drakeb0fefc52001-03-23 04:22:45 +0000135 def test_proxy_ref(self):
136 o = C()
137 o.bar = 1
138 ref1 = weakref.proxy(o, self.callback)
139 ref2 = weakref.proxy(o, self.callback)
140 del o
Fred Drake41deb1e2001-02-01 05:27:45 +0000141
Fred Drakeb0fefc52001-03-23 04:22:45 +0000142 def check(proxy):
143 proxy.bar
Fred Drake41deb1e2001-02-01 05:27:45 +0000144
Neal Norwitz2633c692007-02-26 22:22:47 +0000145 self.assertRaises(ReferenceError, check, ref1)
146 self.assertRaises(ReferenceError, check, ref2)
147 self.assertRaises(ReferenceError, bool, weakref.proxy(C()))
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000148 self.assertEqual(self.cbcalled, 2)
Fred Drake41deb1e2001-02-01 05:27:45 +0000149
Fred Drakeb0fefc52001-03-23 04:22:45 +0000150 def check_basic_ref(self, factory):
151 o = factory()
152 ref = weakref.ref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200153 self.assertIsNotNone(ref(),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000154 "weak reference to live object should be live")
155 o2 = ref()
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200156 self.assertIs(o, o2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000157 "<ref>() should return original object if live")
Fred Drake41deb1e2001-02-01 05:27:45 +0000158
Fred Drakeb0fefc52001-03-23 04:22:45 +0000159 def check_basic_callback(self, factory):
160 self.cbcalled = 0
161 o = factory()
162 ref = weakref.ref(o, self.callback)
163 del o
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200164 self.assertEqual(self.cbcalled, 1,
Fred Drake705088e2001-04-13 17:18:15 +0000165 "callback did not properly set 'cbcalled'")
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200166 self.assertIsNone(ref(),
Fred Drake705088e2001-04-13 17:18:15 +0000167 "ref2 should be dead after deleting object reference")
Fred Drake41deb1e2001-02-01 05:27:45 +0000168
Fred Drakeb0fefc52001-03-23 04:22:45 +0000169 def test_ref_reuse(self):
170 o = C()
171 ref1 = weakref.ref(o)
172 # create a proxy to make sure that there's an intervening creation
173 # between these two; it should make no difference
174 proxy = weakref.proxy(o)
175 ref2 = weakref.ref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200176 self.assertIs(ref1, ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000177 "reference object w/out callback should be re-used")
Fred Drake41deb1e2001-02-01 05:27:45 +0000178
Fred Drakeb0fefc52001-03-23 04:22:45 +0000179 o = C()
180 proxy = weakref.proxy(o)
181 ref1 = weakref.ref(o)
182 ref2 = weakref.ref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200183 self.assertIs(ref1, ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000184 "reference object w/out callback should be re-used")
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200185 self.assertEqual(weakref.getweakrefcount(o), 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000186 "wrong weak ref count for object")
187 del proxy
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200188 self.assertEqual(weakref.getweakrefcount(o), 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000189 "wrong weak ref count for object after deleting proxy")
Fred Drake41deb1e2001-02-01 05:27:45 +0000190
Fred Drakeb0fefc52001-03-23 04:22:45 +0000191 def test_proxy_reuse(self):
192 o = C()
193 proxy1 = weakref.proxy(o)
194 ref = weakref.ref(o)
195 proxy2 = weakref.proxy(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200196 self.assertIs(proxy1, proxy2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000197 "proxy object w/out callback should have been re-used")
198
199 def test_basic_proxy(self):
200 o = C()
201 self.check_proxy(o, weakref.proxy(o))
202
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000203 L = collections.UserList()
Fred Drake5935ff02001-12-19 16:54:23 +0000204 p = weakref.proxy(L)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000205 self.assertFalse(p, "proxy for empty UserList should be false")
Fred Drake5935ff02001-12-19 16:54:23 +0000206 p.append(12)
207 self.assertEqual(len(L), 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000208 self.assertTrue(p, "proxy for non-empty UserList should be true")
Fred Drake5935ff02001-12-19 16:54:23 +0000209 p[:] = [2, 3]
210 self.assertEqual(len(L), 2)
211 self.assertEqual(len(p), 2)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000212 self.assertIn(3, p, "proxy didn't support __contains__() properly")
Fred Drake5935ff02001-12-19 16:54:23 +0000213 p[1] = 5
214 self.assertEqual(L[1], 5)
215 self.assertEqual(p[1], 5)
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000216 L2 = collections.UserList(L)
Fred Drake5935ff02001-12-19 16:54:23 +0000217 p2 = weakref.proxy(L2)
218 self.assertEqual(p, p2)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000219 ## self.assertEqual(repr(L2), repr(p2))
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000220 L3 = collections.UserList(range(10))
Fred Drake43735da2002-04-11 03:59:42 +0000221 p3 = weakref.proxy(L3)
222 self.assertEqual(L3[:], p3[:])
223 self.assertEqual(L3[5:], p3[5:])
224 self.assertEqual(L3[:5], p3[:5])
225 self.assertEqual(L3[2:5], p3[2:5])
Fred Drake5935ff02001-12-19 16:54:23 +0000226
Benjamin Peterson32019772009-11-19 03:08:32 +0000227 def test_proxy_unicode(self):
228 # See bug 5037
229 class C(object):
230 def __str__(self):
231 return "string"
232 def __bytes__(self):
233 return b"bytes"
234 instance = C()
Benjamin Peterson577473f2010-01-19 00:09:57 +0000235 self.assertIn("__bytes__", dir(weakref.proxy(instance)))
Benjamin Peterson32019772009-11-19 03:08:32 +0000236 self.assertEqual(bytes(weakref.proxy(instance)), b"bytes")
237
Georg Brandlb533e262008-05-25 18:19:30 +0000238 def test_proxy_index(self):
239 class C:
240 def __index__(self):
241 return 10
242 o = C()
243 p = weakref.proxy(o)
244 self.assertEqual(operator.index(p), 10)
245
246 def test_proxy_div(self):
247 class C:
248 def __floordiv__(self, other):
249 return 42
250 def __ifloordiv__(self, other):
251 return 21
252 o = C()
253 p = weakref.proxy(o)
254 self.assertEqual(p // 5, 42)
255 p //= 5
256 self.assertEqual(p, 21)
257
Fred Drakeea2adc92004-02-03 19:56:46 +0000258 # The PyWeakref_* C API is documented as allowing either NULL or
259 # None as the value for the callback, where either means "no
260 # callback". The "no callback" ref and proxy objects are supposed
261 # to be shared so long as they exist by all callers so long as
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000262 # they are active. In Python 2.3.3 and earlier, this guarantee
Fred Drakeea2adc92004-02-03 19:56:46 +0000263 # was not honored, and was broken in different ways for
264 # PyWeakref_NewRef() and PyWeakref_NewProxy(). (Two tests.)
265
266 def test_shared_ref_without_callback(self):
267 self.check_shared_without_callback(weakref.ref)
268
269 def test_shared_proxy_without_callback(self):
270 self.check_shared_without_callback(weakref.proxy)
271
272 def check_shared_without_callback(self, makeref):
273 o = Object(1)
274 p1 = makeref(o, None)
275 p2 = makeref(o, None)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200276 self.assertIs(p1, p2, "both callbacks were None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000277 del p1, p2
278 p1 = makeref(o)
279 p2 = makeref(o, None)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200280 self.assertIs(p1, p2, "callbacks were NULL, None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000281 del p1, p2
282 p1 = makeref(o)
283 p2 = makeref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200284 self.assertIs(p1, p2, "both callbacks were NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000285 del p1, p2
286 p1 = makeref(o, None)
287 p2 = makeref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200288 self.assertIs(p1, p2, "callbacks were None, NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000289
Fred Drakeb0fefc52001-03-23 04:22:45 +0000290 def test_callable_proxy(self):
291 o = Callable()
292 ref1 = weakref.proxy(o)
293
294 self.check_proxy(o, ref1)
295
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200296 self.assertIs(type(ref1), weakref.CallableProxyType,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000297 "proxy is not of callable type")
298 ref1('twinkies!')
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200299 self.assertEqual(o.bar, 'twinkies!',
Fred Drakeb0fefc52001-03-23 04:22:45 +0000300 "call through proxy not passed through to original")
Fred Drake3bb4d212001-10-18 19:28:29 +0000301 ref1(x='Splat.')
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200302 self.assertEqual(o.bar, 'Splat.',
Fred Drake3bb4d212001-10-18 19:28:29 +0000303 "call through proxy not passed through to original")
Fred Drakeb0fefc52001-03-23 04:22:45 +0000304
305 # expect due to too few args
306 self.assertRaises(TypeError, ref1)
307
308 # expect due to too many args
309 self.assertRaises(TypeError, ref1, 1, 2, 3)
310
311 def check_proxy(self, o, proxy):
312 o.foo = 1
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200313 self.assertEqual(proxy.foo, 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000314 "proxy does not reflect attribute addition")
315 o.foo = 2
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200316 self.assertEqual(proxy.foo, 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000317 "proxy does not reflect attribute modification")
318 del o.foo
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200319 self.assertFalse(hasattr(proxy, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000320 "proxy does not reflect attribute removal")
321
322 proxy.foo = 1
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200323 self.assertEqual(o.foo, 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000324 "object does not reflect attribute addition via proxy")
325 proxy.foo = 2
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200326 self.assertEqual(o.foo, 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000327 "object does not reflect attribute modification via proxy")
328 del proxy.foo
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200329 self.assertFalse(hasattr(o, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000330 "object does not reflect attribute removal via proxy")
331
Raymond Hettingerd693a812003-06-30 04:18:48 +0000332 def test_proxy_deletion(self):
333 # Test clearing of SF bug #762891
334 class Foo:
335 result = None
336 def __delitem__(self, accessor):
337 self.result = accessor
338 g = Foo()
339 f = weakref.proxy(g)
340 del f[0]
341 self.assertEqual(f.result, 0)
342
Raymond Hettingere6c470f2005-03-27 03:04:54 +0000343 def test_proxy_bool(self):
344 # Test clearing of SF bug #1170766
345 class List(list): pass
346 lyst = List()
347 self.assertEqual(bool(weakref.proxy(lyst)), bool(lyst))
348
Fred Drakeb0fefc52001-03-23 04:22:45 +0000349 def test_getweakrefcount(self):
350 o = C()
351 ref1 = weakref.ref(o)
352 ref2 = weakref.ref(o, self.callback)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200353 self.assertEqual(weakref.getweakrefcount(o), 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000354 "got wrong number of weak reference objects")
355
356 proxy1 = weakref.proxy(o)
357 proxy2 = weakref.proxy(o, self.callback)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200358 self.assertEqual(weakref.getweakrefcount(o), 4,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000359 "got wrong number of weak reference objects")
360
Fred Drakeea2adc92004-02-03 19:56:46 +0000361 del ref1, ref2, proxy1, proxy2
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200362 self.assertEqual(weakref.getweakrefcount(o), 0,
Fred Drakeea2adc92004-02-03 19:56:46 +0000363 "weak reference objects not unlinked from"
364 " referent when discarded.")
365
Walter Dörwaldb167b042003-12-11 12:34:05 +0000366 # assumes ints do not support weakrefs
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200367 self.assertEqual(weakref.getweakrefcount(1), 0,
Walter Dörwaldb167b042003-12-11 12:34:05 +0000368 "got wrong number of weak reference objects for int")
369
Fred Drakeb0fefc52001-03-23 04:22:45 +0000370 def test_getweakrefs(self):
371 o = C()
372 ref1 = weakref.ref(o, self.callback)
373 ref2 = weakref.ref(o, self.callback)
374 del ref1
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200375 self.assertEqual(weakref.getweakrefs(o), [ref2],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000376 "list of refs does not match")
377
378 o = C()
379 ref1 = weakref.ref(o, self.callback)
380 ref2 = weakref.ref(o, self.callback)
381 del ref2
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200382 self.assertEqual(weakref.getweakrefs(o), [ref1],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000383 "list of refs does not match")
384
Fred Drakeea2adc92004-02-03 19:56:46 +0000385 del ref1
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200386 self.assertEqual(weakref.getweakrefs(o), [],
Fred Drakeea2adc92004-02-03 19:56:46 +0000387 "list of refs not cleared")
388
Walter Dörwaldb167b042003-12-11 12:34:05 +0000389 # assumes ints do not support weakrefs
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200390 self.assertEqual(weakref.getweakrefs(1), [],
Walter Dörwaldb167b042003-12-11 12:34:05 +0000391 "list of refs does not match for int")
392
Fred Drake39c27f12001-10-18 18:06:05 +0000393 def test_newstyle_number_ops(self):
394 class F(float):
395 pass
396 f = F(2.0)
397 p = weakref.proxy(f)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200398 self.assertEqual(p + 1.0, 3.0)
399 self.assertEqual(1.0 + p, 3.0) # this used to SEGV
Fred Drake39c27f12001-10-18 18:06:05 +0000400
Fred Drake2a64f462001-12-10 23:46:02 +0000401 def test_callbacks_protected(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +0000402 # Callbacks protected from already-set exceptions?
Fred Drake2a64f462001-12-10 23:46:02 +0000403 # Regression test for SF bug #478534.
404 class BogusError(Exception):
405 pass
406 data = {}
407 def remove(k):
408 del data[k]
409 def encapsulate():
410 f = lambda : ()
411 data[weakref.ref(f, remove)] = None
412 raise BogusError
413 try:
414 encapsulate()
415 except BogusError:
416 pass
417 else:
418 self.fail("exception not properly restored")
419 try:
420 encapsulate()
421 except BogusError:
422 pass
423 else:
424 self.fail("exception not properly restored")
425
Tim Petersadd09b42003-11-12 20:43:28 +0000426 def test_sf_bug_840829(self):
427 # "weakref callbacks and gc corrupt memory"
428 # subtype_dealloc erroneously exposed a new-style instance
429 # already in the process of getting deallocated to gc,
430 # causing double-deallocation if the instance had a weakref
431 # callback that triggered gc.
432 # If the bug exists, there probably won't be an obvious symptom
433 # in a release build. In a debug build, a segfault will occur
434 # when the second attempt to remove the instance from the "list
435 # of all objects" occurs.
436
437 import gc
438
439 class C(object):
440 pass
441
442 c = C()
443 wr = weakref.ref(c, lambda ignore: gc.collect())
444 del c
445
Tim Petersf7f9e992003-11-13 21:59:32 +0000446 # There endeth the first part. It gets worse.
447 del wr
448
449 c1 = C()
450 c1.i = C()
451 wr = weakref.ref(c1.i, lambda ignore: gc.collect())
452
453 c2 = C()
454 c2.c1 = c1
455 del c1 # still alive because c2 points to it
456
457 # Now when subtype_dealloc gets called on c2, it's not enough just
458 # that c2 is immune from gc while the weakref callbacks associated
459 # with c2 execute (there are none in this 2nd half of the test, btw).
460 # subtype_dealloc goes on to call the base classes' deallocs too,
461 # so any gc triggered by weakref callbacks associated with anything
462 # torn down by a base class dealloc can also trigger double
463 # deallocation of c2.
464 del c2
Fred Drake41deb1e2001-02-01 05:27:45 +0000465
Tim Peters403a2032003-11-20 21:21:46 +0000466 def test_callback_in_cycle_1(self):
467 import gc
468
469 class J(object):
470 pass
471
472 class II(object):
473 def acallback(self, ignore):
474 self.J
475
476 I = II()
477 I.J = J
478 I.wr = weakref.ref(J, I.acallback)
479
480 # Now J and II are each in a self-cycle (as all new-style class
481 # objects are, since their __mro__ points back to them). I holds
482 # both a weak reference (I.wr) and a strong reference (I.J) to class
483 # J. I is also in a cycle (I.wr points to a weakref that references
484 # I.acallback). When we del these three, they all become trash, but
485 # the cycles prevent any of them from getting cleaned up immediately.
486 # Instead they have to wait for cyclic gc to deduce that they're
487 # trash.
488 #
489 # gc used to call tp_clear on all of them, and the order in which
490 # it does that is pretty accidental. The exact order in which we
491 # built up these things manages to provoke gc into running tp_clear
492 # in just the right order (I last). Calling tp_clear on II leaves
493 # behind an insane class object (its __mro__ becomes NULL). Calling
494 # tp_clear on J breaks its self-cycle, but J doesn't get deleted
495 # just then because of the strong reference from I.J. Calling
496 # tp_clear on I starts to clear I's __dict__, and just happens to
497 # clear I.J first -- I.wr is still intact. That removes the last
498 # reference to J, which triggers the weakref callback. The callback
499 # tries to do "self.J", and instances of new-style classes look up
500 # attributes ("J") in the class dict first. The class (II) wants to
501 # search II.__mro__, but that's NULL. The result was a segfault in
502 # a release build, and an assert failure in a debug build.
503 del I, J, II
504 gc.collect()
505
506 def test_callback_in_cycle_2(self):
507 import gc
508
509 # This is just like test_callback_in_cycle_1, except that II is an
510 # old-style class. The symptom is different then: an instance of an
511 # old-style class looks in its own __dict__ first. 'J' happens to
512 # get cleared from I.__dict__ before 'wr', and 'J' was never in II's
513 # __dict__, so the attribute isn't found. The difference is that
514 # the old-style II doesn't have a NULL __mro__ (it doesn't have any
515 # __mro__), so no segfault occurs. Instead it got:
516 # test_callback_in_cycle_2 (__main__.ReferencesTestCase) ...
517 # Exception exceptions.AttributeError:
518 # "II instance has no attribute 'J'" in <bound method II.acallback
519 # of <?.II instance at 0x00B9B4B8>> ignored
520
521 class J(object):
522 pass
523
524 class II:
525 def acallback(self, ignore):
526 self.J
527
528 I = II()
529 I.J = J
530 I.wr = weakref.ref(J, I.acallback)
531
532 del I, J, II
533 gc.collect()
534
535 def test_callback_in_cycle_3(self):
536 import gc
537
538 # This one broke the first patch that fixed the last two. In this
539 # case, the objects reachable from the callback aren't also reachable
540 # from the object (c1) *triggering* the callback: you can get to
541 # c1 from c2, but not vice-versa. The result was that c2's __dict__
542 # got tp_clear'ed by the time the c2.cb callback got invoked.
543
544 class C:
545 def cb(self, ignore):
546 self.me
547 self.c1
548 self.wr
549
550 c1, c2 = C(), C()
551
552 c2.me = c2
553 c2.c1 = c1
554 c2.wr = weakref.ref(c1, c2.cb)
555
556 del c1, c2
557 gc.collect()
558
559 def test_callback_in_cycle_4(self):
560 import gc
561
562 # Like test_callback_in_cycle_3, except c2 and c1 have different
563 # classes. c2's class (C) isn't reachable from c1 then, so protecting
564 # objects reachable from the dying object (c1) isn't enough to stop
565 # c2's class (C) from getting tp_clear'ed before c2.cb is invoked.
566 # The result was a segfault (C.__mro__ was NULL when the callback
567 # tried to look up self.me).
568
569 class C(object):
570 def cb(self, ignore):
571 self.me
572 self.c1
573 self.wr
574
575 class D:
576 pass
577
578 c1, c2 = D(), C()
579
580 c2.me = c2
581 c2.c1 = c1
582 c2.wr = weakref.ref(c1, c2.cb)
583
584 del c1, c2, C, D
585 gc.collect()
586
587 def test_callback_in_cycle_resurrection(self):
588 import gc
589
590 # Do something nasty in a weakref callback: resurrect objects
591 # from dead cycles. For this to be attempted, the weakref and
592 # its callback must also be part of the cyclic trash (else the
593 # objects reachable via the callback couldn't be in cyclic trash
594 # to begin with -- the callback would act like an external root).
595 # But gc clears trash weakrefs with callbacks early now, which
596 # disables the callbacks, so the callbacks shouldn't get called
597 # at all (and so nothing actually gets resurrected).
598
599 alist = []
600 class C(object):
601 def __init__(self, value):
602 self.attribute = value
603
604 def acallback(self, ignore):
605 alist.append(self.c)
606
607 c1, c2 = C(1), C(2)
608 c1.c = c2
609 c2.c = c1
610 c1.wr = weakref.ref(c2, c1.acallback)
611 c2.wr = weakref.ref(c1, c2.acallback)
612
613 def C_went_away(ignore):
614 alist.append("C went away")
615 wr = weakref.ref(C, C_went_away)
616
617 del c1, c2, C # make them all trash
618 self.assertEqual(alist, []) # del isn't enough to reclaim anything
619
620 gc.collect()
621 # c1.wr and c2.wr were part of the cyclic trash, so should have
622 # been cleared without their callbacks executing. OTOH, the weakref
623 # to C is bound to a function local (wr), and wasn't trash, so that
624 # callback should have been invoked when C went away.
625 self.assertEqual(alist, ["C went away"])
626 # The remaining weakref should be dead now (its callback ran).
627 self.assertEqual(wr(), None)
628
629 del alist[:]
630 gc.collect()
631 self.assertEqual(alist, [])
632
633 def test_callbacks_on_callback(self):
634 import gc
635
636 # Set up weakref callbacks *on* weakref callbacks.
637 alist = []
638 def safe_callback(ignore):
639 alist.append("safe_callback called")
640
641 class C(object):
642 def cb(self, ignore):
643 alist.append("cb called")
644
645 c, d = C(), C()
646 c.other = d
647 d.other = c
648 callback = c.cb
649 c.wr = weakref.ref(d, callback) # this won't trigger
650 d.wr = weakref.ref(callback, d.cb) # ditto
651 external_wr = weakref.ref(callback, safe_callback) # but this will
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200652 self.assertIs(external_wr(), callback)
Tim Peters403a2032003-11-20 21:21:46 +0000653
654 # The weakrefs attached to c and d should get cleared, so that
655 # C.cb is never called. But external_wr isn't part of the cyclic
656 # trash, and no cyclic trash is reachable from it, so safe_callback
657 # should get invoked when the bound method object callback (c.cb)
658 # -- which is itself a callback, and also part of the cyclic trash --
659 # gets reclaimed at the end of gc.
660
661 del callback, c, d, C
662 self.assertEqual(alist, []) # del isn't enough to clean up cycles
663 gc.collect()
664 self.assertEqual(alist, ["safe_callback called"])
665 self.assertEqual(external_wr(), None)
666
667 del alist[:]
668 gc.collect()
669 self.assertEqual(alist, [])
670
Fred Drakebc875f52004-02-04 23:14:14 +0000671 def test_gc_during_ref_creation(self):
672 self.check_gc_during_creation(weakref.ref)
673
674 def test_gc_during_proxy_creation(self):
675 self.check_gc_during_creation(weakref.proxy)
676
677 def check_gc_during_creation(self, makeref):
678 thresholds = gc.get_threshold()
679 gc.set_threshold(1, 1, 1)
680 gc.collect()
Fred Drake55cf4342004-02-13 19:21:57 +0000681 class A:
682 pass
Fred Drakebc875f52004-02-04 23:14:14 +0000683
684 def callback(*args):
685 pass
686
Fred Drake55cf4342004-02-13 19:21:57 +0000687 referenced = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000688
Fred Drake55cf4342004-02-13 19:21:57 +0000689 a = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000690 a.a = a
691 a.wr = makeref(referenced)
692
693 try:
694 # now make sure the object and the ref get labeled as
695 # cyclic trash:
Fred Drake55cf4342004-02-13 19:21:57 +0000696 a = A()
697 weakref.ref(referenced, callback)
Fred Drakebc875f52004-02-04 23:14:14 +0000698
699 finally:
700 gc.set_threshold(*thresholds)
701
Thomas Woutersb2137042007-02-01 18:02:27 +0000702 def test_ref_created_during_del(self):
703 # Bug #1377858
704 # A weakref created in an object's __del__() would crash the
705 # interpreter when the weakref was cleaned up since it would refer to
706 # non-existent memory. This test should not segfault the interpreter.
707 class Target(object):
708 def __del__(self):
709 global ref_from_del
710 ref_from_del = weakref.ref(self)
711
712 w = Target()
713
Benjamin Peterson9aa42992008-09-10 21:57:34 +0000714 def test_init(self):
715 # Issue 3634
716 # <weakref to class>.__init__() doesn't check errors correctly
717 r = weakref.ref(Exception)
718 self.assertRaises(TypeError, r.__init__, 0, 0, 0, 0, 0)
719 # No exception should be raised here
720 gc.collect()
721
Antoine Pitrou3af01a12010-03-31 21:40:47 +0000722 def test_classes(self):
723 # Check that classes are weakrefable.
724 class A(object):
725 pass
726 l = []
727 weakref.ref(int)
728 a = weakref.ref(A, l.append)
729 A = None
730 gc.collect()
731 self.assertEqual(a(), None)
732 self.assertEqual(l, [a])
733
Antoine Pitroue11fecb2012-11-11 19:36:51 +0100734 def test_equality(self):
735 # Alive weakrefs defer equality testing to their underlying object.
736 x = Object(1)
737 y = Object(1)
738 z = Object(2)
739 a = weakref.ref(x)
740 b = weakref.ref(y)
741 c = weakref.ref(z)
742 d = weakref.ref(x)
743 # Note how we directly test the operators here, to stress both
744 # __eq__ and __ne__.
745 self.assertTrue(a == b)
746 self.assertFalse(a != b)
747 self.assertFalse(a == c)
748 self.assertTrue(a != c)
749 self.assertTrue(a == d)
750 self.assertFalse(a != d)
751 del x, y, z
752 gc.collect()
753 for r in a, b, c:
754 # Sanity check
755 self.assertIs(r(), None)
756 # Dead weakrefs compare by identity: whether `a` and `d` are the
757 # same weakref object is an implementation detail, since they pointed
758 # to the same original object and didn't have a callback.
759 # (see issue #16453).
760 self.assertFalse(a == b)
761 self.assertTrue(a != b)
762 self.assertFalse(a == c)
763 self.assertTrue(a != c)
764 self.assertEqual(a == d, a is d)
765 self.assertEqual(a != d, a is not d)
766
767 def test_ordering(self):
768 # weakrefs cannot be ordered, even if the underlying objects can.
769 ops = [operator.lt, operator.gt, operator.le, operator.ge]
770 x = Object(1)
771 y = Object(1)
772 a = weakref.ref(x)
773 b = weakref.ref(y)
774 for op in ops:
775 self.assertRaises(TypeError, op, a, b)
776 # Same when dead.
777 del x, y
778 gc.collect()
779 for op in ops:
780 self.assertRaises(TypeError, op, a, b)
781
782 def test_hashing(self):
783 # Alive weakrefs hash the same as the underlying object
784 x = Object(42)
785 y = Object(42)
786 a = weakref.ref(x)
787 b = weakref.ref(y)
788 self.assertEqual(hash(a), hash(42))
789 del x, y
790 gc.collect()
791 # Dead weakrefs:
792 # - retain their hash is they were hashed when alive;
793 # - otherwise, cannot be hashed.
794 self.assertEqual(hash(a), hash(42))
795 self.assertRaises(TypeError, hash, b)
796
Antoine Pitrou62a0d6e2012-12-08 21:15:26 +0100797 def test_trashcan_16602(self):
798 # Issue #16602: when a weakref's target was part of a long
799 # deallocation chain, the trashcan mechanism could delay clearing
800 # of the weakref and make the target object visible from outside
801 # code even though its refcount had dropped to 0. A crash ensued.
802 class C:
803 def __init__(self, parent):
804 if not parent:
805 return
806 wself = weakref.ref(self)
807 def cb(wparent):
808 o = wself()
809 self.wparent = weakref.ref(parent, cb)
810
811 d = weakref.WeakKeyDictionary()
812 root = c = C(None)
813 for n in range(100):
814 d[c] = c = C(c)
815 del root
816 gc.collect()
817
Mark Dickinson556e94b2013-04-13 15:45:44 +0100818 def test_callback_attribute(self):
819 x = Object(1)
820 callback = lambda ref: None
821 ref1 = weakref.ref(x, callback)
822 self.assertIs(ref1.__callback__, callback)
823
824 ref2 = weakref.ref(x)
825 self.assertIsNone(ref2.__callback__)
826
827 def test_callback_attribute_after_deletion(self):
828 x = Object(1)
829 ref = weakref.ref(x, self.callback)
830 self.assertIsNotNone(ref.__callback__)
831 del x
832 support.gc_collect()
833 self.assertIsNone(ref.__callback__)
834
835 def test_set_callback_attribute(self):
836 x = Object(1)
837 callback = lambda ref: None
838 ref1 = weakref.ref(x, callback)
839 with self.assertRaises(AttributeError):
840 ref1.__callback__ = lambda ref: None
841
Fred Drake0a4dd392004-07-02 18:57:45 +0000842
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +0000843class SubclassableWeakrefTestCase(TestBase):
Fred Drake0a4dd392004-07-02 18:57:45 +0000844
845 def test_subclass_refs(self):
846 class MyRef(weakref.ref):
847 def __init__(self, ob, callback=None, value=42):
848 self.value = value
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000849 super().__init__(ob, callback)
Fred Drake0a4dd392004-07-02 18:57:45 +0000850 def __call__(self):
851 self.called = True
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000852 return super().__call__()
Fred Drake0a4dd392004-07-02 18:57:45 +0000853 o = Object("foo")
854 mr = MyRef(o, value=24)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200855 self.assertIs(mr(), o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000856 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000857 self.assertEqual(mr.value, 24)
858 del o
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200859 self.assertIsNone(mr())
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000860 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000861
862 def test_subclass_refs_dont_replace_standard_refs(self):
863 class MyRef(weakref.ref):
864 pass
865 o = Object(42)
866 r1 = MyRef(o)
867 r2 = weakref.ref(o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200868 self.assertIsNot(r1, r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000869 self.assertEqual(weakref.getweakrefs(o), [r2, r1])
870 self.assertEqual(weakref.getweakrefcount(o), 2)
871 r3 = MyRef(o)
872 self.assertEqual(weakref.getweakrefcount(o), 3)
873 refs = weakref.getweakrefs(o)
874 self.assertEqual(len(refs), 3)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200875 self.assertIs(r2, refs[0])
Benjamin Peterson577473f2010-01-19 00:09:57 +0000876 self.assertIn(r1, refs[1:])
877 self.assertIn(r3, refs[1:])
Fred Drake0a4dd392004-07-02 18:57:45 +0000878
879 def test_subclass_refs_dont_conflate_callbacks(self):
880 class MyRef(weakref.ref):
881 pass
882 o = Object(42)
883 r1 = MyRef(o, id)
884 r2 = MyRef(o, str)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +0200885 self.assertIsNot(r1, r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000886 refs = weakref.getweakrefs(o)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000887 self.assertIn(r1, refs)
888 self.assertIn(r2, refs)
Fred Drake0a4dd392004-07-02 18:57:45 +0000889
890 def test_subclass_refs_with_slots(self):
891 class MyRef(weakref.ref):
892 __slots__ = "slot1", "slot2"
893 def __new__(type, ob, callback, slot1, slot2):
894 return weakref.ref.__new__(type, ob, callback)
895 def __init__(self, ob, callback, slot1, slot2):
896 self.slot1 = slot1
897 self.slot2 = slot2
898 def meth(self):
899 return self.slot1 + self.slot2
900 o = Object(42)
901 r = MyRef(o, None, "abc", "def")
902 self.assertEqual(r.slot1, "abc")
903 self.assertEqual(r.slot2, "def")
904 self.assertEqual(r.meth(), "abcdef")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000905 self.assertFalse(hasattr(r, "__dict__"))
Fred Drake0a4dd392004-07-02 18:57:45 +0000906
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +0000907 def test_subclass_refs_with_cycle(self):
908 # Bug #3110
909 # An instance of a weakref subclass can have attributes.
910 # If such a weakref holds the only strong reference to the object,
911 # deleting the weakref will delete the object. In this case,
912 # the callback must not be called, because the ref object is
913 # being deleted.
914 class MyRef(weakref.ref):
915 pass
916
917 # Use a local callback, for "regrtest -R::"
918 # to detect refcounting problems
919 def callback(w):
920 self.cbcalled += 1
921
922 o = C()
923 r1 = MyRef(o, callback)
924 r1.o = o
925 del o
926
927 del r1 # Used to crash here
928
929 self.assertEqual(self.cbcalled, 0)
930
931 # Same test, with two weakrefs to the same object
932 # (since code paths are different)
933 o = C()
934 r1 = MyRef(o, callback)
935 r2 = MyRef(o, callback)
936 r1.r = r2
937 r2.o = o
938 del o
939 del r2
940
941 del r1 # Used to crash here
942
943 self.assertEqual(self.cbcalled, 0)
944
Fred Drake0a4dd392004-07-02 18:57:45 +0000945
Antoine Pitrouc3afba12012-11-17 18:57:38 +0100946class WeakMethodTestCase(unittest.TestCase):
947
948 def _subclass(self):
949 """Return a Object subclass overriding `some_method`."""
950 class C(Object):
951 def some_method(self):
952 return 6
953 return C
954
955 def test_alive(self):
956 o = Object(1)
957 r = weakref.WeakMethod(o.some_method)
958 self.assertIsInstance(r, weakref.ReferenceType)
959 self.assertIsInstance(r(), type(o.some_method))
960 self.assertIs(r().__self__, o)
961 self.assertIs(r().__func__, o.some_method.__func__)
962 self.assertEqual(r()(), 4)
963
964 def test_object_dead(self):
965 o = Object(1)
966 r = weakref.WeakMethod(o.some_method)
967 del o
968 gc.collect()
969 self.assertIs(r(), None)
970
971 def test_method_dead(self):
972 C = self._subclass()
973 o = C(1)
974 r = weakref.WeakMethod(o.some_method)
975 del C.some_method
976 gc.collect()
977 self.assertIs(r(), None)
978
979 def test_callback_when_object_dead(self):
980 # Test callback behaviour when object dies first.
981 C = self._subclass()
982 calls = []
983 def cb(arg):
984 calls.append(arg)
985 o = C(1)
986 r = weakref.WeakMethod(o.some_method, cb)
987 del o
988 gc.collect()
989 self.assertEqual(calls, [r])
990 # Callback is only called once.
991 C.some_method = Object.some_method
992 gc.collect()
993 self.assertEqual(calls, [r])
994
995 def test_callback_when_method_dead(self):
996 # Test callback behaviour when method dies first.
997 C = self._subclass()
998 calls = []
999 def cb(arg):
1000 calls.append(arg)
1001 o = C(1)
1002 r = weakref.WeakMethod(o.some_method, cb)
1003 del C.some_method
1004 gc.collect()
1005 self.assertEqual(calls, [r])
1006 # Callback is only called once.
1007 del o
1008 gc.collect()
1009 self.assertEqual(calls, [r])
1010
1011 @support.cpython_only
1012 def test_no_cycles(self):
1013 # A WeakMethod doesn't create any reference cycle to itself.
1014 o = Object(1)
1015 def cb(_):
1016 pass
1017 r = weakref.WeakMethod(o.some_method, cb)
1018 wr = weakref.ref(r)
1019 del r
1020 self.assertIs(wr(), None)
1021
1022 def test_equality(self):
1023 def _eq(a, b):
1024 self.assertTrue(a == b)
1025 self.assertFalse(a != b)
1026 def _ne(a, b):
1027 self.assertTrue(a != b)
1028 self.assertFalse(a == b)
1029 x = Object(1)
1030 y = Object(1)
1031 a = weakref.WeakMethod(x.some_method)
1032 b = weakref.WeakMethod(y.some_method)
1033 c = weakref.WeakMethod(x.other_method)
1034 d = weakref.WeakMethod(y.other_method)
1035 # Objects equal, same method
1036 _eq(a, b)
1037 _eq(c, d)
1038 # Objects equal, different method
1039 _ne(a, c)
1040 _ne(a, d)
1041 _ne(b, c)
1042 _ne(b, d)
1043 # Objects unequal, same or different method
1044 z = Object(2)
1045 e = weakref.WeakMethod(z.some_method)
1046 f = weakref.WeakMethod(z.other_method)
1047 _ne(a, e)
1048 _ne(a, f)
1049 _ne(b, e)
1050 _ne(b, f)
1051 del x, y, z
1052 gc.collect()
1053 # Dead WeakMethods compare by identity
1054 refs = a, b, c, d, e, f
1055 for q in refs:
1056 for r in refs:
1057 self.assertEqual(q == r, q is r)
1058 self.assertEqual(q != r, q is not r)
1059
1060 def test_hashing(self):
1061 # Alive WeakMethods are hashable if the underlying object is
1062 # hashable.
1063 x = Object(1)
1064 y = Object(1)
1065 a = weakref.WeakMethod(x.some_method)
1066 b = weakref.WeakMethod(y.some_method)
1067 c = weakref.WeakMethod(y.other_method)
1068 # Since WeakMethod objects are equal, the hashes should be equal.
1069 self.assertEqual(hash(a), hash(b))
1070 ha = hash(a)
1071 # Dead WeakMethods retain their old hash value
1072 del x, y
1073 gc.collect()
1074 self.assertEqual(hash(a), ha)
1075 self.assertEqual(hash(b), ha)
1076 # If it wasn't hashed when alive, a dead WeakMethod cannot be hashed.
1077 self.assertRaises(TypeError, hash, c)
1078
1079
Fred Drakeb0fefc52001-03-23 04:22:45 +00001080class MappingTestCase(TestBase):
Martin v. Löwis5e163332001-02-27 18:36:56 +00001081
Fred Drakeb0fefc52001-03-23 04:22:45 +00001082 COUNT = 10
1083
Antoine Pitroubbe2f602012-03-01 16:26:35 +01001084 def check_len_cycles(self, dict_type, cons):
1085 N = 20
1086 items = [RefCycle() for i in range(N)]
1087 dct = dict_type(cons(o) for o in items)
1088 # Keep an iterator alive
1089 it = dct.items()
1090 try:
1091 next(it)
1092 except StopIteration:
1093 pass
1094 del items
1095 gc.collect()
1096 n1 = len(dct)
1097 del it
1098 gc.collect()
1099 n2 = len(dct)
1100 # one item may be kept alive inside the iterator
1101 self.assertIn(n1, (0, 1))
1102 self.assertEqual(n2, 0)
1103
1104 def test_weak_keyed_len_cycles(self):
1105 self.check_len_cycles(weakref.WeakKeyDictionary, lambda k: (k, 1))
1106
1107 def test_weak_valued_len_cycles(self):
1108 self.check_len_cycles(weakref.WeakValueDictionary, lambda k: (1, k))
1109
1110 def check_len_race(self, dict_type, cons):
1111 # Extended sanity checks for len() in the face of cyclic collection
1112 self.addCleanup(gc.set_threshold, *gc.get_threshold())
1113 for th in range(1, 100):
1114 N = 20
1115 gc.collect(0)
1116 gc.set_threshold(th, th, th)
1117 items = [RefCycle() for i in range(N)]
1118 dct = dict_type(cons(o) for o in items)
1119 del items
1120 # All items will be collected at next garbage collection pass
1121 it = dct.items()
1122 try:
1123 next(it)
1124 except StopIteration:
1125 pass
1126 n1 = len(dct)
1127 del it
1128 n2 = len(dct)
1129 self.assertGreaterEqual(n1, 0)
1130 self.assertLessEqual(n1, N)
1131 self.assertGreaterEqual(n2, 0)
1132 self.assertLessEqual(n2, n1)
1133
1134 def test_weak_keyed_len_race(self):
1135 self.check_len_race(weakref.WeakKeyDictionary, lambda k: (k, 1))
1136
1137 def test_weak_valued_len_race(self):
1138 self.check_len_race(weakref.WeakValueDictionary, lambda k: (1, k))
1139
Fred Drakeb0fefc52001-03-23 04:22:45 +00001140 def test_weak_values(self):
Fred Drake0e540c32001-05-02 05:44:22 +00001141 #
1142 # This exercises d.copy(), d.items(), d[], del d[], len(d).
1143 #
1144 dict, objects = self.make_weak_valued_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +00001145 for o in objects:
Guido van Rossum3cf5b1e2006-07-27 21:53:35 +00001146 self.assertEqual(weakref.getweakrefcount(o), 1)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001147 self.assertIs(o, dict[o.arg],
Fred Drakeb0fefc52001-03-23 04:22:45 +00001148 "wrong object returned by weak dict!")
Barry Warsawecaab832008-09-04 01:42:51 +00001149 items1 = list(dict.items())
1150 items2 = list(dict.copy().items())
Fred Drakeb0fefc52001-03-23 04:22:45 +00001151 items1.sort()
1152 items2.sort()
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001153 self.assertEqual(items1, items2,
Fred Drakeb0fefc52001-03-23 04:22:45 +00001154 "cloning of weak-valued dictionary did not work!")
1155 del items1, items2
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001156 self.assertEqual(len(dict), self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +00001157 del objects[0]
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001158 self.assertEqual(len(dict), self.COUNT - 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +00001159 "deleting object did not cause dictionary update")
1160 del objects, o
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001161 self.assertEqual(len(dict), 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +00001162 "deleting the values did not clear the dictionary")
Fred Drake4fd06e02001-08-03 04:11:27 +00001163 # regression on SF bug #447152:
1164 dict = weakref.WeakValueDictionary()
1165 self.assertRaises(KeyError, dict.__getitem__, 1)
1166 dict[2] = C()
1167 self.assertRaises(KeyError, dict.__getitem__, 2)
Fred Drakeb0fefc52001-03-23 04:22:45 +00001168
1169 def test_weak_keys(self):
Fred Drake0e540c32001-05-02 05:44:22 +00001170 #
1171 # This exercises d.copy(), d.items(), d[] = v, d[], del d[],
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001172 # len(d), k in d.
Fred Drake0e540c32001-05-02 05:44:22 +00001173 #
1174 dict, objects = self.make_weak_keyed_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +00001175 for o in objects:
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001176 self.assertEqual(weakref.getweakrefcount(o), 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +00001177 "wrong number of weak references to %r!" % o)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001178 self.assertIs(o.arg, dict[o],
Fred Drakeb0fefc52001-03-23 04:22:45 +00001179 "wrong object returned by weak dict!")
1180 items1 = dict.items()
1181 items2 = dict.copy().items()
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001182 self.assertEqual(set(items1), set(items2),
Fred Drakeb0fefc52001-03-23 04:22:45 +00001183 "cloning of weak-keyed dictionary did not work!")
1184 del items1, items2
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001185 self.assertEqual(len(dict), self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +00001186 del objects[0]
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001187 self.assertEqual(len(dict), (self.COUNT - 1),
Fred Drakeb0fefc52001-03-23 04:22:45 +00001188 "deleting object did not cause dictionary update")
1189 del objects, o
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001190 self.assertEqual(len(dict), 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +00001191 "deleting the keys did not clear the dictionary")
Fred Drake752eda42001-11-06 16:38:34 +00001192 o = Object(42)
1193 dict[o] = "What is the meaning of the universe?"
Benjamin Peterson577473f2010-01-19 00:09:57 +00001194 self.assertIn(o, dict)
1195 self.assertNotIn(34, dict)
Martin v. Löwis5e163332001-02-27 18:36:56 +00001196
Fred Drake0e540c32001-05-02 05:44:22 +00001197 def test_weak_keyed_iters(self):
1198 dict, objects = self.make_weak_keyed_dict()
1199 self.check_iters(dict)
1200
Thomas Wouters477c8d52006-05-27 19:21:47 +00001201 # Test keyrefs()
1202 refs = dict.keyrefs()
1203 self.assertEqual(len(refs), len(objects))
1204 objects2 = list(objects)
1205 for wr in refs:
1206 ob = wr()
Benjamin Peterson577473f2010-01-19 00:09:57 +00001207 self.assertIn(ob, dict)
1208 self.assertIn(ob, dict)
Thomas Wouters477c8d52006-05-27 19:21:47 +00001209 self.assertEqual(ob.arg, dict[ob])
1210 objects2.remove(ob)
1211 self.assertEqual(len(objects2), 0)
1212
1213 # Test iterkeyrefs()
1214 objects2 = list(objects)
Barry Warsawecaab832008-09-04 01:42:51 +00001215 self.assertEqual(len(list(dict.keyrefs())), len(objects))
1216 for wr in dict.keyrefs():
Thomas Wouters477c8d52006-05-27 19:21:47 +00001217 ob = wr()
Benjamin Peterson577473f2010-01-19 00:09:57 +00001218 self.assertIn(ob, dict)
1219 self.assertIn(ob, dict)
Thomas Wouters477c8d52006-05-27 19:21:47 +00001220 self.assertEqual(ob.arg, dict[ob])
1221 objects2.remove(ob)
1222 self.assertEqual(len(objects2), 0)
1223
Fred Drake0e540c32001-05-02 05:44:22 +00001224 def test_weak_valued_iters(self):
1225 dict, objects = self.make_weak_valued_dict()
1226 self.check_iters(dict)
1227
Thomas Wouters477c8d52006-05-27 19:21:47 +00001228 # Test valuerefs()
1229 refs = dict.valuerefs()
1230 self.assertEqual(len(refs), len(objects))
1231 objects2 = list(objects)
1232 for wr in refs:
1233 ob = wr()
1234 self.assertEqual(ob, dict[ob.arg])
1235 self.assertEqual(ob.arg, dict[ob.arg].arg)
1236 objects2.remove(ob)
1237 self.assertEqual(len(objects2), 0)
1238
1239 # Test itervaluerefs()
1240 objects2 = list(objects)
1241 self.assertEqual(len(list(dict.itervaluerefs())), len(objects))
1242 for wr in dict.itervaluerefs():
1243 ob = wr()
1244 self.assertEqual(ob, dict[ob.arg])
1245 self.assertEqual(ob.arg, dict[ob.arg].arg)
1246 objects2.remove(ob)
1247 self.assertEqual(len(objects2), 0)
1248
Fred Drake0e540c32001-05-02 05:44:22 +00001249 def check_iters(self, dict):
1250 # item iterator:
Barry Warsawecaab832008-09-04 01:42:51 +00001251 items = list(dict.items())
Guido van Rossumcc2b0162007-02-11 06:12:03 +00001252 for item in dict.items():
Fred Drake0e540c32001-05-02 05:44:22 +00001253 items.remove(item)
Barry Warsawecaab832008-09-04 01:42:51 +00001254 self.assertFalse(items, "items() did not touch all items")
Fred Drake0e540c32001-05-02 05:44:22 +00001255
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001256 # key iterator, via __iter__():
Guido van Rossum07f24362007-02-11 22:59:48 +00001257 keys = list(dict.keys())
Fred Drake0e540c32001-05-02 05:44:22 +00001258 for k in dict:
1259 keys.remove(k)
Barry Warsawecaab832008-09-04 01:42:51 +00001260 self.assertFalse(keys, "__iter__() did not touch all keys")
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001261
1262 # key iterator, via iterkeys():
Guido van Rossum07f24362007-02-11 22:59:48 +00001263 keys = list(dict.keys())
Guido van Rossumcc2b0162007-02-11 06:12:03 +00001264 for k in dict.keys():
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001265 keys.remove(k)
Barry Warsawecaab832008-09-04 01:42:51 +00001266 self.assertFalse(keys, "iterkeys() did not touch all keys")
Fred Drake0e540c32001-05-02 05:44:22 +00001267
1268 # value iterator:
Guido van Rossum07f24362007-02-11 22:59:48 +00001269 values = list(dict.values())
Guido van Rossumcc2b0162007-02-11 06:12:03 +00001270 for v in dict.values():
Fred Drake0e540c32001-05-02 05:44:22 +00001271 values.remove(v)
Barry Warsawecaab832008-09-04 01:42:51 +00001272 self.assertFalse(values,
Fred Drakef425b1e2003-07-14 21:37:17 +00001273 "itervalues() did not touch all values")
Fred Drake0e540c32001-05-02 05:44:22 +00001274
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001275 def check_weak_destroy_while_iterating(self, dict, objects, iter_name):
1276 n = len(dict)
1277 it = iter(getattr(dict, iter_name)())
1278 next(it) # Trigger internal iteration
1279 # Destroy an object
1280 del objects[-1]
1281 gc.collect() # just in case
1282 # We have removed either the first consumed object, or another one
1283 self.assertIn(len(list(it)), [len(objects), len(objects) - 1])
1284 del it
1285 # The removal has been committed
1286 self.assertEqual(len(dict), n - 1)
1287
1288 def check_weak_destroy_and_mutate_while_iterating(self, dict, testcontext):
1289 # Check that we can explicitly mutate the weak dict without
1290 # interfering with delayed removal.
1291 # `testcontext` should create an iterator, destroy one of the
1292 # weakref'ed objects and then return a new key/value pair corresponding
1293 # to the destroyed object.
1294 with testcontext() as (k, v):
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001295 self.assertNotIn(k, dict)
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001296 with testcontext() as (k, v):
1297 self.assertRaises(KeyError, dict.__delitem__, k)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001298 self.assertNotIn(k, dict)
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001299 with testcontext() as (k, v):
1300 self.assertRaises(KeyError, dict.pop, k)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001301 self.assertNotIn(k, dict)
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001302 with testcontext() as (k, v):
1303 dict[k] = v
1304 self.assertEqual(dict[k], v)
1305 ddict = copy.copy(dict)
1306 with testcontext() as (k, v):
1307 dict.update(ddict)
1308 self.assertEqual(dict, ddict)
1309 with testcontext() as (k, v):
1310 dict.clear()
1311 self.assertEqual(len(dict), 0)
1312
Antoine Pitrou1bf974d2014-10-05 20:02:28 +02001313 def check_weak_del_and_len_while_iterating(self, dict, testcontext):
1314 # Check that len() works when both iterating and removing keys
1315 # explicitly through various means (.pop(), .clear()...), while
1316 # implicit mutation is deferred because an iterator is alive.
1317 # (each call to testcontext() should schedule one item for removal
1318 # for this test to work properly)
1319 o = Object(123456)
1320 with testcontext():
1321 n = len(dict)
1322 dict.popitem()
1323 self.assertEqual(len(dict), n - 1)
1324 dict[o] = o
1325 self.assertEqual(len(dict), n)
1326 with testcontext():
1327 self.assertEqual(len(dict), n - 1)
1328 dict.pop(next(dict.keys()))
1329 self.assertEqual(len(dict), n - 2)
1330 with testcontext():
1331 self.assertEqual(len(dict), n - 3)
1332 del dict[next(dict.keys())]
1333 self.assertEqual(len(dict), n - 4)
1334 with testcontext():
1335 self.assertEqual(len(dict), n - 5)
1336 dict.popitem()
1337 self.assertEqual(len(dict), n - 6)
1338 with testcontext():
1339 dict.clear()
1340 self.assertEqual(len(dict), 0)
1341 self.assertEqual(len(dict), 0)
1342
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001343 def test_weak_keys_destroy_while_iterating(self):
1344 # Issue #7105: iterators shouldn't crash when a key is implicitly removed
1345 dict, objects = self.make_weak_keyed_dict()
1346 self.check_weak_destroy_while_iterating(dict, objects, 'keys')
1347 self.check_weak_destroy_while_iterating(dict, objects, 'items')
1348 self.check_weak_destroy_while_iterating(dict, objects, 'values')
1349 self.check_weak_destroy_while_iterating(dict, objects, 'keyrefs')
1350 dict, objects = self.make_weak_keyed_dict()
1351 @contextlib.contextmanager
1352 def testcontext():
1353 try:
1354 it = iter(dict.items())
1355 next(it)
1356 # Schedule a key/value for removal and recreate it
1357 v = objects.pop().arg
1358 gc.collect() # just in case
1359 yield Object(v), v
1360 finally:
1361 it = None # should commit all removals
Benjamin Peterson18bb7022014-08-24 18:02:15 -05001362 gc.collect()
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001363 self.check_weak_destroy_and_mutate_while_iterating(dict, testcontext)
Antoine Pitrou1bf974d2014-10-05 20:02:28 +02001364 # Issue #21173: len() fragile when keys are both implicitly and
1365 # explicitly removed.
1366 dict, objects = self.make_weak_keyed_dict()
1367 self.check_weak_del_and_len_while_iterating(dict, testcontext)
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001368
1369 def test_weak_values_destroy_while_iterating(self):
1370 # Issue #7105: iterators shouldn't crash when a key is implicitly removed
1371 dict, objects = self.make_weak_valued_dict()
1372 self.check_weak_destroy_while_iterating(dict, objects, 'keys')
1373 self.check_weak_destroy_while_iterating(dict, objects, 'items')
1374 self.check_weak_destroy_while_iterating(dict, objects, 'values')
1375 self.check_weak_destroy_while_iterating(dict, objects, 'itervaluerefs')
1376 self.check_weak_destroy_while_iterating(dict, objects, 'valuerefs')
1377 dict, objects = self.make_weak_valued_dict()
1378 @contextlib.contextmanager
1379 def testcontext():
1380 try:
1381 it = iter(dict.items())
1382 next(it)
1383 # Schedule a key/value for removal and recreate it
1384 k = objects.pop().arg
1385 gc.collect() # just in case
1386 yield k, Object(k)
1387 finally:
1388 it = None # should commit all removals
Benjamin Peterson18bb7022014-08-24 18:02:15 -05001389 gc.collect()
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001390 self.check_weak_destroy_and_mutate_while_iterating(dict, testcontext)
Antoine Pitrou1bf974d2014-10-05 20:02:28 +02001391 dict, objects = self.make_weak_valued_dict()
1392 self.check_weak_del_and_len_while_iterating(dict, testcontext)
Antoine Pitrouc1baa602010-01-08 17:54:23 +00001393
Guido van Rossum009afb72002-06-10 20:00:52 +00001394 def test_make_weak_keyed_dict_from_dict(self):
1395 o = Object(3)
1396 dict = weakref.WeakKeyDictionary({o:364})
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001397 self.assertEqual(dict[o], 364)
Guido van Rossum009afb72002-06-10 20:00:52 +00001398
1399 def test_make_weak_keyed_dict_from_weak_keyed_dict(self):
1400 o = Object(3)
1401 dict = weakref.WeakKeyDictionary({o:364})
1402 dict2 = weakref.WeakKeyDictionary(dict)
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001403 self.assertEqual(dict[o], 364)
Guido van Rossum009afb72002-06-10 20:00:52 +00001404
Fred Drake0e540c32001-05-02 05:44:22 +00001405 def make_weak_keyed_dict(self):
1406 dict = weakref.WeakKeyDictionary()
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001407 objects = list(map(Object, range(self.COUNT)))
Fred Drake0e540c32001-05-02 05:44:22 +00001408 for o in objects:
1409 dict[o] = o.arg
1410 return dict, objects
1411
Antoine Pitrouc06de472009-05-30 21:04:26 +00001412 def test_make_weak_valued_dict_from_dict(self):
1413 o = Object(3)
1414 dict = weakref.WeakValueDictionary({364:o})
1415 self.assertEqual(dict[364], o)
1416
1417 def test_make_weak_valued_dict_from_weak_valued_dict(self):
1418 o = Object(3)
1419 dict = weakref.WeakValueDictionary({364:o})
1420 dict2 = weakref.WeakValueDictionary(dict)
1421 self.assertEqual(dict[364], o)
1422
Fred Drake0e540c32001-05-02 05:44:22 +00001423 def make_weak_valued_dict(self):
1424 dict = weakref.WeakValueDictionary()
Guido van Rossumc1f779c2007-07-03 08:25:58 +00001425 objects = list(map(Object, range(self.COUNT)))
Fred Drake0e540c32001-05-02 05:44:22 +00001426 for o in objects:
1427 dict[o.arg] = o
1428 return dict, objects
1429
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001430 def check_popitem(self, klass, key1, value1, key2, value2):
1431 weakdict = klass()
1432 weakdict[key1] = value1
1433 weakdict[key2] = value2
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001434 self.assertEqual(len(weakdict), 2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001435 k, v = weakdict.popitem()
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001436 self.assertEqual(len(weakdict), 1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001437 if k is key1:
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001438 self.assertIs(v, value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001439 else:
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001440 self.assertIs(v, value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001441 k, v = weakdict.popitem()
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001442 self.assertEqual(len(weakdict), 0)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001443 if k is key1:
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001444 self.assertIs(v, value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001445 else:
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001446 self.assertIs(v, value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001447
1448 def test_weak_valued_dict_popitem(self):
1449 self.check_popitem(weakref.WeakValueDictionary,
1450 "key1", C(), "key2", C())
1451
1452 def test_weak_keyed_dict_popitem(self):
1453 self.check_popitem(weakref.WeakKeyDictionary,
1454 C(), "value 1", C(), "value 2")
1455
1456 def check_setdefault(self, klass, key, value1, value2):
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001457 self.assertIsNot(value1, value2,
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001458 "invalid test"
1459 " -- value parameters must be distinct objects")
1460 weakdict = klass()
1461 o = weakdict.setdefault(key, value1)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001462 self.assertIs(o, value1)
Benjamin Peterson577473f2010-01-19 00:09:57 +00001463 self.assertIn(key, weakdict)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001464 self.assertIs(weakdict.get(key), value1)
1465 self.assertIs(weakdict[key], value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001466
1467 o = weakdict.setdefault(key, value2)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001468 self.assertIs(o, value1)
Benjamin Peterson577473f2010-01-19 00:09:57 +00001469 self.assertIn(key, weakdict)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001470 self.assertIs(weakdict.get(key), value1)
1471 self.assertIs(weakdict[key], value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001472
1473 def test_weak_valued_dict_setdefault(self):
1474 self.check_setdefault(weakref.WeakValueDictionary,
1475 "key", C(), C())
1476
1477 def test_weak_keyed_dict_setdefault(self):
1478 self.check_setdefault(weakref.WeakKeyDictionary,
1479 C(), "value 1", "value 2")
1480
Fred Drakea0a4ab12001-04-16 17:37:27 +00001481 def check_update(self, klass, dict):
Fred Drake0e540c32001-05-02 05:44:22 +00001482 #
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001483 # This exercises d.update(), len(d), d.keys(), k in d,
Fred Drake0e540c32001-05-02 05:44:22 +00001484 # d.get(), d[].
1485 #
Fred Drakea0a4ab12001-04-16 17:37:27 +00001486 weakdict = klass()
1487 weakdict.update(dict)
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001488 self.assertEqual(len(weakdict), len(dict))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001489 for k in weakdict.keys():
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001490 self.assertIn(k, dict, "mysterious new key appeared in weak dict")
Fred Drakea0a4ab12001-04-16 17:37:27 +00001491 v = dict.get(k)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001492 self.assertIs(v, weakdict[k])
1493 self.assertIs(v, weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001494 for k in dict.keys():
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001495 self.assertIn(k, weakdict, "original key disappeared in weak dict")
Fred Drakea0a4ab12001-04-16 17:37:27 +00001496 v = dict[k]
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001497 self.assertIs(v, weakdict[k])
1498 self.assertIs(v, weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001499
1500 def test_weak_valued_dict_update(self):
1501 self.check_update(weakref.WeakValueDictionary,
1502 {1: C(), 'a': C(), C(): C()})
1503
1504 def test_weak_keyed_dict_update(self):
1505 self.check_update(weakref.WeakKeyDictionary,
1506 {C(): 1, C(): 2, C(): 3})
1507
Fred Drakeccc75622001-09-06 14:52:39 +00001508 def test_weak_keyed_delitem(self):
1509 d = weakref.WeakKeyDictionary()
1510 o1 = Object('1')
1511 o2 = Object('2')
1512 d[o1] = 'something'
1513 d[o2] = 'something'
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001514 self.assertEqual(len(d), 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001515 del d[o1]
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001516 self.assertEqual(len(d), 1)
Barry Warsawecaab832008-09-04 01:42:51 +00001517 self.assertEqual(list(d.keys()), [o2])
Fred Drakeccc75622001-09-06 14:52:39 +00001518
1519 def test_weak_valued_delitem(self):
1520 d = weakref.WeakValueDictionary()
1521 o1 = Object('1')
1522 o2 = Object('2')
1523 d['something'] = o1
1524 d['something else'] = o2
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001525 self.assertEqual(len(d), 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001526 del d['something']
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001527 self.assertEqual(len(d), 1)
Serhiy Storchaka2e29c9e2013-11-17 13:20:09 +02001528 self.assertEqual(list(d.items()), [('something else', o2)])
Fred Drakeccc75622001-09-06 14:52:39 +00001529
Tim Peters886128f2003-05-25 01:45:11 +00001530 def test_weak_keyed_bad_delitem(self):
1531 d = weakref.WeakKeyDictionary()
1532 o = Object('1')
1533 # An attempt to delete an object that isn't there should raise
Tim Peters50d8b8b2003-05-25 17:44:31 +00001534 # KeyError. It didn't before 2.3.
Tim Peters886128f2003-05-25 01:45:11 +00001535 self.assertRaises(KeyError, d.__delitem__, o)
Tim Peters50d8b8b2003-05-25 17:44:31 +00001536 self.assertRaises(KeyError, d.__getitem__, o)
1537
1538 # If a key isn't of a weakly referencable type, __getitem__ and
1539 # __setitem__ raise TypeError. __delitem__ should too.
1540 self.assertRaises(TypeError, d.__delitem__, 13)
1541 self.assertRaises(TypeError, d.__getitem__, 13)
1542 self.assertRaises(TypeError, d.__setitem__, 13, 13)
Tim Peters886128f2003-05-25 01:45:11 +00001543
1544 def test_weak_keyed_cascading_deletes(self):
1545 # SF bug 742860. For some reason, before 2.3 __delitem__ iterated
1546 # over the keys via self.data.iterkeys(). If things vanished from
1547 # the dict during this (or got added), that caused a RuntimeError.
1548
1549 d = weakref.WeakKeyDictionary()
1550 mutate = False
1551
1552 class C(object):
1553 def __init__(self, i):
1554 self.value = i
1555 def __hash__(self):
1556 return hash(self.value)
1557 def __eq__(self, other):
1558 if mutate:
1559 # Side effect that mutates the dict, by removing the
1560 # last strong reference to a key.
1561 del objs[-1]
1562 return self.value == other.value
1563
1564 objs = [C(i) for i in range(4)]
1565 for o in objs:
1566 d[o] = o.value
1567 del o # now the only strong references to keys are in objs
1568 # Find the order in which iterkeys sees the keys.
Barry Warsawecaab832008-09-04 01:42:51 +00001569 objs = list(d.keys())
Tim Peters886128f2003-05-25 01:45:11 +00001570 # Reverse it, so that the iteration implementation of __delitem__
1571 # has to keep looping to find the first object we delete.
1572 objs.reverse()
Tim Peters50d8b8b2003-05-25 17:44:31 +00001573
Tim Peters886128f2003-05-25 01:45:11 +00001574 # Turn on mutation in C.__eq__. The first time thru the loop,
1575 # under the iterkeys() business the first comparison will delete
1576 # the last item iterkeys() would see, and that causes a
1577 # RuntimeError: dictionary changed size during iteration
1578 # when the iterkeys() loop goes around to try comparing the next
Tim Peters50d8b8b2003-05-25 17:44:31 +00001579 # key. After this was fixed, it just deletes the last object *our*
Tim Peters886128f2003-05-25 01:45:11 +00001580 # "for o in obj" loop would have gotten to.
1581 mutate = True
1582 count = 0
1583 for o in objs:
1584 count += 1
1585 del d[o]
1586 self.assertEqual(len(d), 0)
1587 self.assertEqual(count, 2)
1588
Serhiy Storchaka0c937b32014-07-22 12:14:52 +03001589 def test_make_weak_valued_dict_repr(self):
1590 dict = weakref.WeakValueDictionary()
1591 self.assertRegex(repr(dict), '<WeakValueDictionary at 0x.*>')
1592
1593 def test_make_weak_keyed_dict_repr(self):
1594 dict = weakref.WeakKeyDictionary()
1595 self.assertRegex(repr(dict), '<WeakKeyDictionary at 0x.*>')
1596
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001597from test import mapping_tests
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001598
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001599class WeakValueDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001600 """Check that WeakValueDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001601 __ref = {"key1":Object(1), "key2":Object(2), "key3":Object(3)}
Walter Dörwald118f9312004-06-02 18:42:25 +00001602 type2test = weakref.WeakValueDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001603 def _reference(self):
1604 return self.__ref.copy()
1605
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001606class WeakKeyDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001607 """Check that WeakKeyDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001608 __ref = {Object("key1"):1, Object("key2"):2, Object("key3"):3}
Walter Dörwald118f9312004-06-02 18:42:25 +00001609 type2test = weakref.WeakKeyDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001610 def _reference(self):
1611 return self.__ref.copy()
Martin v. Löwis5e163332001-02-27 18:36:56 +00001612
Richard Oudkerk7a3dae02013-05-05 23:05:00 +01001613
1614class FinalizeTestCase(unittest.TestCase):
1615
1616 class A:
1617 pass
1618
1619 def _collect_if_necessary(self):
1620 # we create no ref-cycles so in CPython no gc should be needed
1621 if sys.implementation.name != 'cpython':
1622 support.gc_collect()
1623
1624 def test_finalize(self):
1625 def add(x,y,z):
1626 res.append(x + y + z)
1627 return x + y + z
1628
1629 a = self.A()
1630
1631 res = []
1632 f = weakref.finalize(a, add, 67, 43, z=89)
1633 self.assertEqual(f.alive, True)
1634 self.assertEqual(f.peek(), (a, add, (67,43), {'z':89}))
1635 self.assertEqual(f(), 199)
1636 self.assertEqual(f(), None)
1637 self.assertEqual(f(), None)
1638 self.assertEqual(f.peek(), None)
1639 self.assertEqual(f.detach(), None)
1640 self.assertEqual(f.alive, False)
1641 self.assertEqual(res, [199])
1642
1643 res = []
1644 f = weakref.finalize(a, add, 67, 43, 89)
1645 self.assertEqual(f.peek(), (a, add, (67,43,89), {}))
1646 self.assertEqual(f.detach(), (a, add, (67,43,89), {}))
1647 self.assertEqual(f(), None)
1648 self.assertEqual(f(), None)
1649 self.assertEqual(f.peek(), None)
1650 self.assertEqual(f.detach(), None)
1651 self.assertEqual(f.alive, False)
1652 self.assertEqual(res, [])
1653
1654 res = []
1655 f = weakref.finalize(a, add, x=67, y=43, z=89)
1656 del a
1657 self._collect_if_necessary()
1658 self.assertEqual(f(), None)
1659 self.assertEqual(f(), None)
1660 self.assertEqual(f.peek(), None)
1661 self.assertEqual(f.detach(), None)
1662 self.assertEqual(f.alive, False)
1663 self.assertEqual(res, [199])
1664
1665 def test_order(self):
1666 a = self.A()
1667 res = []
1668
1669 f1 = weakref.finalize(a, res.append, 'f1')
1670 f2 = weakref.finalize(a, res.append, 'f2')
1671 f3 = weakref.finalize(a, res.append, 'f3')
1672 f4 = weakref.finalize(a, res.append, 'f4')
1673 f5 = weakref.finalize(a, res.append, 'f5')
1674
1675 # make sure finalizers can keep themselves alive
1676 del f1, f4
1677
1678 self.assertTrue(f2.alive)
1679 self.assertTrue(f3.alive)
1680 self.assertTrue(f5.alive)
1681
1682 self.assertTrue(f5.detach())
1683 self.assertFalse(f5.alive)
1684
1685 f5() # nothing because previously unregistered
1686 res.append('A')
1687 f3() # => res.append('f3')
1688 self.assertFalse(f3.alive)
1689 res.append('B')
1690 f3() # nothing because previously called
1691 res.append('C')
1692 del a
1693 self._collect_if_necessary()
1694 # => res.append('f4')
1695 # => res.append('f2')
1696 # => res.append('f1')
1697 self.assertFalse(f2.alive)
1698 res.append('D')
1699 f2() # nothing because previously called by gc
1700
1701 expected = ['A', 'f3', 'B', 'C', 'f4', 'f2', 'f1', 'D']
1702 self.assertEqual(res, expected)
1703
1704 def test_all_freed(self):
1705 # we want a weakrefable subclass of weakref.finalize
1706 class MyFinalizer(weakref.finalize):
1707 pass
1708
1709 a = self.A()
1710 res = []
1711 def callback():
1712 res.append(123)
1713 f = MyFinalizer(a, callback)
1714
1715 wr_callback = weakref.ref(callback)
1716 wr_f = weakref.ref(f)
1717 del callback, f
1718
1719 self.assertIsNotNone(wr_callback())
1720 self.assertIsNotNone(wr_f())
1721
1722 del a
1723 self._collect_if_necessary()
1724
1725 self.assertIsNone(wr_callback())
1726 self.assertIsNone(wr_f())
1727 self.assertEqual(res, [123])
1728
1729 @classmethod
1730 def run_in_child(cls):
1731 def error():
1732 # Create an atexit finalizer from inside a finalizer called
1733 # at exit. This should be the next to be run.
1734 g1 = weakref.finalize(cls, print, 'g1')
1735 print('f3 error')
1736 1/0
1737
1738 # cls should stay alive till atexit callbacks run
1739 f1 = weakref.finalize(cls, print, 'f1', _global_var)
1740 f2 = weakref.finalize(cls, print, 'f2', _global_var)
1741 f3 = weakref.finalize(cls, error)
1742 f4 = weakref.finalize(cls, print, 'f4', _global_var)
1743
1744 assert f1.atexit == True
1745 f2.atexit = False
1746 assert f3.atexit == True
1747 assert f4.atexit == True
1748
1749 def test_atexit(self):
1750 prog = ('from test.test_weakref import FinalizeTestCase;'+
1751 'FinalizeTestCase.run_in_child()')
1752 rc, out, err = script_helper.assert_python_ok('-c', prog)
1753 out = out.decode('ascii').splitlines()
1754 self.assertEqual(out, ['f4 foobar', 'f3 error', 'g1', 'f1 foobar'])
1755 self.assertTrue(b'ZeroDivisionError' in err)
1756
1757
Georg Brandlb533e262008-05-25 18:19:30 +00001758libreftest = """ Doctest for examples in the library reference: weakref.rst
Georg Brandl9a65d582005-07-02 19:07:30 +00001759
1760>>> import weakref
1761>>> class Dict(dict):
1762... pass
1763...
1764>>> obj = Dict(red=1, green=2, blue=3) # this object is weak referencable
1765>>> r = weakref.ref(obj)
Guido van Rossum7131f842007-02-09 20:13:25 +00001766>>> print(r() is obj)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001767True
Georg Brandl9a65d582005-07-02 19:07:30 +00001768
1769>>> import weakref
1770>>> class Object:
1771... pass
1772...
1773>>> o = Object()
1774>>> r = weakref.ref(o)
1775>>> o2 = r()
1776>>> o is o2
1777True
1778>>> del o, o2
Guido van Rossum7131f842007-02-09 20:13:25 +00001779>>> print(r())
Georg Brandl9a65d582005-07-02 19:07:30 +00001780None
1781
1782>>> import weakref
1783>>> class ExtendedRef(weakref.ref):
1784... def __init__(self, ob, callback=None, **annotations):
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001785... super().__init__(ob, callback)
Georg Brandl9a65d582005-07-02 19:07:30 +00001786... self.__counter = 0
Guido van Rossumcc2b0162007-02-11 06:12:03 +00001787... for k, v in annotations.items():
Georg Brandl9a65d582005-07-02 19:07:30 +00001788... setattr(self, k, v)
1789... def __call__(self):
1790... '''Return a pair containing the referent and the number of
1791... times the reference has been called.
1792... '''
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001793... ob = super().__call__()
Georg Brandl9a65d582005-07-02 19:07:30 +00001794... if ob is not None:
1795... self.__counter += 1
1796... ob = (ob, self.__counter)
1797... return ob
Guido van Rossumd8faa362007-04-27 19:54:29 +00001798...
Georg Brandl9a65d582005-07-02 19:07:30 +00001799>>> class A: # not in docs from here, just testing the ExtendedRef
1800... pass
1801...
1802>>> a = A()
1803>>> r = ExtendedRef(a, foo=1, bar="baz")
1804>>> r.foo
18051
1806>>> r.bar
1807'baz'
1808>>> r()[1]
18091
1810>>> r()[1]
18112
1812>>> r()[0] is a
1813True
1814
1815
1816>>> import weakref
1817>>> _id2obj_dict = weakref.WeakValueDictionary()
1818>>> def remember(obj):
1819... oid = id(obj)
1820... _id2obj_dict[oid] = obj
1821... return oid
1822...
1823>>> def id2obj(oid):
1824... return _id2obj_dict[oid]
1825...
1826>>> a = A() # from here, just testing
1827>>> a_id = remember(a)
1828>>> id2obj(a_id) is a
1829True
1830>>> del a
1831>>> try:
1832... id2obj(a_id)
1833... except KeyError:
Guido van Rossum7131f842007-02-09 20:13:25 +00001834... print('OK')
Georg Brandl9a65d582005-07-02 19:07:30 +00001835... else:
Guido van Rossum7131f842007-02-09 20:13:25 +00001836... print('WeakValueDictionary error')
Georg Brandl9a65d582005-07-02 19:07:30 +00001837OK
1838
1839"""
1840
1841__test__ = {'libreftest' : libreftest}
1842
Fred Drake2e2be372001-09-20 21:33:42 +00001843def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001844 support.run_unittest(
Walter Dörwald21d3a322003-05-01 17:45:56 +00001845 ReferencesTestCase,
Antoine Pitrouc3afba12012-11-17 18:57:38 +01001846 WeakMethodTestCase,
Walter Dörwald21d3a322003-05-01 17:45:56 +00001847 MappingTestCase,
1848 WeakValueDictionaryTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001849 WeakKeyDictionaryTestCase,
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +00001850 SubclassableWeakrefTestCase,
Richard Oudkerk7a3dae02013-05-05 23:05:00 +01001851 FinalizeTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001852 )
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001853 support.run_doctest(sys.modules[__name__])
Fred Drake2e2be372001-09-20 21:33:42 +00001854
1855
1856if __name__ == "__main__":
1857 test_main()