blob: ecf197670767749b93d22c40dc80116695e12052 [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
Fred Drake41deb1e2001-02-01 05:27:45 +00007
Benjamin Petersonee8712c2008-05-20 21:35:26 +00008from test import support
Fred Drake41deb1e2001-02-01 05:27:45 +00009
Thomas Woutersb2137042007-02-01 18:02:27 +000010# Used in ReferencesTestCase.test_ref_created_during_del() .
11ref_from_del = None
Fred Drake41deb1e2001-02-01 05:27:45 +000012
13class C:
Fred Drakeb0fefc52001-03-23 04:22:45 +000014 def method(self):
15 pass
Fred Drake41deb1e2001-02-01 05:27:45 +000016
17
Fred Drakeb0fefc52001-03-23 04:22:45 +000018class Callable:
19 bar = None
Fred Drake41deb1e2001-02-01 05:27:45 +000020
Fred Drakeb0fefc52001-03-23 04:22:45 +000021 def __call__(self, x):
22 self.bar = x
Fred Drake41deb1e2001-02-01 05:27:45 +000023
24
Fred Drakeb0fefc52001-03-23 04:22:45 +000025def create_function():
26 def f(): pass
27 return f
28
29def create_bound_method():
30 return C().method
31
Fred Drake41deb1e2001-02-01 05:27:45 +000032
Fred Drakeb0fefc52001-03-23 04:22:45 +000033class TestBase(unittest.TestCase):
34
35 def setUp(self):
36 self.cbcalled = 0
37
38 def callback(self, ref):
39 self.cbcalled += 1
Fred Drake41deb1e2001-02-01 05:27:45 +000040
41
Fred Drakeb0fefc52001-03-23 04:22:45 +000042class ReferencesTestCase(TestBase):
Fred Drake41deb1e2001-02-01 05:27:45 +000043
Fred Drakeb0fefc52001-03-23 04:22:45 +000044 def test_basic_ref(self):
45 self.check_basic_ref(C)
46 self.check_basic_ref(create_function)
47 self.check_basic_ref(create_bound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000048
Fred Drake43735da2002-04-11 03:59:42 +000049 # Just make sure the tp_repr handler doesn't raise an exception.
50 # Live reference:
51 o = C()
52 wr = weakref.ref(o)
Brett Cannon0b70cca2006-08-25 02:59:59 +000053 repr(wr)
Fred Drake43735da2002-04-11 03:59:42 +000054 # Dead reference:
55 del o
Brett Cannon0b70cca2006-08-25 02:59:59 +000056 repr(wr)
Fred Drake43735da2002-04-11 03:59:42 +000057
Fred Drakeb0fefc52001-03-23 04:22:45 +000058 def test_basic_callback(self):
59 self.check_basic_callback(C)
60 self.check_basic_callback(create_function)
61 self.check_basic_callback(create_bound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000062
Fred Drakeb0fefc52001-03-23 04:22:45 +000063 def test_multiple_callbacks(self):
64 o = C()
65 ref1 = weakref.ref(o, self.callback)
66 ref2 = weakref.ref(o, self.callback)
67 del o
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000068 self.assertTrue(ref1() is None,
Fred Drakeb0fefc52001-03-23 04:22:45 +000069 "expected reference to be invalidated")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000070 self.assertTrue(ref2() is None,
Fred Drakeb0fefc52001-03-23 04:22:45 +000071 "expected reference to be invalidated")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000072 self.assertTrue(self.cbcalled == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +000073 "callback not called the right number of times")
Fred Drake41deb1e2001-02-01 05:27:45 +000074
Fred Drake705088e2001-04-13 17:18:15 +000075 def test_multiple_selfref_callbacks(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +000076 # Make sure all references are invalidated before callbacks are called
Fred Drake705088e2001-04-13 17:18:15 +000077 #
78 # What's important here is that we're using the first
79 # reference in the callback invoked on the second reference
80 # (the most recently created ref is cleaned up first). This
81 # tests that all references to the object are invalidated
82 # before any of the callbacks are invoked, so that we only
83 # have one invocation of _weakref.c:cleanup_helper() active
84 # for a particular object at a time.
85 #
86 def callback(object, self=self):
87 self.ref()
88 c = C()
89 self.ref = weakref.ref(c, callback)
90 ref1 = weakref.ref(c, callback)
91 del c
92
Fred Drakeb0fefc52001-03-23 04:22:45 +000093 def test_proxy_ref(self):
94 o = C()
95 o.bar = 1
96 ref1 = weakref.proxy(o, self.callback)
97 ref2 = weakref.proxy(o, self.callback)
98 del o
Fred Drake41deb1e2001-02-01 05:27:45 +000099
Fred Drakeb0fefc52001-03-23 04:22:45 +0000100 def check(proxy):
101 proxy.bar
Fred Drake41deb1e2001-02-01 05:27:45 +0000102
Neal Norwitz2633c692007-02-26 22:22:47 +0000103 self.assertRaises(ReferenceError, check, ref1)
104 self.assertRaises(ReferenceError, check, ref2)
105 self.assertRaises(ReferenceError, bool, weakref.proxy(C()))
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000106 self.assertEqual(self.cbcalled, 2)
Fred Drake41deb1e2001-02-01 05:27:45 +0000107
Fred Drakeb0fefc52001-03-23 04:22:45 +0000108 def check_basic_ref(self, factory):
109 o = factory()
110 ref = weakref.ref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000111 self.assertTrue(ref() is not None,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000112 "weak reference to live object should be live")
113 o2 = ref()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000114 self.assertTrue(o is o2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000115 "<ref>() should return original object if live")
Fred Drake41deb1e2001-02-01 05:27:45 +0000116
Fred Drakeb0fefc52001-03-23 04:22:45 +0000117 def check_basic_callback(self, factory):
118 self.cbcalled = 0
119 o = factory()
120 ref = weakref.ref(o, self.callback)
121 del o
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000122 self.assertTrue(self.cbcalled == 1,
Fred Drake705088e2001-04-13 17:18:15 +0000123 "callback did not properly set 'cbcalled'")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000124 self.assertTrue(ref() is None,
Fred Drake705088e2001-04-13 17:18:15 +0000125 "ref2 should be dead after deleting object reference")
Fred Drake41deb1e2001-02-01 05:27:45 +0000126
Fred Drakeb0fefc52001-03-23 04:22:45 +0000127 def test_ref_reuse(self):
128 o = C()
129 ref1 = weakref.ref(o)
130 # create a proxy to make sure that there's an intervening creation
131 # between these two; it should make no difference
132 proxy = weakref.proxy(o)
133 ref2 = weakref.ref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000134 self.assertTrue(ref1 is ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000135 "reference object w/out callback should be re-used")
Fred Drake41deb1e2001-02-01 05:27:45 +0000136
Fred Drakeb0fefc52001-03-23 04:22:45 +0000137 o = C()
138 proxy = weakref.proxy(o)
139 ref1 = weakref.ref(o)
140 ref2 = weakref.ref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000141 self.assertTrue(ref1 is ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000142 "reference object w/out callback should be re-used")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000143 self.assertTrue(weakref.getweakrefcount(o) == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000144 "wrong weak ref count for object")
145 del proxy
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000146 self.assertTrue(weakref.getweakrefcount(o) == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000147 "wrong weak ref count for object after deleting proxy")
Fred Drake41deb1e2001-02-01 05:27:45 +0000148
Fred Drakeb0fefc52001-03-23 04:22:45 +0000149 def test_proxy_reuse(self):
150 o = C()
151 proxy1 = weakref.proxy(o)
152 ref = weakref.ref(o)
153 proxy2 = weakref.proxy(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000154 self.assertTrue(proxy1 is proxy2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000155 "proxy object w/out callback should have been re-used")
156
157 def test_basic_proxy(self):
158 o = C()
159 self.check_proxy(o, weakref.proxy(o))
160
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000161 L = collections.UserList()
Fred Drake5935ff02001-12-19 16:54:23 +0000162 p = weakref.proxy(L)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000163 self.assertFalse(p, "proxy for empty UserList should be false")
Fred Drake5935ff02001-12-19 16:54:23 +0000164 p.append(12)
165 self.assertEqual(len(L), 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000166 self.assertTrue(p, "proxy for non-empty UserList should be true")
Fred Drake5935ff02001-12-19 16:54:23 +0000167 p[:] = [2, 3]
168 self.assertEqual(len(L), 2)
169 self.assertEqual(len(p), 2)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000170 self.assertTrue(3 in p,
Fred Drakef425b1e2003-07-14 21:37:17 +0000171 "proxy didn't support __contains__() properly")
Fred Drake5935ff02001-12-19 16:54:23 +0000172 p[1] = 5
173 self.assertEqual(L[1], 5)
174 self.assertEqual(p[1], 5)
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000175 L2 = collections.UserList(L)
Fred Drake5935ff02001-12-19 16:54:23 +0000176 p2 = weakref.proxy(L2)
177 self.assertEqual(p, p2)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000178 ## self.assertEqual(repr(L2), repr(p2))
Raymond Hettinger53dbe392008-02-12 20:03:09 +0000179 L3 = collections.UserList(range(10))
Fred Drake43735da2002-04-11 03:59:42 +0000180 p3 = weakref.proxy(L3)
181 self.assertEqual(L3[:], p3[:])
182 self.assertEqual(L3[5:], p3[5:])
183 self.assertEqual(L3[:5], p3[:5])
184 self.assertEqual(L3[2:5], p3[2:5])
Fred Drake5935ff02001-12-19 16:54:23 +0000185
Benjamin Peterson32019772009-11-19 03:08:32 +0000186 def test_proxy_unicode(self):
187 # See bug 5037
188 class C(object):
189 def __str__(self):
190 return "string"
191 def __bytes__(self):
192 return b"bytes"
193 instance = C()
194 self.assertTrue("__bytes__" in dir(weakref.proxy(instance)))
195 self.assertEqual(bytes(weakref.proxy(instance)), b"bytes")
196
Georg Brandlb533e262008-05-25 18:19:30 +0000197 def test_proxy_index(self):
198 class C:
199 def __index__(self):
200 return 10
201 o = C()
202 p = weakref.proxy(o)
203 self.assertEqual(operator.index(p), 10)
204
205 def test_proxy_div(self):
206 class C:
207 def __floordiv__(self, other):
208 return 42
209 def __ifloordiv__(self, other):
210 return 21
211 o = C()
212 p = weakref.proxy(o)
213 self.assertEqual(p // 5, 42)
214 p //= 5
215 self.assertEqual(p, 21)
216
Fred Drakeea2adc92004-02-03 19:56:46 +0000217 # The PyWeakref_* C API is documented as allowing either NULL or
218 # None as the value for the callback, where either means "no
219 # callback". The "no callback" ref and proxy objects are supposed
220 # to be shared so long as they exist by all callers so long as
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000221 # they are active. In Python 2.3.3 and earlier, this guarantee
Fred Drakeea2adc92004-02-03 19:56:46 +0000222 # was not honored, and was broken in different ways for
223 # PyWeakref_NewRef() and PyWeakref_NewProxy(). (Two tests.)
224
225 def test_shared_ref_without_callback(self):
226 self.check_shared_without_callback(weakref.ref)
227
228 def test_shared_proxy_without_callback(self):
229 self.check_shared_without_callback(weakref.proxy)
230
231 def check_shared_without_callback(self, makeref):
232 o = Object(1)
233 p1 = makeref(o, None)
234 p2 = makeref(o, None)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000235 self.assertTrue(p1 is p2, "both callbacks were None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000236 del p1, p2
237 p1 = makeref(o)
238 p2 = makeref(o, None)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000239 self.assertTrue(p1 is p2, "callbacks were NULL, None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000240 del p1, p2
241 p1 = makeref(o)
242 p2 = makeref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000243 self.assertTrue(p1 is p2, "both callbacks were NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000244 del p1, p2
245 p1 = makeref(o, None)
246 p2 = makeref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000247 self.assertTrue(p1 is p2, "callbacks were None, NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000248
Fred Drakeb0fefc52001-03-23 04:22:45 +0000249 def test_callable_proxy(self):
250 o = Callable()
251 ref1 = weakref.proxy(o)
252
253 self.check_proxy(o, ref1)
254
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000255 self.assertTrue(type(ref1) is weakref.CallableProxyType,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000256 "proxy is not of callable type")
257 ref1('twinkies!')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000258 self.assertTrue(o.bar == 'twinkies!',
Fred Drakeb0fefc52001-03-23 04:22:45 +0000259 "call through proxy not passed through to original")
Fred Drake3bb4d212001-10-18 19:28:29 +0000260 ref1(x='Splat.')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000261 self.assertTrue(o.bar == 'Splat.',
Fred Drake3bb4d212001-10-18 19:28:29 +0000262 "call through proxy not passed through to original")
Fred Drakeb0fefc52001-03-23 04:22:45 +0000263
264 # expect due to too few args
265 self.assertRaises(TypeError, ref1)
266
267 # expect due to too many args
268 self.assertRaises(TypeError, ref1, 1, 2, 3)
269
270 def check_proxy(self, o, proxy):
271 o.foo = 1
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000272 self.assertTrue(proxy.foo == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000273 "proxy does not reflect attribute addition")
274 o.foo = 2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000275 self.assertTrue(proxy.foo == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000276 "proxy does not reflect attribute modification")
277 del o.foo
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000278 self.assertTrue(not hasattr(proxy, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000279 "proxy does not reflect attribute removal")
280
281 proxy.foo = 1
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000282 self.assertTrue(o.foo == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000283 "object does not reflect attribute addition via proxy")
284 proxy.foo = 2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000285 self.assertTrue(
Fred Drakeb0fefc52001-03-23 04:22:45 +0000286 o.foo == 2,
287 "object does not reflect attribute modification via proxy")
288 del proxy.foo
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000289 self.assertTrue(not hasattr(o, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000290 "object does not reflect attribute removal via proxy")
291
Raymond Hettingerd693a812003-06-30 04:18:48 +0000292 def test_proxy_deletion(self):
293 # Test clearing of SF bug #762891
294 class Foo:
295 result = None
296 def __delitem__(self, accessor):
297 self.result = accessor
298 g = Foo()
299 f = weakref.proxy(g)
300 del f[0]
301 self.assertEqual(f.result, 0)
302
Raymond Hettingere6c470f2005-03-27 03:04:54 +0000303 def test_proxy_bool(self):
304 # Test clearing of SF bug #1170766
305 class List(list): pass
306 lyst = List()
307 self.assertEqual(bool(weakref.proxy(lyst)), bool(lyst))
308
Fred Drakeb0fefc52001-03-23 04:22:45 +0000309 def test_getweakrefcount(self):
310 o = C()
311 ref1 = weakref.ref(o)
312 ref2 = weakref.ref(o, self.callback)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000313 self.assertTrue(weakref.getweakrefcount(o) == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000314 "got wrong number of weak reference objects")
315
316 proxy1 = weakref.proxy(o)
317 proxy2 = weakref.proxy(o, self.callback)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000318 self.assertTrue(weakref.getweakrefcount(o) == 4,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000319 "got wrong number of weak reference objects")
320
Fred Drakeea2adc92004-02-03 19:56:46 +0000321 del ref1, ref2, proxy1, proxy2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000322 self.assertTrue(weakref.getweakrefcount(o) == 0,
Fred Drakeea2adc92004-02-03 19:56:46 +0000323 "weak reference objects not unlinked from"
324 " referent when discarded.")
325
Walter Dörwaldb167b042003-12-11 12:34:05 +0000326 # assumes ints do not support weakrefs
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000327 self.assertTrue(weakref.getweakrefcount(1) == 0,
Walter Dörwaldb167b042003-12-11 12:34:05 +0000328 "got wrong number of weak reference objects for int")
329
Fred Drakeb0fefc52001-03-23 04:22:45 +0000330 def test_getweakrefs(self):
331 o = C()
332 ref1 = weakref.ref(o, self.callback)
333 ref2 = weakref.ref(o, self.callback)
334 del ref1
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000335 self.assertTrue(weakref.getweakrefs(o) == [ref2],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000336 "list of refs does not match")
337
338 o = C()
339 ref1 = weakref.ref(o, self.callback)
340 ref2 = weakref.ref(o, self.callback)
341 del ref2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000342 self.assertTrue(weakref.getweakrefs(o) == [ref1],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000343 "list of refs does not match")
344
Fred Drakeea2adc92004-02-03 19:56:46 +0000345 del ref1
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000346 self.assertTrue(weakref.getweakrefs(o) == [],
Fred Drakeea2adc92004-02-03 19:56:46 +0000347 "list of refs not cleared")
348
Walter Dörwaldb167b042003-12-11 12:34:05 +0000349 # assumes ints do not support weakrefs
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000350 self.assertTrue(weakref.getweakrefs(1) == [],
Walter Dörwaldb167b042003-12-11 12:34:05 +0000351 "list of refs does not match for int")
352
Fred Drake39c27f12001-10-18 18:06:05 +0000353 def test_newstyle_number_ops(self):
354 class F(float):
355 pass
356 f = F(2.0)
357 p = weakref.proxy(f)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000358 self.assertTrue(p + 1.0 == 3.0)
359 self.assertTrue(1.0 + p == 3.0) # this used to SEGV
Fred Drake39c27f12001-10-18 18:06:05 +0000360
Fred Drake2a64f462001-12-10 23:46:02 +0000361 def test_callbacks_protected(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +0000362 # Callbacks protected from already-set exceptions?
Fred Drake2a64f462001-12-10 23:46:02 +0000363 # Regression test for SF bug #478534.
364 class BogusError(Exception):
365 pass
366 data = {}
367 def remove(k):
368 del data[k]
369 def encapsulate():
370 f = lambda : ()
371 data[weakref.ref(f, remove)] = None
372 raise BogusError
373 try:
374 encapsulate()
375 except BogusError:
376 pass
377 else:
378 self.fail("exception not properly restored")
379 try:
380 encapsulate()
381 except BogusError:
382 pass
383 else:
384 self.fail("exception not properly restored")
385
Tim Petersadd09b42003-11-12 20:43:28 +0000386 def test_sf_bug_840829(self):
387 # "weakref callbacks and gc corrupt memory"
388 # subtype_dealloc erroneously exposed a new-style instance
389 # already in the process of getting deallocated to gc,
390 # causing double-deallocation if the instance had a weakref
391 # callback that triggered gc.
392 # If the bug exists, there probably won't be an obvious symptom
393 # in a release build. In a debug build, a segfault will occur
394 # when the second attempt to remove the instance from the "list
395 # of all objects" occurs.
396
397 import gc
398
399 class C(object):
400 pass
401
402 c = C()
403 wr = weakref.ref(c, lambda ignore: gc.collect())
404 del c
405
Tim Petersf7f9e992003-11-13 21:59:32 +0000406 # There endeth the first part. It gets worse.
407 del wr
408
409 c1 = C()
410 c1.i = C()
411 wr = weakref.ref(c1.i, lambda ignore: gc.collect())
412
413 c2 = C()
414 c2.c1 = c1
415 del c1 # still alive because c2 points to it
416
417 # Now when subtype_dealloc gets called on c2, it's not enough just
418 # that c2 is immune from gc while the weakref callbacks associated
419 # with c2 execute (there are none in this 2nd half of the test, btw).
420 # subtype_dealloc goes on to call the base classes' deallocs too,
421 # so any gc triggered by weakref callbacks associated with anything
422 # torn down by a base class dealloc can also trigger double
423 # deallocation of c2.
424 del c2
Fred Drake41deb1e2001-02-01 05:27:45 +0000425
Tim Peters403a2032003-11-20 21:21:46 +0000426 def test_callback_in_cycle_1(self):
427 import gc
428
429 class J(object):
430 pass
431
432 class II(object):
433 def acallback(self, ignore):
434 self.J
435
436 I = II()
437 I.J = J
438 I.wr = weakref.ref(J, I.acallback)
439
440 # Now J and II are each in a self-cycle (as all new-style class
441 # objects are, since their __mro__ points back to them). I holds
442 # both a weak reference (I.wr) and a strong reference (I.J) to class
443 # J. I is also in a cycle (I.wr points to a weakref that references
444 # I.acallback). When we del these three, they all become trash, but
445 # the cycles prevent any of them from getting cleaned up immediately.
446 # Instead they have to wait for cyclic gc to deduce that they're
447 # trash.
448 #
449 # gc used to call tp_clear on all of them, and the order in which
450 # it does that is pretty accidental. The exact order in which we
451 # built up these things manages to provoke gc into running tp_clear
452 # in just the right order (I last). Calling tp_clear on II leaves
453 # behind an insane class object (its __mro__ becomes NULL). Calling
454 # tp_clear on J breaks its self-cycle, but J doesn't get deleted
455 # just then because of the strong reference from I.J. Calling
456 # tp_clear on I starts to clear I's __dict__, and just happens to
457 # clear I.J first -- I.wr is still intact. That removes the last
458 # reference to J, which triggers the weakref callback. The callback
459 # tries to do "self.J", and instances of new-style classes look up
460 # attributes ("J") in the class dict first. The class (II) wants to
461 # search II.__mro__, but that's NULL. The result was a segfault in
462 # a release build, and an assert failure in a debug build.
463 del I, J, II
464 gc.collect()
465
466 def test_callback_in_cycle_2(self):
467 import gc
468
469 # This is just like test_callback_in_cycle_1, except that II is an
470 # old-style class. The symptom is different then: an instance of an
471 # old-style class looks in its own __dict__ first. 'J' happens to
472 # get cleared from I.__dict__ before 'wr', and 'J' was never in II's
473 # __dict__, so the attribute isn't found. The difference is that
474 # the old-style II doesn't have a NULL __mro__ (it doesn't have any
475 # __mro__), so no segfault occurs. Instead it got:
476 # test_callback_in_cycle_2 (__main__.ReferencesTestCase) ...
477 # Exception exceptions.AttributeError:
478 # "II instance has no attribute 'J'" in <bound method II.acallback
479 # of <?.II instance at 0x00B9B4B8>> ignored
480
481 class J(object):
482 pass
483
484 class II:
485 def acallback(self, ignore):
486 self.J
487
488 I = II()
489 I.J = J
490 I.wr = weakref.ref(J, I.acallback)
491
492 del I, J, II
493 gc.collect()
494
495 def test_callback_in_cycle_3(self):
496 import gc
497
498 # This one broke the first patch that fixed the last two. In this
499 # case, the objects reachable from the callback aren't also reachable
500 # from the object (c1) *triggering* the callback: you can get to
501 # c1 from c2, but not vice-versa. The result was that c2's __dict__
502 # got tp_clear'ed by the time the c2.cb callback got invoked.
503
504 class C:
505 def cb(self, ignore):
506 self.me
507 self.c1
508 self.wr
509
510 c1, c2 = C(), C()
511
512 c2.me = c2
513 c2.c1 = c1
514 c2.wr = weakref.ref(c1, c2.cb)
515
516 del c1, c2
517 gc.collect()
518
519 def test_callback_in_cycle_4(self):
520 import gc
521
522 # Like test_callback_in_cycle_3, except c2 and c1 have different
523 # classes. c2's class (C) isn't reachable from c1 then, so protecting
524 # objects reachable from the dying object (c1) isn't enough to stop
525 # c2's class (C) from getting tp_clear'ed before c2.cb is invoked.
526 # The result was a segfault (C.__mro__ was NULL when the callback
527 # tried to look up self.me).
528
529 class C(object):
530 def cb(self, ignore):
531 self.me
532 self.c1
533 self.wr
534
535 class D:
536 pass
537
538 c1, c2 = D(), C()
539
540 c2.me = c2
541 c2.c1 = c1
542 c2.wr = weakref.ref(c1, c2.cb)
543
544 del c1, c2, C, D
545 gc.collect()
546
547 def test_callback_in_cycle_resurrection(self):
548 import gc
549
550 # Do something nasty in a weakref callback: resurrect objects
551 # from dead cycles. For this to be attempted, the weakref and
552 # its callback must also be part of the cyclic trash (else the
553 # objects reachable via the callback couldn't be in cyclic trash
554 # to begin with -- the callback would act like an external root).
555 # But gc clears trash weakrefs with callbacks early now, which
556 # disables the callbacks, so the callbacks shouldn't get called
557 # at all (and so nothing actually gets resurrected).
558
559 alist = []
560 class C(object):
561 def __init__(self, value):
562 self.attribute = value
563
564 def acallback(self, ignore):
565 alist.append(self.c)
566
567 c1, c2 = C(1), C(2)
568 c1.c = c2
569 c2.c = c1
570 c1.wr = weakref.ref(c2, c1.acallback)
571 c2.wr = weakref.ref(c1, c2.acallback)
572
573 def C_went_away(ignore):
574 alist.append("C went away")
575 wr = weakref.ref(C, C_went_away)
576
577 del c1, c2, C # make them all trash
578 self.assertEqual(alist, []) # del isn't enough to reclaim anything
579
580 gc.collect()
581 # c1.wr and c2.wr were part of the cyclic trash, so should have
582 # been cleared without their callbacks executing. OTOH, the weakref
583 # to C is bound to a function local (wr), and wasn't trash, so that
584 # callback should have been invoked when C went away.
585 self.assertEqual(alist, ["C went away"])
586 # The remaining weakref should be dead now (its callback ran).
587 self.assertEqual(wr(), None)
588
589 del alist[:]
590 gc.collect()
591 self.assertEqual(alist, [])
592
593 def test_callbacks_on_callback(self):
594 import gc
595
596 # Set up weakref callbacks *on* weakref callbacks.
597 alist = []
598 def safe_callback(ignore):
599 alist.append("safe_callback called")
600
601 class C(object):
602 def cb(self, ignore):
603 alist.append("cb called")
604
605 c, d = C(), C()
606 c.other = d
607 d.other = c
608 callback = c.cb
609 c.wr = weakref.ref(d, callback) # this won't trigger
610 d.wr = weakref.ref(callback, d.cb) # ditto
611 external_wr = weakref.ref(callback, safe_callback) # but this will
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000612 self.assertTrue(external_wr() is callback)
Tim Peters403a2032003-11-20 21:21:46 +0000613
614 # The weakrefs attached to c and d should get cleared, so that
615 # C.cb is never called. But external_wr isn't part of the cyclic
616 # trash, and no cyclic trash is reachable from it, so safe_callback
617 # should get invoked when the bound method object callback (c.cb)
618 # -- which is itself a callback, and also part of the cyclic trash --
619 # gets reclaimed at the end of gc.
620
621 del callback, c, d, C
622 self.assertEqual(alist, []) # del isn't enough to clean up cycles
623 gc.collect()
624 self.assertEqual(alist, ["safe_callback called"])
625 self.assertEqual(external_wr(), None)
626
627 del alist[:]
628 gc.collect()
629 self.assertEqual(alist, [])
630
Fred Drakebc875f52004-02-04 23:14:14 +0000631 def test_gc_during_ref_creation(self):
632 self.check_gc_during_creation(weakref.ref)
633
634 def test_gc_during_proxy_creation(self):
635 self.check_gc_during_creation(weakref.proxy)
636
637 def check_gc_during_creation(self, makeref):
638 thresholds = gc.get_threshold()
639 gc.set_threshold(1, 1, 1)
640 gc.collect()
Fred Drake55cf4342004-02-13 19:21:57 +0000641 class A:
642 pass
Fred Drakebc875f52004-02-04 23:14:14 +0000643
644 def callback(*args):
645 pass
646
Fred Drake55cf4342004-02-13 19:21:57 +0000647 referenced = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000648
Fred Drake55cf4342004-02-13 19:21:57 +0000649 a = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000650 a.a = a
651 a.wr = makeref(referenced)
652
653 try:
654 # now make sure the object and the ref get labeled as
655 # cyclic trash:
Fred Drake55cf4342004-02-13 19:21:57 +0000656 a = A()
657 weakref.ref(referenced, callback)
Fred Drakebc875f52004-02-04 23:14:14 +0000658
659 finally:
660 gc.set_threshold(*thresholds)
661
Thomas Woutersb2137042007-02-01 18:02:27 +0000662 def test_ref_created_during_del(self):
663 # Bug #1377858
664 # A weakref created in an object's __del__() would crash the
665 # interpreter when the weakref was cleaned up since it would refer to
666 # non-existent memory. This test should not segfault the interpreter.
667 class Target(object):
668 def __del__(self):
669 global ref_from_del
670 ref_from_del = weakref.ref(self)
671
672 w = Target()
673
Benjamin Peterson9aa42992008-09-10 21:57:34 +0000674 def test_init(self):
675 # Issue 3634
676 # <weakref to class>.__init__() doesn't check errors correctly
677 r = weakref.ref(Exception)
678 self.assertRaises(TypeError, r.__init__, 0, 0, 0, 0, 0)
679 # No exception should be raised here
680 gc.collect()
681
Fred Drake0a4dd392004-07-02 18:57:45 +0000682
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +0000683class SubclassableWeakrefTestCase(TestBase):
Fred Drake0a4dd392004-07-02 18:57:45 +0000684
685 def test_subclass_refs(self):
686 class MyRef(weakref.ref):
687 def __init__(self, ob, callback=None, value=42):
688 self.value = value
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000689 super().__init__(ob, callback)
Fred Drake0a4dd392004-07-02 18:57:45 +0000690 def __call__(self):
691 self.called = True
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000692 return super().__call__()
Fred Drake0a4dd392004-07-02 18:57:45 +0000693 o = Object("foo")
694 mr = MyRef(o, value=24)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000695 self.assertTrue(mr() is o)
696 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000697 self.assertEqual(mr.value, 24)
698 del o
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000699 self.assertTrue(mr() is None)
700 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000701
702 def test_subclass_refs_dont_replace_standard_refs(self):
703 class MyRef(weakref.ref):
704 pass
705 o = Object(42)
706 r1 = MyRef(o)
707 r2 = weakref.ref(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000708 self.assertTrue(r1 is not r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000709 self.assertEqual(weakref.getweakrefs(o), [r2, r1])
710 self.assertEqual(weakref.getweakrefcount(o), 2)
711 r3 = MyRef(o)
712 self.assertEqual(weakref.getweakrefcount(o), 3)
713 refs = weakref.getweakrefs(o)
714 self.assertEqual(len(refs), 3)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000715 self.assertTrue(r2 is refs[0])
716 self.assertTrue(r1 in refs[1:])
717 self.assertTrue(r3 in refs[1:])
Fred Drake0a4dd392004-07-02 18:57:45 +0000718
719 def test_subclass_refs_dont_conflate_callbacks(self):
720 class MyRef(weakref.ref):
721 pass
722 o = Object(42)
723 r1 = MyRef(o, id)
724 r2 = MyRef(o, str)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000725 self.assertTrue(r1 is not r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000726 refs = weakref.getweakrefs(o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000727 self.assertTrue(r1 in refs)
728 self.assertTrue(r2 in refs)
Fred Drake0a4dd392004-07-02 18:57:45 +0000729
730 def test_subclass_refs_with_slots(self):
731 class MyRef(weakref.ref):
732 __slots__ = "slot1", "slot2"
733 def __new__(type, ob, callback, slot1, slot2):
734 return weakref.ref.__new__(type, ob, callback)
735 def __init__(self, ob, callback, slot1, slot2):
736 self.slot1 = slot1
737 self.slot2 = slot2
738 def meth(self):
739 return self.slot1 + self.slot2
740 o = Object(42)
741 r = MyRef(o, None, "abc", "def")
742 self.assertEqual(r.slot1, "abc")
743 self.assertEqual(r.slot2, "def")
744 self.assertEqual(r.meth(), "abcdef")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000745 self.assertFalse(hasattr(r, "__dict__"))
Fred Drake0a4dd392004-07-02 18:57:45 +0000746
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +0000747 def test_subclass_refs_with_cycle(self):
748 # Bug #3110
749 # An instance of a weakref subclass can have attributes.
750 # If such a weakref holds the only strong reference to the object,
751 # deleting the weakref will delete the object. In this case,
752 # the callback must not be called, because the ref object is
753 # being deleted.
754 class MyRef(weakref.ref):
755 pass
756
757 # Use a local callback, for "regrtest -R::"
758 # to detect refcounting problems
759 def callback(w):
760 self.cbcalled += 1
761
762 o = C()
763 r1 = MyRef(o, callback)
764 r1.o = o
765 del o
766
767 del r1 # Used to crash here
768
769 self.assertEqual(self.cbcalled, 0)
770
771 # Same test, with two weakrefs to the same object
772 # (since code paths are different)
773 o = C()
774 r1 = MyRef(o, callback)
775 r2 = MyRef(o, callback)
776 r1.r = r2
777 r2.o = o
778 del o
779 del r2
780
781 del r1 # Used to crash here
782
783 self.assertEqual(self.cbcalled, 0)
784
Fred Drake0a4dd392004-07-02 18:57:45 +0000785
Fred Drake41deb1e2001-02-01 05:27:45 +0000786class Object:
787 def __init__(self, arg):
788 self.arg = arg
789 def __repr__(self):
790 return "<Object %r>" % self.arg
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000791 def __lt__(self, other):
792 if isinstance(other, Object):
793 return self.arg < other.arg
794 return NotImplemented
795 def __hash__(self):
796 return hash(self.arg)
Fred Drake41deb1e2001-02-01 05:27:45 +0000797
Fred Drake41deb1e2001-02-01 05:27:45 +0000798
Fred Drakeb0fefc52001-03-23 04:22:45 +0000799class MappingTestCase(TestBase):
Martin v. Löwis5e163332001-02-27 18:36:56 +0000800
Fred Drakeb0fefc52001-03-23 04:22:45 +0000801 COUNT = 10
802
803 def test_weak_values(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000804 #
805 # This exercises d.copy(), d.items(), d[], del d[], len(d).
806 #
807 dict, objects = self.make_weak_valued_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000808 for o in objects:
Guido van Rossum3cf5b1e2006-07-27 21:53:35 +0000809 self.assertEqual(weakref.getweakrefcount(o), 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000810 self.assertTrue(o is dict[o.arg],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000811 "wrong object returned by weak dict!")
Barry Warsawecaab832008-09-04 01:42:51 +0000812 items1 = list(dict.items())
813 items2 = list(dict.copy().items())
Fred Drakeb0fefc52001-03-23 04:22:45 +0000814 items1.sort()
815 items2.sort()
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000816 self.assertEqual(items1, items2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000817 "cloning of weak-valued dictionary did not work!")
818 del items1, items2
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000819 self.assertEqual(len(dict), self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000820 del objects[0]
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000821 self.assertEqual(len(dict), self.COUNT - 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000822 "deleting object did not cause dictionary update")
823 del objects, o
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000824 self.assertEqual(len(dict), 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000825 "deleting the values did not clear the dictionary")
Fred Drake4fd06e02001-08-03 04:11:27 +0000826 # regression on SF bug #447152:
827 dict = weakref.WeakValueDictionary()
828 self.assertRaises(KeyError, dict.__getitem__, 1)
829 dict[2] = C()
830 self.assertRaises(KeyError, dict.__getitem__, 2)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000831
832 def test_weak_keys(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000833 #
834 # This exercises d.copy(), d.items(), d[] = v, d[], del d[],
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000835 # len(d), k in d.
Fred Drake0e540c32001-05-02 05:44:22 +0000836 #
837 dict, objects = self.make_weak_keyed_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000838 for o in objects:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000839 self.assertTrue(weakref.getweakrefcount(o) == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000840 "wrong number of weak references to %r!" % o)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000841 self.assertTrue(o.arg is dict[o],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000842 "wrong object returned by weak dict!")
843 items1 = dict.items()
844 items2 = dict.copy().items()
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000845 self.assertEqual(set(items1), set(items2),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000846 "cloning of weak-keyed dictionary did not work!")
847 del items1, items2
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000848 self.assertEqual(len(dict), self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000849 del objects[0]
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000850 self.assertTrue(len(dict) == (self.COUNT - 1),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000851 "deleting object did not cause dictionary update")
852 del objects, o
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000853 self.assertTrue(len(dict) == 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000854 "deleting the keys did not clear the dictionary")
Fred Drake752eda42001-11-06 16:38:34 +0000855 o = Object(42)
856 dict[o] = "What is the meaning of the universe?"
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000857 self.assertTrue(o in dict)
858 self.assertTrue(34 not in dict)
Martin v. Löwis5e163332001-02-27 18:36:56 +0000859
Fred Drake0e540c32001-05-02 05:44:22 +0000860 def test_weak_keyed_iters(self):
861 dict, objects = self.make_weak_keyed_dict()
862 self.check_iters(dict)
863
Thomas Wouters477c8d52006-05-27 19:21:47 +0000864 # Test keyrefs()
865 refs = dict.keyrefs()
866 self.assertEqual(len(refs), len(objects))
867 objects2 = list(objects)
868 for wr in refs:
869 ob = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000870 self.assertTrue(ob in dict)
871 self.assertTrue(ob in dict)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000872 self.assertEqual(ob.arg, dict[ob])
873 objects2.remove(ob)
874 self.assertEqual(len(objects2), 0)
875
876 # Test iterkeyrefs()
877 objects2 = list(objects)
Barry Warsawecaab832008-09-04 01:42:51 +0000878 self.assertEqual(len(list(dict.keyrefs())), len(objects))
879 for wr in dict.keyrefs():
Thomas Wouters477c8d52006-05-27 19:21:47 +0000880 ob = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000881 self.assertTrue(ob in dict)
882 self.assertTrue(ob in dict)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000883 self.assertEqual(ob.arg, dict[ob])
884 objects2.remove(ob)
885 self.assertEqual(len(objects2), 0)
886
Fred Drake0e540c32001-05-02 05:44:22 +0000887 def test_weak_valued_iters(self):
888 dict, objects = self.make_weak_valued_dict()
889 self.check_iters(dict)
890
Thomas Wouters477c8d52006-05-27 19:21:47 +0000891 # Test valuerefs()
892 refs = dict.valuerefs()
893 self.assertEqual(len(refs), len(objects))
894 objects2 = list(objects)
895 for wr in refs:
896 ob = wr()
897 self.assertEqual(ob, dict[ob.arg])
898 self.assertEqual(ob.arg, dict[ob.arg].arg)
899 objects2.remove(ob)
900 self.assertEqual(len(objects2), 0)
901
902 # Test itervaluerefs()
903 objects2 = list(objects)
904 self.assertEqual(len(list(dict.itervaluerefs())), len(objects))
905 for wr in dict.itervaluerefs():
906 ob = wr()
907 self.assertEqual(ob, dict[ob.arg])
908 self.assertEqual(ob.arg, dict[ob.arg].arg)
909 objects2.remove(ob)
910 self.assertEqual(len(objects2), 0)
911
Fred Drake0e540c32001-05-02 05:44:22 +0000912 def check_iters(self, dict):
913 # item iterator:
Barry Warsawecaab832008-09-04 01:42:51 +0000914 items = list(dict.items())
Guido van Rossumcc2b0162007-02-11 06:12:03 +0000915 for item in dict.items():
Fred Drake0e540c32001-05-02 05:44:22 +0000916 items.remove(item)
Barry Warsawecaab832008-09-04 01:42:51 +0000917 self.assertFalse(items, "items() did not touch all items")
Fred Drake0e540c32001-05-02 05:44:22 +0000918
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000919 # key iterator, via __iter__():
Guido van Rossum07f24362007-02-11 22:59:48 +0000920 keys = list(dict.keys())
Fred Drake0e540c32001-05-02 05:44:22 +0000921 for k in dict:
922 keys.remove(k)
Barry Warsawecaab832008-09-04 01:42:51 +0000923 self.assertFalse(keys, "__iter__() did not touch all keys")
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000924
925 # key iterator, via iterkeys():
Guido van Rossum07f24362007-02-11 22:59:48 +0000926 keys = list(dict.keys())
Guido van Rossumcc2b0162007-02-11 06:12:03 +0000927 for k in dict.keys():
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000928 keys.remove(k)
Barry Warsawecaab832008-09-04 01:42:51 +0000929 self.assertFalse(keys, "iterkeys() did not touch all keys")
Fred Drake0e540c32001-05-02 05:44:22 +0000930
931 # value iterator:
Guido van Rossum07f24362007-02-11 22:59:48 +0000932 values = list(dict.values())
Guido van Rossumcc2b0162007-02-11 06:12:03 +0000933 for v in dict.values():
Fred Drake0e540c32001-05-02 05:44:22 +0000934 values.remove(v)
Barry Warsawecaab832008-09-04 01:42:51 +0000935 self.assertFalse(values,
Fred Drakef425b1e2003-07-14 21:37:17 +0000936 "itervalues() did not touch all values")
Fred Drake0e540c32001-05-02 05:44:22 +0000937
Guido van Rossum009afb72002-06-10 20:00:52 +0000938 def test_make_weak_keyed_dict_from_dict(self):
939 o = Object(3)
940 dict = weakref.WeakKeyDictionary({o:364})
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000941 self.assertEqual(dict[o], 364)
Guido van Rossum009afb72002-06-10 20:00:52 +0000942
943 def test_make_weak_keyed_dict_from_weak_keyed_dict(self):
944 o = Object(3)
945 dict = weakref.WeakKeyDictionary({o:364})
946 dict2 = weakref.WeakKeyDictionary(dict)
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000947 self.assertEqual(dict[o], 364)
Guido van Rossum009afb72002-06-10 20:00:52 +0000948
Fred Drake0e540c32001-05-02 05:44:22 +0000949 def make_weak_keyed_dict(self):
950 dict = weakref.WeakKeyDictionary()
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000951 objects = list(map(Object, range(self.COUNT)))
Fred Drake0e540c32001-05-02 05:44:22 +0000952 for o in objects:
953 dict[o] = o.arg
954 return dict, objects
955
Antoine Pitrouc06de472009-05-30 21:04:26 +0000956 def test_make_weak_valued_dict_from_dict(self):
957 o = Object(3)
958 dict = weakref.WeakValueDictionary({364:o})
959 self.assertEqual(dict[364], o)
960
961 def test_make_weak_valued_dict_from_weak_valued_dict(self):
962 o = Object(3)
963 dict = weakref.WeakValueDictionary({364:o})
964 dict2 = weakref.WeakValueDictionary(dict)
965 self.assertEqual(dict[364], o)
966
Fred Drake0e540c32001-05-02 05:44:22 +0000967 def make_weak_valued_dict(self):
968 dict = weakref.WeakValueDictionary()
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000969 objects = list(map(Object, range(self.COUNT)))
Fred Drake0e540c32001-05-02 05:44:22 +0000970 for o in objects:
971 dict[o.arg] = o
972 return dict, objects
973
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000974 def check_popitem(self, klass, key1, value1, key2, value2):
975 weakdict = klass()
976 weakdict[key1] = value1
977 weakdict[key2] = value2
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000978 self.assertEqual(len(weakdict), 2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000979 k, v = weakdict.popitem()
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000980 self.assertEqual(len(weakdict), 1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000981 if k is key1:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000982 self.assertTrue(v is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000983 else:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000984 self.assertTrue(v is value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000985 k, v = weakdict.popitem()
Guido van Rossume61fd5b2007-07-11 12:20:59 +0000986 self.assertEqual(len(weakdict), 0)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000987 if k is key1:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000988 self.assertTrue(v is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000989 else:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000990 self.assertTrue(v is value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000991
992 def test_weak_valued_dict_popitem(self):
993 self.check_popitem(weakref.WeakValueDictionary,
994 "key1", C(), "key2", C())
995
996 def test_weak_keyed_dict_popitem(self):
997 self.check_popitem(weakref.WeakKeyDictionary,
998 C(), "value 1", C(), "value 2")
999
1000 def check_setdefault(self, klass, key, value1, value2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001001 self.assertTrue(value1 is not value2,
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001002 "invalid test"
1003 " -- value parameters must be distinct objects")
1004 weakdict = klass()
1005 o = weakdict.setdefault(key, value1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001006 self.assertTrue(o is value1)
1007 self.assertTrue(key in weakdict)
1008 self.assertTrue(weakdict.get(key) is value1)
1009 self.assertTrue(weakdict[key] is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001010
1011 o = weakdict.setdefault(key, value2)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001012 self.assertTrue(o is value1)
1013 self.assertTrue(key in weakdict)
1014 self.assertTrue(weakdict.get(key) is value1)
1015 self.assertTrue(weakdict[key] is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001016
1017 def test_weak_valued_dict_setdefault(self):
1018 self.check_setdefault(weakref.WeakValueDictionary,
1019 "key", C(), C())
1020
1021 def test_weak_keyed_dict_setdefault(self):
1022 self.check_setdefault(weakref.WeakKeyDictionary,
1023 C(), "value 1", "value 2")
1024
Fred Drakea0a4ab12001-04-16 17:37:27 +00001025 def check_update(self, klass, dict):
Fred Drake0e540c32001-05-02 05:44:22 +00001026 #
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001027 # This exercises d.update(), len(d), d.keys(), k in d,
Fred Drake0e540c32001-05-02 05:44:22 +00001028 # d.get(), d[].
1029 #
Fred Drakea0a4ab12001-04-16 17:37:27 +00001030 weakdict = klass()
1031 weakdict.update(dict)
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001032 self.assertEqual(len(weakdict), len(dict))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001033 for k in weakdict.keys():
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001034 self.assertTrue(k in dict,
Fred Drakea0a4ab12001-04-16 17:37:27 +00001035 "mysterious new key appeared in weak dict")
1036 v = dict.get(k)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001037 self.assertTrue(v is weakdict[k])
1038 self.assertTrue(v is weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001039 for k in dict.keys():
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001040 self.assertTrue(k in weakdict,
Fred Drakea0a4ab12001-04-16 17:37:27 +00001041 "original key disappeared in weak dict")
1042 v = dict[k]
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001043 self.assertTrue(v is weakdict[k])
1044 self.assertTrue(v is weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001045
1046 def test_weak_valued_dict_update(self):
1047 self.check_update(weakref.WeakValueDictionary,
1048 {1: C(), 'a': C(), C(): C()})
1049
1050 def test_weak_keyed_dict_update(self):
1051 self.check_update(weakref.WeakKeyDictionary,
1052 {C(): 1, C(): 2, C(): 3})
1053
Fred Drakeccc75622001-09-06 14:52:39 +00001054 def test_weak_keyed_delitem(self):
1055 d = weakref.WeakKeyDictionary()
1056 o1 = Object('1')
1057 o2 = Object('2')
1058 d[o1] = 'something'
1059 d[o2] = 'something'
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001060 self.assertEqual(len(d), 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001061 del d[o1]
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001062 self.assertEqual(len(d), 1)
Barry Warsawecaab832008-09-04 01:42:51 +00001063 self.assertEqual(list(d.keys()), [o2])
Fred Drakeccc75622001-09-06 14:52:39 +00001064
1065 def test_weak_valued_delitem(self):
1066 d = weakref.WeakValueDictionary()
1067 o1 = Object('1')
1068 o2 = Object('2')
1069 d['something'] = o1
1070 d['something else'] = o2
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001071 self.assertEqual(len(d), 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001072 del d['something']
Guido van Rossume61fd5b2007-07-11 12:20:59 +00001073 self.assertEqual(len(d), 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001074 self.assertTrue(list(d.items()) == [('something else', o2)])
Fred Drakeccc75622001-09-06 14:52:39 +00001075
Tim Peters886128f2003-05-25 01:45:11 +00001076 def test_weak_keyed_bad_delitem(self):
1077 d = weakref.WeakKeyDictionary()
1078 o = Object('1')
1079 # An attempt to delete an object that isn't there should raise
Tim Peters50d8b8b2003-05-25 17:44:31 +00001080 # KeyError. It didn't before 2.3.
Tim Peters886128f2003-05-25 01:45:11 +00001081 self.assertRaises(KeyError, d.__delitem__, o)
Tim Peters50d8b8b2003-05-25 17:44:31 +00001082 self.assertRaises(KeyError, d.__getitem__, o)
1083
1084 # If a key isn't of a weakly referencable type, __getitem__ and
1085 # __setitem__ raise TypeError. __delitem__ should too.
1086 self.assertRaises(TypeError, d.__delitem__, 13)
1087 self.assertRaises(TypeError, d.__getitem__, 13)
1088 self.assertRaises(TypeError, d.__setitem__, 13, 13)
Tim Peters886128f2003-05-25 01:45:11 +00001089
1090 def test_weak_keyed_cascading_deletes(self):
1091 # SF bug 742860. For some reason, before 2.3 __delitem__ iterated
1092 # over the keys via self.data.iterkeys(). If things vanished from
1093 # the dict during this (or got added), that caused a RuntimeError.
1094
1095 d = weakref.WeakKeyDictionary()
1096 mutate = False
1097
1098 class C(object):
1099 def __init__(self, i):
1100 self.value = i
1101 def __hash__(self):
1102 return hash(self.value)
1103 def __eq__(self, other):
1104 if mutate:
1105 # Side effect that mutates the dict, by removing the
1106 # last strong reference to a key.
1107 del objs[-1]
1108 return self.value == other.value
1109
1110 objs = [C(i) for i in range(4)]
1111 for o in objs:
1112 d[o] = o.value
1113 del o # now the only strong references to keys are in objs
1114 # Find the order in which iterkeys sees the keys.
Barry Warsawecaab832008-09-04 01:42:51 +00001115 objs = list(d.keys())
Tim Peters886128f2003-05-25 01:45:11 +00001116 # Reverse it, so that the iteration implementation of __delitem__
1117 # has to keep looping to find the first object we delete.
1118 objs.reverse()
Tim Peters50d8b8b2003-05-25 17:44:31 +00001119
Tim Peters886128f2003-05-25 01:45:11 +00001120 # Turn on mutation in C.__eq__. The first time thru the loop,
1121 # under the iterkeys() business the first comparison will delete
1122 # the last item iterkeys() would see, and that causes a
1123 # RuntimeError: dictionary changed size during iteration
1124 # when the iterkeys() loop goes around to try comparing the next
Tim Peters50d8b8b2003-05-25 17:44:31 +00001125 # key. After this was fixed, it just deletes the last object *our*
Tim Peters886128f2003-05-25 01:45:11 +00001126 # "for o in obj" loop would have gotten to.
1127 mutate = True
1128 count = 0
1129 for o in objs:
1130 count += 1
1131 del d[o]
1132 self.assertEqual(len(d), 0)
1133 self.assertEqual(count, 2)
1134
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001135from test import mapping_tests
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001136
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001137class WeakValueDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001138 """Check that WeakValueDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001139 __ref = {"key1":Object(1), "key2":Object(2), "key3":Object(3)}
Walter Dörwald118f9312004-06-02 18:42:25 +00001140 type2test = weakref.WeakValueDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001141 def _reference(self):
1142 return self.__ref.copy()
1143
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001144class WeakKeyDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001145 """Check that WeakKeyDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001146 __ref = {Object("key1"):1, Object("key2"):2, Object("key3"):3}
Walter Dörwald118f9312004-06-02 18:42:25 +00001147 type2test = weakref.WeakKeyDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001148 def _reference(self):
1149 return self.__ref.copy()
Martin v. Löwis5e163332001-02-27 18:36:56 +00001150
Georg Brandlb533e262008-05-25 18:19:30 +00001151libreftest = """ Doctest for examples in the library reference: weakref.rst
Georg Brandl9a65d582005-07-02 19:07:30 +00001152
1153>>> import weakref
1154>>> class Dict(dict):
1155... pass
1156...
1157>>> obj = Dict(red=1, green=2, blue=3) # this object is weak referencable
1158>>> r = weakref.ref(obj)
Guido van Rossum7131f842007-02-09 20:13:25 +00001159>>> print(r() is obj)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001160True
Georg Brandl9a65d582005-07-02 19:07:30 +00001161
1162>>> import weakref
1163>>> class Object:
1164... pass
1165...
1166>>> o = Object()
1167>>> r = weakref.ref(o)
1168>>> o2 = r()
1169>>> o is o2
1170True
1171>>> del o, o2
Guido van Rossum7131f842007-02-09 20:13:25 +00001172>>> print(r())
Georg Brandl9a65d582005-07-02 19:07:30 +00001173None
1174
1175>>> import weakref
1176>>> class ExtendedRef(weakref.ref):
1177... def __init__(self, ob, callback=None, **annotations):
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001178... super().__init__(ob, callback)
Georg Brandl9a65d582005-07-02 19:07:30 +00001179... self.__counter = 0
Guido van Rossumcc2b0162007-02-11 06:12:03 +00001180... for k, v in annotations.items():
Georg Brandl9a65d582005-07-02 19:07:30 +00001181... setattr(self, k, v)
1182... def __call__(self):
1183... '''Return a pair containing the referent and the number of
1184... times the reference has been called.
1185... '''
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001186... ob = super().__call__()
Georg Brandl9a65d582005-07-02 19:07:30 +00001187... if ob is not None:
1188... self.__counter += 1
1189... ob = (ob, self.__counter)
1190... return ob
Guido van Rossumd8faa362007-04-27 19:54:29 +00001191...
Georg Brandl9a65d582005-07-02 19:07:30 +00001192>>> class A: # not in docs from here, just testing the ExtendedRef
1193... pass
1194...
1195>>> a = A()
1196>>> r = ExtendedRef(a, foo=1, bar="baz")
1197>>> r.foo
11981
1199>>> r.bar
1200'baz'
1201>>> r()[1]
12021
1203>>> r()[1]
12042
1205>>> r()[0] is a
1206True
1207
1208
1209>>> import weakref
1210>>> _id2obj_dict = weakref.WeakValueDictionary()
1211>>> def remember(obj):
1212... oid = id(obj)
1213... _id2obj_dict[oid] = obj
1214... return oid
1215...
1216>>> def id2obj(oid):
1217... return _id2obj_dict[oid]
1218...
1219>>> a = A() # from here, just testing
1220>>> a_id = remember(a)
1221>>> id2obj(a_id) is a
1222True
1223>>> del a
1224>>> try:
1225... id2obj(a_id)
1226... except KeyError:
Guido van Rossum7131f842007-02-09 20:13:25 +00001227... print('OK')
Georg Brandl9a65d582005-07-02 19:07:30 +00001228... else:
Guido van Rossum7131f842007-02-09 20:13:25 +00001229... print('WeakValueDictionary error')
Georg Brandl9a65d582005-07-02 19:07:30 +00001230OK
1231
1232"""
1233
1234__test__ = {'libreftest' : libreftest}
1235
Fred Drake2e2be372001-09-20 21:33:42 +00001236def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001237 support.run_unittest(
Walter Dörwald21d3a322003-05-01 17:45:56 +00001238 ReferencesTestCase,
1239 MappingTestCase,
1240 WeakValueDictionaryTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001241 WeakKeyDictionaryTestCase,
Amaury Forgeot d'Arcc856c7a2008-06-16 19:50:09 +00001242 SubclassableWeakrefTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001243 )
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001244 support.run_doctest(sys.modules[__name__])
Fred Drake2e2be372001-09-20 21:33:42 +00001245
1246
1247if __name__ == "__main__":
1248 test_main()