blob: 67abd0d29ee89814c273ac86e4413b09994e1d22 [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
Fred Drake5935ff02001-12-19 16:54:23 +00004import UserList
Fred Drake41deb1e2001-02-01 05:27:45 +00005import weakref
Georg Brandl88659b02008-05-20 08:40:43 +00006import operator
Fred Drake41deb1e2001-02-01 05:27:45 +00007
Barry Warsaw04f357c2002-07-23 19:04:11 +00008from test import test_support
Fred Drake41deb1e2001-02-01 05:27:45 +00009
Brett Cannonf5bee302007-01-23 23:21:22 +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
32def create_unbound_method():
33 return C.method
Fred Drake41deb1e2001-02-01 05:27:45 +000034
35
Fred Drakeb0fefc52001-03-23 04:22:45 +000036class TestBase(unittest.TestCase):
37
38 def setUp(self):
39 self.cbcalled = 0
40
41 def callback(self, ref):
42 self.cbcalled += 1
Fred Drake41deb1e2001-02-01 05:27:45 +000043
44
Fred Drakeb0fefc52001-03-23 04:22:45 +000045class ReferencesTestCase(TestBase):
Fred Drake41deb1e2001-02-01 05:27:45 +000046
Fred Drakeb0fefc52001-03-23 04:22:45 +000047 def test_basic_ref(self):
48 self.check_basic_ref(C)
49 self.check_basic_ref(create_function)
50 self.check_basic_ref(create_bound_method)
51 self.check_basic_ref(create_unbound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000052
Fred Drake43735da2002-04-11 03:59:42 +000053 # Just make sure the tp_repr handler doesn't raise an exception.
54 # Live reference:
55 o = C()
56 wr = weakref.ref(o)
Senthil Kumarance8e33a2010-01-08 19:04:16 +000057 `wr`
Fred Drake43735da2002-04-11 03:59:42 +000058 # Dead reference:
59 del o
Senthil Kumarance8e33a2010-01-08 19:04:16 +000060 `wr`
Fred Drake43735da2002-04-11 03:59:42 +000061
Fred Drakeb0fefc52001-03-23 04:22:45 +000062 def test_basic_callback(self):
63 self.check_basic_callback(C)
64 self.check_basic_callback(create_function)
65 self.check_basic_callback(create_bound_method)
66 self.check_basic_callback(create_unbound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000067
Fred Drakeb0fefc52001-03-23 04:22:45 +000068 def test_multiple_callbacks(self):
69 o = C()
70 ref1 = weakref.ref(o, self.callback)
71 ref2 = weakref.ref(o, self.callback)
72 del o
Benjamin Peterson5c8da862009-06-30 22:57:08 +000073 self.assertTrue(ref1() is None,
Fred Drakeb0fefc52001-03-23 04:22:45 +000074 "expected reference to be invalidated")
Benjamin Peterson5c8da862009-06-30 22:57:08 +000075 self.assertTrue(ref2() is None,
Fred Drakeb0fefc52001-03-23 04:22:45 +000076 "expected reference to be invalidated")
Benjamin Peterson5c8da862009-06-30 22:57:08 +000077 self.assertTrue(self.cbcalled == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +000078 "callback not called the right number of times")
Fred Drake41deb1e2001-02-01 05:27:45 +000079
Fred Drake705088e2001-04-13 17:18:15 +000080 def test_multiple_selfref_callbacks(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +000081 # Make sure all references are invalidated before callbacks are called
Fred Drake705088e2001-04-13 17:18:15 +000082 #
83 # What's important here is that we're using the first
84 # reference in the callback invoked on the second reference
85 # (the most recently created ref is cleaned up first). This
86 # tests that all references to the object are invalidated
87 # before any of the callbacks are invoked, so that we only
88 # have one invocation of _weakref.c:cleanup_helper() active
89 # for a particular object at a time.
90 #
91 def callback(object, self=self):
92 self.ref()
93 c = C()
94 self.ref = weakref.ref(c, callback)
95 ref1 = weakref.ref(c, callback)
96 del c
97
Fred Drakeb0fefc52001-03-23 04:22:45 +000098 def test_proxy_ref(self):
99 o = C()
100 o.bar = 1
101 ref1 = weakref.proxy(o, self.callback)
102 ref2 = weakref.proxy(o, self.callback)
103 del o
Fred Drake41deb1e2001-02-01 05:27:45 +0000104
Fred Drakeb0fefc52001-03-23 04:22:45 +0000105 def check(proxy):
106 proxy.bar
Fred Drake41deb1e2001-02-01 05:27:45 +0000107
Fred Drakeb0fefc52001-03-23 04:22:45 +0000108 self.assertRaises(weakref.ReferenceError, check, ref1)
109 self.assertRaises(weakref.ReferenceError, check, ref2)
Neal Norwitzbdcb9412004-07-08 01:22:31 +0000110 self.assertRaises(weakref.ReferenceError, bool, weakref.proxy(C()))
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000111 self.assertTrue(self.cbcalled == 2)
Fred Drake41deb1e2001-02-01 05:27:45 +0000112
Fred Drakeb0fefc52001-03-23 04:22:45 +0000113 def check_basic_ref(self, factory):
114 o = factory()
115 ref = weakref.ref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000116 self.assertTrue(ref() is not None,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000117 "weak reference to live object should be live")
118 o2 = ref()
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000119 self.assertTrue(o is o2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000120 "<ref>() should return original object if live")
Fred Drake41deb1e2001-02-01 05:27:45 +0000121
Fred Drakeb0fefc52001-03-23 04:22:45 +0000122 def check_basic_callback(self, factory):
123 self.cbcalled = 0
124 o = factory()
125 ref = weakref.ref(o, self.callback)
126 del o
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000127 self.assertTrue(self.cbcalled == 1,
Fred Drake705088e2001-04-13 17:18:15 +0000128 "callback did not properly set 'cbcalled'")
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000129 self.assertTrue(ref() is None,
Fred Drake705088e2001-04-13 17:18:15 +0000130 "ref2 should be dead after deleting object reference")
Fred Drake41deb1e2001-02-01 05:27:45 +0000131
Fred Drakeb0fefc52001-03-23 04:22:45 +0000132 def test_ref_reuse(self):
133 o = C()
134 ref1 = weakref.ref(o)
135 # create a proxy to make sure that there's an intervening creation
136 # between these two; it should make no difference
137 proxy = weakref.proxy(o)
138 ref2 = weakref.ref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000139 self.assertTrue(ref1 is ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000140 "reference object w/out callback should be re-used")
Fred Drake41deb1e2001-02-01 05:27:45 +0000141
Fred Drakeb0fefc52001-03-23 04:22:45 +0000142 o = C()
143 proxy = weakref.proxy(o)
144 ref1 = weakref.ref(o)
145 ref2 = weakref.ref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000146 self.assertTrue(ref1 is ref2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000147 "reference object w/out callback should be re-used")
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000148 self.assertTrue(weakref.getweakrefcount(o) == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000149 "wrong weak ref count for object")
150 del proxy
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000151 self.assertTrue(weakref.getweakrefcount(o) == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000152 "wrong weak ref count for object after deleting proxy")
Fred Drake41deb1e2001-02-01 05:27:45 +0000153
Fred Drakeb0fefc52001-03-23 04:22:45 +0000154 def test_proxy_reuse(self):
155 o = C()
156 proxy1 = weakref.proxy(o)
157 ref = weakref.ref(o)
158 proxy2 = weakref.proxy(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000159 self.assertTrue(proxy1 is proxy2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000160 "proxy object w/out callback should have been re-used")
161
162 def test_basic_proxy(self):
163 o = C()
164 self.check_proxy(o, weakref.proxy(o))
165
Fred Drake5935ff02001-12-19 16:54:23 +0000166 L = UserList.UserList()
167 p = weakref.proxy(L)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000168 self.assertFalse(p, "proxy for empty UserList should be false")
Fred Drake5935ff02001-12-19 16:54:23 +0000169 p.append(12)
170 self.assertEqual(len(L), 1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000171 self.assertTrue(p, "proxy for non-empty UserList should be true")
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000172 p[:] = [2, 3]
Fred Drake5935ff02001-12-19 16:54:23 +0000173 self.assertEqual(len(L), 2)
174 self.assertEqual(len(p), 2)
Ezio Melottiaa980582010-01-23 23:04:36 +0000175 self.assertIn(3, p, "proxy didn't support __contains__() properly")
Fred Drake5935ff02001-12-19 16:54:23 +0000176 p[1] = 5
177 self.assertEqual(L[1], 5)
178 self.assertEqual(p[1], 5)
179 L2 = UserList.UserList(L)
180 p2 = weakref.proxy(L2)
181 self.assertEqual(p, p2)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000182 ## self.assertEqual(repr(L2), repr(p2))
Fred Drake43735da2002-04-11 03:59:42 +0000183 L3 = UserList.UserList(range(10))
184 p3 = weakref.proxy(L3)
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000185 self.assertEqual(L3[:], p3[:])
186 self.assertEqual(L3[5:], p3[5:])
187 self.assertEqual(L3[:5], p3[:5])
188 self.assertEqual(L3[2:5], p3[2:5])
Fred Drake5935ff02001-12-19 16:54:23 +0000189
Benjamin Petersondc3c2392009-11-19 03:00:02 +0000190 def test_proxy_unicode(self):
191 # See bug 5037
192 class C(object):
193 def __str__(self):
194 return "string"
195 def __unicode__(self):
196 return u"unicode"
197 instance = C()
Ezio Melottiaa980582010-01-23 23:04:36 +0000198 self.assertIn("__unicode__", dir(weakref.proxy(instance)))
Benjamin Petersondc3c2392009-11-19 03:00:02 +0000199 self.assertEqual(unicode(weakref.proxy(instance)), u"unicode")
200
Georg Brandl88659b02008-05-20 08:40:43 +0000201 def test_proxy_index(self):
202 class C:
203 def __index__(self):
204 return 10
205 o = C()
206 p = weakref.proxy(o)
207 self.assertEqual(operator.index(p), 10)
208
209 def test_proxy_div(self):
210 class C:
211 def __floordiv__(self, other):
212 return 42
213 def __ifloordiv__(self, other):
214 return 21
215 o = C()
216 p = weakref.proxy(o)
217 self.assertEqual(p // 5, 42)
218 p //= 5
219 self.assertEqual(p, 21)
220
Fred Drakeea2adc92004-02-03 19:56:46 +0000221 # The PyWeakref_* C API is documented as allowing either NULL or
222 # None as the value for the callback, where either means "no
223 # callback". The "no callback" ref and proxy objects are supposed
224 # to be shared so long as they exist by all callers so long as
Walter Dörwaldda1ad322006-12-12 21:55:31 +0000225 # they are active. In Python 2.3.3 and earlier, this guarantee
Fred Drakeea2adc92004-02-03 19:56:46 +0000226 # was not honored, and was broken in different ways for
227 # PyWeakref_NewRef() and PyWeakref_NewProxy(). (Two tests.)
228
229 def test_shared_ref_without_callback(self):
230 self.check_shared_without_callback(weakref.ref)
231
232 def test_shared_proxy_without_callback(self):
233 self.check_shared_without_callback(weakref.proxy)
234
235 def check_shared_without_callback(self, makeref):
236 o = Object(1)
237 p1 = makeref(o, None)
238 p2 = makeref(o, None)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000239 self.assertTrue(p1 is p2, "both callbacks were None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000240 del p1, p2
241 p1 = makeref(o)
242 p2 = makeref(o, None)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000243 self.assertTrue(p1 is p2, "callbacks were NULL, None in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000244 del p1, p2
245 p1 = makeref(o)
246 p2 = makeref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000247 self.assertTrue(p1 is p2, "both callbacks were NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000248 del p1, p2
249 p1 = makeref(o, None)
250 p2 = makeref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000251 self.assertTrue(p1 is p2, "callbacks were None, NULL in the C API")
Fred Drakeea2adc92004-02-03 19:56:46 +0000252
Fred Drakeb0fefc52001-03-23 04:22:45 +0000253 def test_callable_proxy(self):
254 o = Callable()
255 ref1 = weakref.proxy(o)
256
257 self.check_proxy(o, ref1)
258
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000259 self.assertTrue(type(ref1) is weakref.CallableProxyType,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000260 "proxy is not of callable type")
261 ref1('twinkies!')
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000262 self.assertTrue(o.bar == 'twinkies!',
Fred Drakeb0fefc52001-03-23 04:22:45 +0000263 "call through proxy not passed through to original")
Fred Drake3bb4d212001-10-18 19:28:29 +0000264 ref1(x='Splat.')
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000265 self.assertTrue(o.bar == 'Splat.',
Fred Drake3bb4d212001-10-18 19:28:29 +0000266 "call through proxy not passed through to original")
Fred Drakeb0fefc52001-03-23 04:22:45 +0000267
268 # expect due to too few args
269 self.assertRaises(TypeError, ref1)
270
271 # expect due to too many args
272 self.assertRaises(TypeError, ref1, 1, 2, 3)
273
274 def check_proxy(self, o, proxy):
275 o.foo = 1
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000276 self.assertTrue(proxy.foo == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000277 "proxy does not reflect attribute addition")
278 o.foo = 2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000279 self.assertTrue(proxy.foo == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000280 "proxy does not reflect attribute modification")
281 del o.foo
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000282 self.assertTrue(not hasattr(proxy, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000283 "proxy does not reflect attribute removal")
284
285 proxy.foo = 1
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000286 self.assertTrue(o.foo == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000287 "object does not reflect attribute addition via proxy")
288 proxy.foo = 2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000289 self.assertTrue(
Fred Drakeb0fefc52001-03-23 04:22:45 +0000290 o.foo == 2,
291 "object does not reflect attribute modification via proxy")
292 del proxy.foo
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000293 self.assertTrue(not hasattr(o, 'foo'),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000294 "object does not reflect attribute removal via proxy")
295
Raymond Hettingerd693a812003-06-30 04:18:48 +0000296 def test_proxy_deletion(self):
297 # Test clearing of SF bug #762891
298 class Foo:
299 result = None
300 def __delitem__(self, accessor):
301 self.result = accessor
302 g = Foo()
303 f = weakref.proxy(g)
304 del f[0]
305 self.assertEqual(f.result, 0)
306
Raymond Hettingere6c470f2005-03-27 03:04:54 +0000307 def test_proxy_bool(self):
308 # Test clearing of SF bug #1170766
309 class List(list): pass
310 lyst = List()
311 self.assertEqual(bool(weakref.proxy(lyst)), bool(lyst))
312
Fred Drakeb0fefc52001-03-23 04:22:45 +0000313 def test_getweakrefcount(self):
314 o = C()
315 ref1 = weakref.ref(o)
316 ref2 = weakref.ref(o, self.callback)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000317 self.assertTrue(weakref.getweakrefcount(o) == 2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000318 "got wrong number of weak reference objects")
319
320 proxy1 = weakref.proxy(o)
321 proxy2 = weakref.proxy(o, self.callback)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000322 self.assertTrue(weakref.getweakrefcount(o) == 4,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000323 "got wrong number of weak reference objects")
324
Fred Drakeea2adc92004-02-03 19:56:46 +0000325 del ref1, ref2, proxy1, proxy2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000326 self.assertTrue(weakref.getweakrefcount(o) == 0,
Fred Drakeea2adc92004-02-03 19:56:46 +0000327 "weak reference objects not unlinked from"
328 " referent when discarded.")
329
Walter Dörwaldb167b042003-12-11 12:34:05 +0000330 # assumes ints do not support weakrefs
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000331 self.assertTrue(weakref.getweakrefcount(1) == 0,
Walter Dörwaldb167b042003-12-11 12:34:05 +0000332 "got wrong number of weak reference objects for int")
333
Fred Drakeb0fefc52001-03-23 04:22:45 +0000334 def test_getweakrefs(self):
335 o = C()
336 ref1 = weakref.ref(o, self.callback)
337 ref2 = weakref.ref(o, self.callback)
338 del ref1
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000339 self.assertTrue(weakref.getweakrefs(o) == [ref2],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000340 "list of refs does not match")
341
342 o = C()
343 ref1 = weakref.ref(o, self.callback)
344 ref2 = weakref.ref(o, self.callback)
345 del ref2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000346 self.assertTrue(weakref.getweakrefs(o) == [ref1],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000347 "list of refs does not match")
348
Fred Drakeea2adc92004-02-03 19:56:46 +0000349 del ref1
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000350 self.assertTrue(weakref.getweakrefs(o) == [],
Fred Drakeea2adc92004-02-03 19:56:46 +0000351 "list of refs not cleared")
352
Walter Dörwaldb167b042003-12-11 12:34:05 +0000353 # assumes ints do not support weakrefs
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000354 self.assertTrue(weakref.getweakrefs(1) == [],
Walter Dörwaldb167b042003-12-11 12:34:05 +0000355 "list of refs does not match for int")
356
Fred Drake39c27f12001-10-18 18:06:05 +0000357 def test_newstyle_number_ops(self):
358 class F(float):
359 pass
360 f = F(2.0)
361 p = weakref.proxy(f)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000362 self.assertTrue(p + 1.0 == 3.0)
363 self.assertTrue(1.0 + p == 3.0) # this used to SEGV
Fred Drake39c27f12001-10-18 18:06:05 +0000364
Fred Drake2a64f462001-12-10 23:46:02 +0000365 def test_callbacks_protected(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +0000366 # Callbacks protected from already-set exceptions?
Fred Drake2a64f462001-12-10 23:46:02 +0000367 # Regression test for SF bug #478534.
368 class BogusError(Exception):
369 pass
370 data = {}
371 def remove(k):
372 del data[k]
373 def encapsulate():
374 f = lambda : ()
375 data[weakref.ref(f, remove)] = None
376 raise BogusError
377 try:
378 encapsulate()
379 except BogusError:
380 pass
381 else:
382 self.fail("exception not properly restored")
383 try:
384 encapsulate()
385 except BogusError:
386 pass
387 else:
388 self.fail("exception not properly restored")
389
Tim Petersadd09b42003-11-12 20:43:28 +0000390 def test_sf_bug_840829(self):
391 # "weakref callbacks and gc corrupt memory"
392 # subtype_dealloc erroneously exposed a new-style instance
393 # already in the process of getting deallocated to gc,
394 # causing double-deallocation if the instance had a weakref
395 # callback that triggered gc.
396 # If the bug exists, there probably won't be an obvious symptom
397 # in a release build. In a debug build, a segfault will occur
398 # when the second attempt to remove the instance from the "list
399 # of all objects" occurs.
400
401 import gc
402
403 class C(object):
404 pass
405
406 c = C()
407 wr = weakref.ref(c, lambda ignore: gc.collect())
408 del c
409
Tim Petersf7f9e992003-11-13 21:59:32 +0000410 # There endeth the first part. It gets worse.
411 del wr
412
413 c1 = C()
414 c1.i = C()
415 wr = weakref.ref(c1.i, lambda ignore: gc.collect())
416
417 c2 = C()
418 c2.c1 = c1
419 del c1 # still alive because c2 points to it
420
421 # Now when subtype_dealloc gets called on c2, it's not enough just
422 # that c2 is immune from gc while the weakref callbacks associated
423 # with c2 execute (there are none in this 2nd half of the test, btw).
424 # subtype_dealloc goes on to call the base classes' deallocs too,
425 # so any gc triggered by weakref callbacks associated with anything
426 # torn down by a base class dealloc can also trigger double
427 # deallocation of c2.
428 del c2
Fred Drake41deb1e2001-02-01 05:27:45 +0000429
Tim Peters403a2032003-11-20 21:21:46 +0000430 def test_callback_in_cycle_1(self):
431 import gc
432
433 class J(object):
434 pass
435
436 class II(object):
437 def acallback(self, ignore):
438 self.J
439
440 I = II()
441 I.J = J
442 I.wr = weakref.ref(J, I.acallback)
443
444 # Now J and II are each in a self-cycle (as all new-style class
445 # objects are, since their __mro__ points back to them). I holds
446 # both a weak reference (I.wr) and a strong reference (I.J) to class
447 # J. I is also in a cycle (I.wr points to a weakref that references
448 # I.acallback). When we del these three, they all become trash, but
449 # the cycles prevent any of them from getting cleaned up immediately.
450 # Instead they have to wait for cyclic gc to deduce that they're
451 # trash.
452 #
453 # gc used to call tp_clear on all of them, and the order in which
454 # it does that is pretty accidental. The exact order in which we
455 # built up these things manages to provoke gc into running tp_clear
456 # in just the right order (I last). Calling tp_clear on II leaves
457 # behind an insane class object (its __mro__ becomes NULL). Calling
458 # tp_clear on J breaks its self-cycle, but J doesn't get deleted
459 # just then because of the strong reference from I.J. Calling
460 # tp_clear on I starts to clear I's __dict__, and just happens to
461 # clear I.J first -- I.wr is still intact. That removes the last
462 # reference to J, which triggers the weakref callback. The callback
463 # tries to do "self.J", and instances of new-style classes look up
464 # attributes ("J") in the class dict first. The class (II) wants to
465 # search II.__mro__, but that's NULL. The result was a segfault in
466 # a release build, and an assert failure in a debug build.
467 del I, J, II
468 gc.collect()
469
470 def test_callback_in_cycle_2(self):
471 import gc
472
473 # This is just like test_callback_in_cycle_1, except that II is an
474 # old-style class. The symptom is different then: an instance of an
475 # old-style class looks in its own __dict__ first. 'J' happens to
476 # get cleared from I.__dict__ before 'wr', and 'J' was never in II's
477 # __dict__, so the attribute isn't found. The difference is that
478 # the old-style II doesn't have a NULL __mro__ (it doesn't have any
479 # __mro__), so no segfault occurs. Instead it got:
480 # test_callback_in_cycle_2 (__main__.ReferencesTestCase) ...
481 # Exception exceptions.AttributeError:
482 # "II instance has no attribute 'J'" in <bound method II.acallback
483 # of <?.II instance at 0x00B9B4B8>> ignored
484
485 class J(object):
486 pass
487
488 class II:
489 def acallback(self, ignore):
490 self.J
491
492 I = II()
493 I.J = J
494 I.wr = weakref.ref(J, I.acallback)
495
496 del I, J, II
497 gc.collect()
498
499 def test_callback_in_cycle_3(self):
500 import gc
501
502 # This one broke the first patch that fixed the last two. In this
503 # case, the objects reachable from the callback aren't also reachable
504 # from the object (c1) *triggering* the callback: you can get to
505 # c1 from c2, but not vice-versa. The result was that c2's __dict__
506 # got tp_clear'ed by the time the c2.cb callback got invoked.
507
508 class C:
509 def cb(self, ignore):
510 self.me
511 self.c1
512 self.wr
513
514 c1, c2 = C(), C()
515
516 c2.me = c2
517 c2.c1 = c1
518 c2.wr = weakref.ref(c1, c2.cb)
519
520 del c1, c2
521 gc.collect()
522
523 def test_callback_in_cycle_4(self):
524 import gc
525
526 # Like test_callback_in_cycle_3, except c2 and c1 have different
527 # classes. c2's class (C) isn't reachable from c1 then, so protecting
528 # objects reachable from the dying object (c1) isn't enough to stop
529 # c2's class (C) from getting tp_clear'ed before c2.cb is invoked.
530 # The result was a segfault (C.__mro__ was NULL when the callback
531 # tried to look up self.me).
532
533 class C(object):
534 def cb(self, ignore):
535 self.me
536 self.c1
537 self.wr
538
539 class D:
540 pass
541
542 c1, c2 = D(), C()
543
544 c2.me = c2
545 c2.c1 = c1
546 c2.wr = weakref.ref(c1, c2.cb)
547
548 del c1, c2, C, D
549 gc.collect()
550
551 def test_callback_in_cycle_resurrection(self):
552 import gc
553
554 # Do something nasty in a weakref callback: resurrect objects
555 # from dead cycles. For this to be attempted, the weakref and
556 # its callback must also be part of the cyclic trash (else the
557 # objects reachable via the callback couldn't be in cyclic trash
558 # to begin with -- the callback would act like an external root).
559 # But gc clears trash weakrefs with callbacks early now, which
560 # disables the callbacks, so the callbacks shouldn't get called
561 # at all (and so nothing actually gets resurrected).
562
563 alist = []
564 class C(object):
565 def __init__(self, value):
566 self.attribute = value
567
568 def acallback(self, ignore):
569 alist.append(self.c)
570
571 c1, c2 = C(1), C(2)
572 c1.c = c2
573 c2.c = c1
574 c1.wr = weakref.ref(c2, c1.acallback)
575 c2.wr = weakref.ref(c1, c2.acallback)
576
577 def C_went_away(ignore):
578 alist.append("C went away")
579 wr = weakref.ref(C, C_went_away)
580
581 del c1, c2, C # make them all trash
582 self.assertEqual(alist, []) # del isn't enough to reclaim anything
583
584 gc.collect()
585 # c1.wr and c2.wr were part of the cyclic trash, so should have
586 # been cleared without their callbacks executing. OTOH, the weakref
587 # to C is bound to a function local (wr), and wasn't trash, so that
588 # callback should have been invoked when C went away.
589 self.assertEqual(alist, ["C went away"])
590 # The remaining weakref should be dead now (its callback ran).
591 self.assertEqual(wr(), None)
592
593 del alist[:]
594 gc.collect()
595 self.assertEqual(alist, [])
596
597 def test_callbacks_on_callback(self):
598 import gc
599
600 # Set up weakref callbacks *on* weakref callbacks.
601 alist = []
602 def safe_callback(ignore):
603 alist.append("safe_callback called")
604
605 class C(object):
606 def cb(self, ignore):
607 alist.append("cb called")
608
609 c, d = C(), C()
610 c.other = d
611 d.other = c
612 callback = c.cb
613 c.wr = weakref.ref(d, callback) # this won't trigger
614 d.wr = weakref.ref(callback, d.cb) # ditto
615 external_wr = weakref.ref(callback, safe_callback) # but this will
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000616 self.assertTrue(external_wr() is callback)
Tim Peters403a2032003-11-20 21:21:46 +0000617
618 # The weakrefs attached to c and d should get cleared, so that
619 # C.cb is never called. But external_wr isn't part of the cyclic
620 # trash, and no cyclic trash is reachable from it, so safe_callback
621 # should get invoked when the bound method object callback (c.cb)
622 # -- which is itself a callback, and also part of the cyclic trash --
623 # gets reclaimed at the end of gc.
624
625 del callback, c, d, C
626 self.assertEqual(alist, []) # del isn't enough to clean up cycles
627 gc.collect()
628 self.assertEqual(alist, ["safe_callback called"])
629 self.assertEqual(external_wr(), None)
630
631 del alist[:]
632 gc.collect()
633 self.assertEqual(alist, [])
634
Fred Drakebc875f52004-02-04 23:14:14 +0000635 def test_gc_during_ref_creation(self):
636 self.check_gc_during_creation(weakref.ref)
637
638 def test_gc_during_proxy_creation(self):
639 self.check_gc_during_creation(weakref.proxy)
640
641 def check_gc_during_creation(self, makeref):
642 thresholds = gc.get_threshold()
643 gc.set_threshold(1, 1, 1)
644 gc.collect()
Fred Drake55cf4342004-02-13 19:21:57 +0000645 class A:
646 pass
Fred Drakebc875f52004-02-04 23:14:14 +0000647
648 def callback(*args):
649 pass
650
Fred Drake55cf4342004-02-13 19:21:57 +0000651 referenced = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000652
Fred Drake55cf4342004-02-13 19:21:57 +0000653 a = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000654 a.a = a
655 a.wr = makeref(referenced)
656
657 try:
658 # now make sure the object and the ref get labeled as
659 # cyclic trash:
Fred Drake55cf4342004-02-13 19:21:57 +0000660 a = A()
661 weakref.ref(referenced, callback)
Fred Drakebc875f52004-02-04 23:14:14 +0000662
663 finally:
664 gc.set_threshold(*thresholds)
665
Brett Cannonf5bee302007-01-23 23:21:22 +0000666 def test_ref_created_during_del(self):
667 # Bug #1377858
668 # A weakref created in an object's __del__() would crash the
669 # interpreter when the weakref was cleaned up since it would refer to
670 # non-existent memory. This test should not segfault the interpreter.
671 class Target(object):
672 def __del__(self):
673 global ref_from_del
674 ref_from_del = weakref.ref(self)
675
676 w = Target()
677
Benjamin Peterson97179b02008-09-09 20:55:01 +0000678 def test_init(self):
679 # Issue 3634
680 # <weakref to class>.__init__() doesn't check errors correctly
681 r = weakref.ref(Exception)
682 self.assertRaises(TypeError, r.__init__, 0, 0, 0, 0, 0)
683 # No exception should be raised here
684 gc.collect()
685
Fred Drake0a4dd392004-07-02 18:57:45 +0000686
Amaury Forgeot d'Arca8919fe2008-06-16 19:12:42 +0000687class SubclassableWeakrefTestCase(TestBase):
Fred Drake0a4dd392004-07-02 18:57:45 +0000688
689 def test_subclass_refs(self):
690 class MyRef(weakref.ref):
691 def __init__(self, ob, callback=None, value=42):
692 self.value = value
693 super(MyRef, self).__init__(ob, callback)
694 def __call__(self):
695 self.called = True
696 return super(MyRef, self).__call__()
697 o = Object("foo")
698 mr = MyRef(o, value=24)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000699 self.assertTrue(mr() is o)
700 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000701 self.assertEqual(mr.value, 24)
702 del o
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000703 self.assertTrue(mr() is None)
704 self.assertTrue(mr.called)
Fred Drake0a4dd392004-07-02 18:57:45 +0000705
706 def test_subclass_refs_dont_replace_standard_refs(self):
707 class MyRef(weakref.ref):
708 pass
709 o = Object(42)
710 r1 = MyRef(o)
711 r2 = weakref.ref(o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000712 self.assertTrue(r1 is not r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000713 self.assertEqual(weakref.getweakrefs(o), [r2, r1])
714 self.assertEqual(weakref.getweakrefcount(o), 2)
715 r3 = MyRef(o)
716 self.assertEqual(weakref.getweakrefcount(o), 3)
717 refs = weakref.getweakrefs(o)
718 self.assertEqual(len(refs), 3)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000719 self.assertTrue(r2 is refs[0])
Ezio Melottiaa980582010-01-23 23:04:36 +0000720 self.assertIn(r1, refs[1:])
721 self.assertIn(r3, refs[1:])
Fred Drake0a4dd392004-07-02 18:57:45 +0000722
723 def test_subclass_refs_dont_conflate_callbacks(self):
724 class MyRef(weakref.ref):
725 pass
726 o = Object(42)
727 r1 = MyRef(o, id)
728 r2 = MyRef(o, str)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000729 self.assertTrue(r1 is not r2)
Fred Drake0a4dd392004-07-02 18:57:45 +0000730 refs = weakref.getweakrefs(o)
Ezio Melottiaa980582010-01-23 23:04:36 +0000731 self.assertIn(r1, refs)
732 self.assertIn(r2, refs)
Fred Drake0a4dd392004-07-02 18:57:45 +0000733
734 def test_subclass_refs_with_slots(self):
735 class MyRef(weakref.ref):
736 __slots__ = "slot1", "slot2"
737 def __new__(type, ob, callback, slot1, slot2):
738 return weakref.ref.__new__(type, ob, callback)
739 def __init__(self, ob, callback, slot1, slot2):
740 self.slot1 = slot1
741 self.slot2 = slot2
742 def meth(self):
743 return self.slot1 + self.slot2
744 o = Object(42)
745 r = MyRef(o, None, "abc", "def")
746 self.assertEqual(r.slot1, "abc")
747 self.assertEqual(r.slot2, "def")
748 self.assertEqual(r.meth(), "abcdef")
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000749 self.assertFalse(hasattr(r, "__dict__"))
Fred Drake0a4dd392004-07-02 18:57:45 +0000750
Amaury Forgeot d'Arca8919fe2008-06-16 19:12:42 +0000751 def test_subclass_refs_with_cycle(self):
752 # Bug #3110
753 # An instance of a weakref subclass can have attributes.
754 # If such a weakref holds the only strong reference to the object,
755 # deleting the weakref will delete the object. In this case,
756 # the callback must not be called, because the ref object is
757 # being deleted.
758 class MyRef(weakref.ref):
759 pass
760
761 # Use a local callback, for "regrtest -R::"
762 # to detect refcounting problems
763 def callback(w):
764 self.cbcalled += 1
765
766 o = C()
767 r1 = MyRef(o, callback)
768 r1.o = o
769 del o
770
771 del r1 # Used to crash here
772
773 self.assertEqual(self.cbcalled, 0)
774
775 # Same test, with two weakrefs to the same object
776 # (since code paths are different)
777 o = C()
778 r1 = MyRef(o, callback)
779 r2 = MyRef(o, callback)
780 r1.r = r2
781 r2.o = o
782 del o
783 del r2
784
785 del r1 # Used to crash here
786
787 self.assertEqual(self.cbcalled, 0)
788
Fred Drake0a4dd392004-07-02 18:57:45 +0000789
Fred Drake41deb1e2001-02-01 05:27:45 +0000790class Object:
791 def __init__(self, arg):
792 self.arg = arg
793 def __repr__(self):
794 return "<Object %r>" % self.arg
795
Fred Drake41deb1e2001-02-01 05:27:45 +0000796
Fred Drakeb0fefc52001-03-23 04:22:45 +0000797class MappingTestCase(TestBase):
Martin v. Löwis5e163332001-02-27 18:36:56 +0000798
Fred Drakeb0fefc52001-03-23 04:22:45 +0000799 COUNT = 10
800
801 def test_weak_values(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000802 #
803 # This exercises d.copy(), d.items(), d[], del d[], len(d).
804 #
805 dict, objects = self.make_weak_valued_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000806 for o in objects:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000807 self.assertTrue(weakref.getweakrefcount(o) == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000808 "wrong number of weak references to %r!" % o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000809 self.assertTrue(o is dict[o.arg],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000810 "wrong object returned by weak dict!")
811 items1 = dict.items()
812 items2 = dict.copy().items()
813 items1.sort()
814 items2.sort()
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000815 self.assertTrue(items1 == items2,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000816 "cloning of weak-valued dictionary did not work!")
817 del items1, items2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000818 self.assertTrue(len(dict) == self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000819 del objects[0]
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000820 self.assertTrue(len(dict) == (self.COUNT - 1),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000821 "deleting object did not cause dictionary update")
822 del objects, o
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000823 self.assertTrue(len(dict) == 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000824 "deleting the values did not clear the dictionary")
Fred Drake4fd06e02001-08-03 04:11:27 +0000825 # regression on SF bug #447152:
826 dict = weakref.WeakValueDictionary()
827 self.assertRaises(KeyError, dict.__getitem__, 1)
828 dict[2] = C()
829 self.assertRaises(KeyError, dict.__getitem__, 2)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000830
831 def test_weak_keys(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000832 #
833 # This exercises d.copy(), d.items(), d[] = v, d[], del d[],
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000834 # len(d), d.has_key().
Fred Drake0e540c32001-05-02 05:44:22 +0000835 #
836 dict, objects = self.make_weak_keyed_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000837 for o in objects:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000838 self.assertTrue(weakref.getweakrefcount(o) == 1,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000839 "wrong number of weak references to %r!" % o)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000840 self.assertTrue(o.arg is dict[o],
Fred Drakeb0fefc52001-03-23 04:22:45 +0000841 "wrong object returned by weak dict!")
842 items1 = dict.items()
843 items2 = dict.copy().items()
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000844 self.assertTrue(set(items1) == set(items2),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000845 "cloning of weak-keyed dictionary did not work!")
846 del items1, items2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000847 self.assertTrue(len(dict) == self.COUNT)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000848 del objects[0]
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000849 self.assertTrue(len(dict) == (self.COUNT - 1),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000850 "deleting object did not cause dictionary update")
851 del objects, o
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000852 self.assertTrue(len(dict) == 0,
Fred Drakeb0fefc52001-03-23 04:22:45 +0000853 "deleting the keys did not clear the dictionary")
Fred Drake752eda42001-11-06 16:38:34 +0000854 o = Object(42)
855 dict[o] = "What is the meaning of the universe?"
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000856 self.assertTrue(dict.has_key(o))
857 self.assertTrue(not dict.has_key(34))
Martin v. Löwis5e163332001-02-27 18:36:56 +0000858
Fred Drake0e540c32001-05-02 05:44:22 +0000859 def test_weak_keyed_iters(self):
860 dict, objects = self.make_weak_keyed_dict()
861 self.check_iters(dict)
862
Fred Drake017e68c2006-05-02 06:53:59 +0000863 # Test keyrefs()
864 refs = dict.keyrefs()
865 self.assertEqual(len(refs), len(objects))
866 objects2 = list(objects)
867 for wr in refs:
868 ob = wr()
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000869 self.assertTrue(dict.has_key(ob))
Ezio Melottiaa980582010-01-23 23:04:36 +0000870 self.assertIn(ob, dict)
Fred Drake017e68c2006-05-02 06:53:59 +0000871 self.assertEqual(ob.arg, dict[ob])
872 objects2.remove(ob)
873 self.assertEqual(len(objects2), 0)
874
875 # Test iterkeyrefs()
876 objects2 = list(objects)
877 self.assertEqual(len(list(dict.iterkeyrefs())), len(objects))
878 for wr in dict.iterkeyrefs():
879 ob = wr()
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000880 self.assertTrue(dict.has_key(ob))
Ezio Melottiaa980582010-01-23 23:04:36 +0000881 self.assertIn(ob, dict)
Fred Drake017e68c2006-05-02 06:53:59 +0000882 self.assertEqual(ob.arg, dict[ob])
883 objects2.remove(ob)
884 self.assertEqual(len(objects2), 0)
885
Fred Drake0e540c32001-05-02 05:44:22 +0000886 def test_weak_valued_iters(self):
887 dict, objects = self.make_weak_valued_dict()
888 self.check_iters(dict)
889
Fred Drake017e68c2006-05-02 06:53:59 +0000890 # Test valuerefs()
891 refs = dict.valuerefs()
892 self.assertEqual(len(refs), len(objects))
893 objects2 = list(objects)
894 for wr in refs:
895 ob = wr()
896 self.assertEqual(ob, dict[ob.arg])
897 self.assertEqual(ob.arg, dict[ob.arg].arg)
898 objects2.remove(ob)
899 self.assertEqual(len(objects2), 0)
900
901 # Test itervaluerefs()
902 objects2 = list(objects)
903 self.assertEqual(len(list(dict.itervaluerefs())), len(objects))
904 for wr in dict.itervaluerefs():
905 ob = wr()
906 self.assertEqual(ob, dict[ob.arg])
907 self.assertEqual(ob.arg, dict[ob.arg].arg)
908 objects2.remove(ob)
909 self.assertEqual(len(objects2), 0)
910
Fred Drake0e540c32001-05-02 05:44:22 +0000911 def check_iters(self, dict):
912 # item iterator:
913 items = dict.items()
914 for item in dict.iteritems():
915 items.remove(item)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000916 self.assertTrue(len(items) == 0, "iteritems() did not touch all items")
Fred Drake0e540c32001-05-02 05:44:22 +0000917
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000918 # key iterator, via __iter__():
Fred Drake0e540c32001-05-02 05:44:22 +0000919 keys = dict.keys()
920 for k in dict:
921 keys.remove(k)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000922 self.assertTrue(len(keys) == 0, "__iter__() did not touch all keys")
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000923
924 # key iterator, via iterkeys():
925 keys = dict.keys()
926 for k in dict.iterkeys():
927 keys.remove(k)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000928 self.assertTrue(len(keys) == 0, "iterkeys() did not touch all keys")
Fred Drake0e540c32001-05-02 05:44:22 +0000929
930 # value iterator:
931 values = dict.values()
932 for v in dict.itervalues():
933 values.remove(v)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000934 self.assertTrue(len(values) == 0,
Fred Drakef425b1e2003-07-14 21:37:17 +0000935 "itervalues() did not touch all values")
Fred Drake0e540c32001-05-02 05:44:22 +0000936
Guido van Rossum009afb72002-06-10 20:00:52 +0000937 def test_make_weak_keyed_dict_from_dict(self):
938 o = Object(3)
939 dict = weakref.WeakKeyDictionary({o:364})
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000940 self.assertTrue(dict[o] == 364)
Guido van Rossum009afb72002-06-10 20:00:52 +0000941
942 def test_make_weak_keyed_dict_from_weak_keyed_dict(self):
943 o = Object(3)
944 dict = weakref.WeakKeyDictionary({o:364})
945 dict2 = weakref.WeakKeyDictionary(dict)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000946 self.assertTrue(dict[o] == 364)
Guido van Rossum009afb72002-06-10 20:00:52 +0000947
Fred Drake0e540c32001-05-02 05:44:22 +0000948 def make_weak_keyed_dict(self):
949 dict = weakref.WeakKeyDictionary()
950 objects = map(Object, range(self.COUNT))
951 for o in objects:
952 dict[o] = o.arg
953 return dict, objects
954
955 def make_weak_valued_dict(self):
956 dict = weakref.WeakValueDictionary()
957 objects = map(Object, range(self.COUNT))
958 for o in objects:
959 dict[o.arg] = o
960 return dict, objects
961
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000962 def check_popitem(self, klass, key1, value1, key2, value2):
963 weakdict = klass()
964 weakdict[key1] = value1
965 weakdict[key2] = value2
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000966 self.assertTrue(len(weakdict) == 2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000967 k, v = weakdict.popitem()
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000968 self.assertTrue(len(weakdict) == 1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000969 if k is key1:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000970 self.assertTrue(v is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000971 else:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000972 self.assertTrue(v is value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000973 k, v = weakdict.popitem()
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000974 self.assertTrue(len(weakdict) == 0)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000975 if k is key1:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000976 self.assertTrue(v is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000977 else:
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000978 self.assertTrue(v is value2)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000979
980 def test_weak_valued_dict_popitem(self):
981 self.check_popitem(weakref.WeakValueDictionary,
982 "key1", C(), "key2", C())
983
984 def test_weak_keyed_dict_popitem(self):
985 self.check_popitem(weakref.WeakKeyDictionary,
986 C(), "value 1", C(), "value 2")
987
988 def check_setdefault(self, klass, key, value1, value2):
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000989 self.assertTrue(value1 is not value2,
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000990 "invalid test"
991 " -- value parameters must be distinct objects")
992 weakdict = klass()
993 o = weakdict.setdefault(key, value1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000994 self.assertTrue(o is value1)
Senthil Kumarance8e33a2010-01-08 19:04:16 +0000995 self.assertTrue(weakdict.has_key(key))
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000996 self.assertTrue(weakdict.get(key) is value1)
997 self.assertTrue(weakdict[key] is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000998
999 o = weakdict.setdefault(key, value2)
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001000 self.assertTrue(o is value1)
Senthil Kumarance8e33a2010-01-08 19:04:16 +00001001 self.assertTrue(weakdict.has_key(key))
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001002 self.assertTrue(weakdict.get(key) is value1)
1003 self.assertTrue(weakdict[key] is value1)
Fred Drakeaaa48ff2001-05-10 17:16:38 +00001004
1005 def test_weak_valued_dict_setdefault(self):
1006 self.check_setdefault(weakref.WeakValueDictionary,
1007 "key", C(), C())
1008
1009 def test_weak_keyed_dict_setdefault(self):
1010 self.check_setdefault(weakref.WeakKeyDictionary,
1011 C(), "value 1", "value 2")
1012
Fred Drakea0a4ab12001-04-16 17:37:27 +00001013 def check_update(self, klass, dict):
Fred Drake0e540c32001-05-02 05:44:22 +00001014 #
Senthil Kumarance8e33a2010-01-08 19:04:16 +00001015 # This exercises d.update(), len(d), d.keys(), d.has_key(),
Fred Drake0e540c32001-05-02 05:44:22 +00001016 # d.get(), d[].
1017 #
Fred Drakea0a4ab12001-04-16 17:37:27 +00001018 weakdict = klass()
1019 weakdict.update(dict)
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001020 self.assertTrue(len(weakdict) == len(dict))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001021 for k in weakdict.keys():
Senthil Kumarance8e33a2010-01-08 19:04:16 +00001022 self.assertTrue(dict.has_key(k),
Fred Drakea0a4ab12001-04-16 17:37:27 +00001023 "mysterious new key appeared in weak dict")
1024 v = dict.get(k)
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001025 self.assertTrue(v is weakdict[k])
1026 self.assertTrue(v is weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001027 for k in dict.keys():
Senthil Kumarance8e33a2010-01-08 19:04:16 +00001028 self.assertTrue(weakdict.has_key(k),
Fred Drakea0a4ab12001-04-16 17:37:27 +00001029 "original key disappeared in weak dict")
1030 v = dict[k]
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001031 self.assertTrue(v is weakdict[k])
1032 self.assertTrue(v is weakdict.get(k))
Fred Drakea0a4ab12001-04-16 17:37:27 +00001033
1034 def test_weak_valued_dict_update(self):
1035 self.check_update(weakref.WeakValueDictionary,
1036 {1: C(), 'a': C(), C(): C()})
1037
1038 def test_weak_keyed_dict_update(self):
1039 self.check_update(weakref.WeakKeyDictionary,
1040 {C(): 1, C(): 2, C(): 3})
1041
Fred Drakeccc75622001-09-06 14:52:39 +00001042 def test_weak_keyed_delitem(self):
1043 d = weakref.WeakKeyDictionary()
1044 o1 = Object('1')
1045 o2 = Object('2')
1046 d[o1] = 'something'
1047 d[o2] = 'something'
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001048 self.assertTrue(len(d) == 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001049 del d[o1]
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001050 self.assertTrue(len(d) == 1)
1051 self.assertTrue(d.keys() == [o2])
Fred Drakeccc75622001-09-06 14:52:39 +00001052
1053 def test_weak_valued_delitem(self):
1054 d = weakref.WeakValueDictionary()
1055 o1 = Object('1')
1056 o2 = Object('2')
1057 d['something'] = o1
1058 d['something else'] = o2
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001059 self.assertTrue(len(d) == 2)
Fred Drakeccc75622001-09-06 14:52:39 +00001060 del d['something']
Benjamin Peterson5c8da862009-06-30 22:57:08 +00001061 self.assertTrue(len(d) == 1)
1062 self.assertTrue(d.items() == [('something else', o2)])
Fred Drakeccc75622001-09-06 14:52:39 +00001063
Tim Peters886128f2003-05-25 01:45:11 +00001064 def test_weak_keyed_bad_delitem(self):
1065 d = weakref.WeakKeyDictionary()
1066 o = Object('1')
1067 # An attempt to delete an object that isn't there should raise
Tim Peters50d8b8b2003-05-25 17:44:31 +00001068 # KeyError. It didn't before 2.3.
Tim Peters886128f2003-05-25 01:45:11 +00001069 self.assertRaises(KeyError, d.__delitem__, o)
Tim Peters50d8b8b2003-05-25 17:44:31 +00001070 self.assertRaises(KeyError, d.__getitem__, o)
1071
1072 # If a key isn't of a weakly referencable type, __getitem__ and
1073 # __setitem__ raise TypeError. __delitem__ should too.
1074 self.assertRaises(TypeError, d.__delitem__, 13)
1075 self.assertRaises(TypeError, d.__getitem__, 13)
1076 self.assertRaises(TypeError, d.__setitem__, 13, 13)
Tim Peters886128f2003-05-25 01:45:11 +00001077
1078 def test_weak_keyed_cascading_deletes(self):
1079 # SF bug 742860. For some reason, before 2.3 __delitem__ iterated
1080 # over the keys via self.data.iterkeys(). If things vanished from
1081 # the dict during this (or got added), that caused a RuntimeError.
1082
1083 d = weakref.WeakKeyDictionary()
1084 mutate = False
1085
1086 class C(object):
1087 def __init__(self, i):
1088 self.value = i
1089 def __hash__(self):
1090 return hash(self.value)
1091 def __eq__(self, other):
1092 if mutate:
1093 # Side effect that mutates the dict, by removing the
1094 # last strong reference to a key.
1095 del objs[-1]
1096 return self.value == other.value
1097
1098 objs = [C(i) for i in range(4)]
1099 for o in objs:
1100 d[o] = o.value
1101 del o # now the only strong references to keys are in objs
1102 # Find the order in which iterkeys sees the keys.
1103 objs = d.keys()
1104 # Reverse it, so that the iteration implementation of __delitem__
1105 # has to keep looping to find the first object we delete.
1106 objs.reverse()
Tim Peters50d8b8b2003-05-25 17:44:31 +00001107
Tim Peters886128f2003-05-25 01:45:11 +00001108 # Turn on mutation in C.__eq__. The first time thru the loop,
1109 # under the iterkeys() business the first comparison will delete
1110 # the last item iterkeys() would see, and that causes a
1111 # RuntimeError: dictionary changed size during iteration
1112 # when the iterkeys() loop goes around to try comparing the next
Tim Peters50d8b8b2003-05-25 17:44:31 +00001113 # key. After this was fixed, it just deletes the last object *our*
Tim Peters886128f2003-05-25 01:45:11 +00001114 # "for o in obj" loop would have gotten to.
1115 mutate = True
1116 count = 0
1117 for o in objs:
1118 count += 1
1119 del d[o]
1120 self.assertEqual(len(d), 0)
1121 self.assertEqual(count, 2)
1122
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001123from test import mapping_tests
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001124
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001125class WeakValueDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001126 """Check that WeakValueDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001127 __ref = {"key1":Object(1), "key2":Object(2), "key3":Object(3)}
Walter Dörwald118f9312004-06-02 18:42:25 +00001128 type2test = weakref.WeakValueDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001129 def _reference(self):
1130 return self.__ref.copy()
1131
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +00001132class WeakKeyDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +00001133 """Check that WeakKeyDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001134 __ref = {Object("key1"):1, Object("key2"):2, Object("key3"):3}
Walter Dörwald118f9312004-06-02 18:42:25 +00001135 type2test = weakref.WeakKeyDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +00001136 def _reference(self):
1137 return self.__ref.copy()
Martin v. Löwis5e163332001-02-27 18:36:56 +00001138
Georg Brandl88659b02008-05-20 08:40:43 +00001139libreftest = """ Doctest for examples in the library reference: weakref.rst
Georg Brandl9a65d582005-07-02 19:07:30 +00001140
1141>>> import weakref
1142>>> class Dict(dict):
1143... pass
1144...
1145>>> obj = Dict(red=1, green=2, blue=3) # this object is weak referencable
1146>>> r = weakref.ref(obj)
Armin Rigoa3f09272006-05-28 19:13:17 +00001147>>> print r() is obj
1148True
Georg Brandl9a65d582005-07-02 19:07:30 +00001149
1150>>> import weakref
1151>>> class Object:
1152... pass
1153...
1154>>> o = Object()
1155>>> r = weakref.ref(o)
1156>>> o2 = r()
1157>>> o is o2
1158True
1159>>> del o, o2
1160>>> print r()
1161None
1162
1163>>> import weakref
1164>>> class ExtendedRef(weakref.ref):
1165... def __init__(self, ob, callback=None, **annotations):
1166... super(ExtendedRef, self).__init__(ob, callback)
1167... self.__counter = 0
1168... for k, v in annotations.iteritems():
1169... setattr(self, k, v)
1170... def __call__(self):
1171... '''Return a pair containing the referent and the number of
1172... times the reference has been called.
1173... '''
1174... ob = super(ExtendedRef, self).__call__()
1175... if ob is not None:
1176... self.__counter += 1
1177... ob = (ob, self.__counter)
1178... return ob
1179...
1180>>> class A: # not in docs from here, just testing the ExtendedRef
1181... pass
1182...
1183>>> a = A()
1184>>> r = ExtendedRef(a, foo=1, bar="baz")
1185>>> r.foo
11861
1187>>> r.bar
1188'baz'
1189>>> r()[1]
11901
1191>>> r()[1]
11922
1193>>> r()[0] is a
1194True
1195
1196
1197>>> import weakref
1198>>> _id2obj_dict = weakref.WeakValueDictionary()
1199>>> def remember(obj):
1200... oid = id(obj)
1201... _id2obj_dict[oid] = obj
1202... return oid
1203...
1204>>> def id2obj(oid):
1205... return _id2obj_dict[oid]
1206...
1207>>> a = A() # from here, just testing
1208>>> a_id = remember(a)
1209>>> id2obj(a_id) is a
1210True
1211>>> del a
1212>>> try:
1213... id2obj(a_id)
1214... except KeyError:
1215... print 'OK'
1216... else:
1217... print 'WeakValueDictionary error'
1218OK
1219
1220"""
1221
1222__test__ = {'libreftest' : libreftest}
1223
Fred Drake2e2be372001-09-20 21:33:42 +00001224def test_main():
Walter Dörwald21d3a322003-05-01 17:45:56 +00001225 test_support.run_unittest(
1226 ReferencesTestCase,
1227 MappingTestCase,
1228 WeakValueDictionaryTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001229 WeakKeyDictionaryTestCase,
Amaury Forgeot d'Arca8919fe2008-06-16 19:12:42 +00001230 SubclassableWeakrefTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001231 )
Georg Brandl9a65d582005-07-02 19:07:30 +00001232 test_support.run_doctest(sys.modules[__name__])
Fred Drake2e2be372001-09-20 21:33:42 +00001233
1234
1235if __name__ == "__main__":
1236 test_main()