blob: 31e2c7f315f4d38a4edb00a056c3454d7a40331f [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
6
Barry Warsaw04f357c2002-07-23 19:04:11 +00007from test import test_support
Fred Drake41deb1e2001-02-01 05:27:45 +00008
9
10class C:
Fred Drakeb0fefc52001-03-23 04:22:45 +000011 def method(self):
12 pass
Fred Drake41deb1e2001-02-01 05:27:45 +000013
14
Fred Drakeb0fefc52001-03-23 04:22:45 +000015class Callable:
16 bar = None
Fred Drake41deb1e2001-02-01 05:27:45 +000017
Fred Drakeb0fefc52001-03-23 04:22:45 +000018 def __call__(self, x):
19 self.bar = x
Fred Drake41deb1e2001-02-01 05:27:45 +000020
21
Fred Drakeb0fefc52001-03-23 04:22:45 +000022def create_function():
23 def f(): pass
24 return f
25
26def create_bound_method():
27 return C().method
28
29def create_unbound_method():
30 return C.method
Fred Drake41deb1e2001-02-01 05:27:45 +000031
32
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)
48 self.check_basic_ref(create_unbound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000049
Fred Drake43735da2002-04-11 03:59:42 +000050 # Just make sure the tp_repr handler doesn't raise an exception.
51 # Live reference:
52 o = C()
53 wr = weakref.ref(o)
54 `wr`
55 # Dead reference:
56 del o
57 `wr`
58
Fred Drakeb0fefc52001-03-23 04:22:45 +000059 def test_basic_callback(self):
60 self.check_basic_callback(C)
61 self.check_basic_callback(create_function)
62 self.check_basic_callback(create_bound_method)
63 self.check_basic_callback(create_unbound_method)
Fred Drake41deb1e2001-02-01 05:27:45 +000064
Fred Drakeb0fefc52001-03-23 04:22:45 +000065 def test_multiple_callbacks(self):
66 o = C()
67 ref1 = weakref.ref(o, self.callback)
68 ref2 = weakref.ref(o, self.callback)
69 del o
70 self.assert_(ref1() is None,
71 "expected reference to be invalidated")
72 self.assert_(ref2() is None,
73 "expected reference to be invalidated")
74 self.assert_(self.cbcalled == 2,
75 "callback not called the right number of times")
Fred Drake41deb1e2001-02-01 05:27:45 +000076
Fred Drake705088e2001-04-13 17:18:15 +000077 def test_multiple_selfref_callbacks(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +000078 # Make sure all references are invalidated before callbacks are called
Fred Drake705088e2001-04-13 17:18:15 +000079 #
80 # What's important here is that we're using the first
81 # reference in the callback invoked on the second reference
82 # (the most recently created ref is cleaned up first). This
83 # tests that all references to the object are invalidated
84 # before any of the callbacks are invoked, so that we only
85 # have one invocation of _weakref.c:cleanup_helper() active
86 # for a particular object at a time.
87 #
88 def callback(object, self=self):
89 self.ref()
90 c = C()
91 self.ref = weakref.ref(c, callback)
92 ref1 = weakref.ref(c, callback)
93 del c
94
Fred Drakeb0fefc52001-03-23 04:22:45 +000095 def test_proxy_ref(self):
96 o = C()
97 o.bar = 1
98 ref1 = weakref.proxy(o, self.callback)
99 ref2 = weakref.proxy(o, self.callback)
100 del o
Fred Drake41deb1e2001-02-01 05:27:45 +0000101
Fred Drakeb0fefc52001-03-23 04:22:45 +0000102 def check(proxy):
103 proxy.bar
Fred Drake41deb1e2001-02-01 05:27:45 +0000104
Fred Drakeb0fefc52001-03-23 04:22:45 +0000105 self.assertRaises(weakref.ReferenceError, check, ref1)
106 self.assertRaises(weakref.ReferenceError, check, ref2)
107 self.assert_(self.cbcalled == 2)
Fred Drake41deb1e2001-02-01 05:27:45 +0000108
Fred Drakeb0fefc52001-03-23 04:22:45 +0000109 def check_basic_ref(self, factory):
110 o = factory()
111 ref = weakref.ref(o)
112 self.assert_(ref() is not None,
113 "weak reference to live object should be live")
114 o2 = ref()
115 self.assert_(o is o2,
116 "<ref>() should return original object if live")
Fred Drake41deb1e2001-02-01 05:27:45 +0000117
Fred Drakeb0fefc52001-03-23 04:22:45 +0000118 def check_basic_callback(self, factory):
119 self.cbcalled = 0
120 o = factory()
121 ref = weakref.ref(o, self.callback)
122 del o
Fred Drake705088e2001-04-13 17:18:15 +0000123 self.assert_(self.cbcalled == 1,
124 "callback did not properly set 'cbcalled'")
125 self.assert_(ref() is None,
126 "ref2 should be dead after deleting object reference")
Fred Drake41deb1e2001-02-01 05:27:45 +0000127
Fred Drakeb0fefc52001-03-23 04:22:45 +0000128 def test_ref_reuse(self):
129 o = C()
130 ref1 = weakref.ref(o)
131 # create a proxy to make sure that there's an intervening creation
132 # between these two; it should make no difference
133 proxy = weakref.proxy(o)
134 ref2 = weakref.ref(o)
135 self.assert_(ref1 is ref2,
136 "reference object w/out callback should be re-used")
Fred Drake41deb1e2001-02-01 05:27:45 +0000137
Fred Drakeb0fefc52001-03-23 04:22:45 +0000138 o = C()
139 proxy = weakref.proxy(o)
140 ref1 = weakref.ref(o)
141 ref2 = weakref.ref(o)
142 self.assert_(ref1 is ref2,
143 "reference object w/out callback should be re-used")
144 self.assert_(weakref.getweakrefcount(o) == 2,
145 "wrong weak ref count for object")
146 del proxy
147 self.assert_(weakref.getweakrefcount(o) == 1,
148 "wrong weak ref count for object after deleting proxy")
Fred Drake41deb1e2001-02-01 05:27:45 +0000149
Fred Drakeb0fefc52001-03-23 04:22:45 +0000150 def test_proxy_reuse(self):
151 o = C()
152 proxy1 = weakref.proxy(o)
153 ref = weakref.ref(o)
154 proxy2 = weakref.proxy(o)
155 self.assert_(proxy1 is proxy2,
156 "proxy object w/out callback should have been re-used")
157
158 def test_basic_proxy(self):
159 o = C()
160 self.check_proxy(o, weakref.proxy(o))
161
Fred Drake5935ff02001-12-19 16:54:23 +0000162 L = UserList.UserList()
163 p = weakref.proxy(L)
164 self.failIf(p, "proxy for empty UserList should be false")
165 p.append(12)
166 self.assertEqual(len(L), 1)
167 self.failUnless(p, "proxy for non-empty UserList should be true")
168 p[:] = [2, 3]
169 self.assertEqual(len(L), 2)
170 self.assertEqual(len(p), 2)
Fred Drakef425b1e2003-07-14 21:37:17 +0000171 self.failUnless(3 in p,
172 "proxy didn't support __contains__() properly")
Fred Drake5935ff02001-12-19 16:54:23 +0000173 p[1] = 5
174 self.assertEqual(L[1], 5)
175 self.assertEqual(p[1], 5)
176 L2 = UserList.UserList(L)
177 p2 = weakref.proxy(L2)
178 self.assertEqual(p, p2)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000179 ## self.assertEqual(repr(L2), repr(p2))
Fred Drake43735da2002-04-11 03:59:42 +0000180 L3 = UserList.UserList(range(10))
181 p3 = weakref.proxy(L3)
182 self.assertEqual(L3[:], p3[:])
183 self.assertEqual(L3[5:], p3[5:])
184 self.assertEqual(L3[:5], p3[:5])
185 self.assertEqual(L3[2:5], p3[2:5])
Fred Drake5935ff02001-12-19 16:54:23 +0000186
Fred Drakeea2adc92004-02-03 19:56:46 +0000187 # The PyWeakref_* C API is documented as allowing either NULL or
188 # None as the value for the callback, where either means "no
189 # callback". The "no callback" ref and proxy objects are supposed
190 # to be shared so long as they exist by all callers so long as
191 # they are active. In Python 2.3.3 and earlier, this guaranttee
192 # was not honored, and was broken in different ways for
193 # PyWeakref_NewRef() and PyWeakref_NewProxy(). (Two tests.)
194
195 def test_shared_ref_without_callback(self):
196 self.check_shared_without_callback(weakref.ref)
197
198 def test_shared_proxy_without_callback(self):
199 self.check_shared_without_callback(weakref.proxy)
200
201 def check_shared_without_callback(self, makeref):
202 o = Object(1)
203 p1 = makeref(o, None)
204 p2 = makeref(o, None)
205 self.assert_(p1 is p2, "both callbacks were None in the C API")
206 del p1, p2
207 p1 = makeref(o)
208 p2 = makeref(o, None)
209 self.assert_(p1 is p2, "callbacks were NULL, None in the C API")
210 del p1, p2
211 p1 = makeref(o)
212 p2 = makeref(o)
213 self.assert_(p1 is p2, "both callbacks were NULL in the C API")
214 del p1, p2
215 p1 = makeref(o, None)
216 p2 = makeref(o)
217 self.assert_(p1 is p2, "callbacks were None, NULL in the C API")
218
Fred Drakeb0fefc52001-03-23 04:22:45 +0000219 def test_callable_proxy(self):
220 o = Callable()
221 ref1 = weakref.proxy(o)
222
223 self.check_proxy(o, ref1)
224
225 self.assert_(type(ref1) is weakref.CallableProxyType,
226 "proxy is not of callable type")
227 ref1('twinkies!')
228 self.assert_(o.bar == 'twinkies!',
229 "call through proxy not passed through to original")
Fred Drake3bb4d212001-10-18 19:28:29 +0000230 ref1(x='Splat.')
231 self.assert_(o.bar == 'Splat.',
232 "call through proxy not passed through to original")
Fred Drakeb0fefc52001-03-23 04:22:45 +0000233
234 # expect due to too few args
235 self.assertRaises(TypeError, ref1)
236
237 # expect due to too many args
238 self.assertRaises(TypeError, ref1, 1, 2, 3)
239
240 def check_proxy(self, o, proxy):
241 o.foo = 1
242 self.assert_(proxy.foo == 1,
243 "proxy does not reflect attribute addition")
244 o.foo = 2
245 self.assert_(proxy.foo == 2,
246 "proxy does not reflect attribute modification")
247 del o.foo
248 self.assert_(not hasattr(proxy, 'foo'),
249 "proxy does not reflect attribute removal")
250
251 proxy.foo = 1
252 self.assert_(o.foo == 1,
253 "object does not reflect attribute addition via proxy")
254 proxy.foo = 2
255 self.assert_(
256 o.foo == 2,
257 "object does not reflect attribute modification via proxy")
258 del proxy.foo
259 self.assert_(not hasattr(o, 'foo'),
260 "object does not reflect attribute removal via proxy")
261
Raymond Hettingerd693a812003-06-30 04:18:48 +0000262 def test_proxy_deletion(self):
263 # Test clearing of SF bug #762891
264 class Foo:
265 result = None
266 def __delitem__(self, accessor):
267 self.result = accessor
268 g = Foo()
269 f = weakref.proxy(g)
270 del f[0]
271 self.assertEqual(f.result, 0)
272
Fred Drakeb0fefc52001-03-23 04:22:45 +0000273 def test_getweakrefcount(self):
274 o = C()
275 ref1 = weakref.ref(o)
276 ref2 = weakref.ref(o, self.callback)
277 self.assert_(weakref.getweakrefcount(o) == 2,
278 "got wrong number of weak reference objects")
279
280 proxy1 = weakref.proxy(o)
281 proxy2 = weakref.proxy(o, self.callback)
282 self.assert_(weakref.getweakrefcount(o) == 4,
283 "got wrong number of weak reference objects")
284
Fred Drakeea2adc92004-02-03 19:56:46 +0000285 del ref1, ref2, proxy1, proxy2
286 self.assert_(weakref.getweakrefcount(o) == 0,
287 "weak reference objects not unlinked from"
288 " referent when discarded.")
289
Walter Dörwaldb167b042003-12-11 12:34:05 +0000290 # assumes ints do not support weakrefs
291 self.assert_(weakref.getweakrefcount(1) == 0,
292 "got wrong number of weak reference objects for int")
293
Fred Drakeb0fefc52001-03-23 04:22:45 +0000294 def test_getweakrefs(self):
295 o = C()
296 ref1 = weakref.ref(o, self.callback)
297 ref2 = weakref.ref(o, self.callback)
298 del ref1
299 self.assert_(weakref.getweakrefs(o) == [ref2],
300 "list of refs does not match")
301
302 o = C()
303 ref1 = weakref.ref(o, self.callback)
304 ref2 = weakref.ref(o, self.callback)
305 del ref2
306 self.assert_(weakref.getweakrefs(o) == [ref1],
307 "list of refs does not match")
308
Fred Drakeea2adc92004-02-03 19:56:46 +0000309 del ref1
310 self.assert_(weakref.getweakrefs(o) == [],
311 "list of refs not cleared")
312
Walter Dörwaldb167b042003-12-11 12:34:05 +0000313 # assumes ints do not support weakrefs
314 self.assert_(weakref.getweakrefs(1) == [],
315 "list of refs does not match for int")
316
Fred Drake39c27f12001-10-18 18:06:05 +0000317 def test_newstyle_number_ops(self):
318 class F(float):
319 pass
320 f = F(2.0)
321 p = weakref.proxy(f)
322 self.assert_(p + 1.0 == 3.0)
323 self.assert_(1.0 + p == 3.0) # this used to SEGV
324
Fred Drake2a64f462001-12-10 23:46:02 +0000325 def test_callbacks_protected(self):
Guido van Rossum9eee5542002-08-22 20:21:30 +0000326 # Callbacks protected from already-set exceptions?
Fred Drake2a64f462001-12-10 23:46:02 +0000327 # Regression test for SF bug #478534.
328 class BogusError(Exception):
329 pass
330 data = {}
331 def remove(k):
332 del data[k]
333 def encapsulate():
334 f = lambda : ()
335 data[weakref.ref(f, remove)] = None
336 raise BogusError
337 try:
338 encapsulate()
339 except BogusError:
340 pass
341 else:
342 self.fail("exception not properly restored")
343 try:
344 encapsulate()
345 except BogusError:
346 pass
347 else:
348 self.fail("exception not properly restored")
349
Tim Petersadd09b42003-11-12 20:43:28 +0000350 def test_sf_bug_840829(self):
351 # "weakref callbacks and gc corrupt memory"
352 # subtype_dealloc erroneously exposed a new-style instance
353 # already in the process of getting deallocated to gc,
354 # causing double-deallocation if the instance had a weakref
355 # callback that triggered gc.
356 # If the bug exists, there probably won't be an obvious symptom
357 # in a release build. In a debug build, a segfault will occur
358 # when the second attempt to remove the instance from the "list
359 # of all objects" occurs.
360
361 import gc
362
363 class C(object):
364 pass
365
366 c = C()
367 wr = weakref.ref(c, lambda ignore: gc.collect())
368 del c
369
Tim Petersf7f9e992003-11-13 21:59:32 +0000370 # There endeth the first part. It gets worse.
371 del wr
372
373 c1 = C()
374 c1.i = C()
375 wr = weakref.ref(c1.i, lambda ignore: gc.collect())
376
377 c2 = C()
378 c2.c1 = c1
379 del c1 # still alive because c2 points to it
380
381 # Now when subtype_dealloc gets called on c2, it's not enough just
382 # that c2 is immune from gc while the weakref callbacks associated
383 # with c2 execute (there are none in this 2nd half of the test, btw).
384 # subtype_dealloc goes on to call the base classes' deallocs too,
385 # so any gc triggered by weakref callbacks associated with anything
386 # torn down by a base class dealloc can also trigger double
387 # deallocation of c2.
388 del c2
Fred Drake41deb1e2001-02-01 05:27:45 +0000389
Tim Peters403a2032003-11-20 21:21:46 +0000390 def test_callback_in_cycle_1(self):
391 import gc
392
393 class J(object):
394 pass
395
396 class II(object):
397 def acallback(self, ignore):
398 self.J
399
400 I = II()
401 I.J = J
402 I.wr = weakref.ref(J, I.acallback)
403
404 # Now J and II are each in a self-cycle (as all new-style class
405 # objects are, since their __mro__ points back to them). I holds
406 # both a weak reference (I.wr) and a strong reference (I.J) to class
407 # J. I is also in a cycle (I.wr points to a weakref that references
408 # I.acallback). When we del these three, they all become trash, but
409 # the cycles prevent any of them from getting cleaned up immediately.
410 # Instead they have to wait for cyclic gc to deduce that they're
411 # trash.
412 #
413 # gc used to call tp_clear on all of them, and the order in which
414 # it does that is pretty accidental. The exact order in which we
415 # built up these things manages to provoke gc into running tp_clear
416 # in just the right order (I last). Calling tp_clear on II leaves
417 # behind an insane class object (its __mro__ becomes NULL). Calling
418 # tp_clear on J breaks its self-cycle, but J doesn't get deleted
419 # just then because of the strong reference from I.J. Calling
420 # tp_clear on I starts to clear I's __dict__, and just happens to
421 # clear I.J first -- I.wr is still intact. That removes the last
422 # reference to J, which triggers the weakref callback. The callback
423 # tries to do "self.J", and instances of new-style classes look up
424 # attributes ("J") in the class dict first. The class (II) wants to
425 # search II.__mro__, but that's NULL. The result was a segfault in
426 # a release build, and an assert failure in a debug build.
427 del I, J, II
428 gc.collect()
429
430 def test_callback_in_cycle_2(self):
431 import gc
432
433 # This is just like test_callback_in_cycle_1, except that II is an
434 # old-style class. The symptom is different then: an instance of an
435 # old-style class looks in its own __dict__ first. 'J' happens to
436 # get cleared from I.__dict__ before 'wr', and 'J' was never in II's
437 # __dict__, so the attribute isn't found. The difference is that
438 # the old-style II doesn't have a NULL __mro__ (it doesn't have any
439 # __mro__), so no segfault occurs. Instead it got:
440 # test_callback_in_cycle_2 (__main__.ReferencesTestCase) ...
441 # Exception exceptions.AttributeError:
442 # "II instance has no attribute 'J'" in <bound method II.acallback
443 # of <?.II instance at 0x00B9B4B8>> ignored
444
445 class J(object):
446 pass
447
448 class II:
449 def acallback(self, ignore):
450 self.J
451
452 I = II()
453 I.J = J
454 I.wr = weakref.ref(J, I.acallback)
455
456 del I, J, II
457 gc.collect()
458
459 def test_callback_in_cycle_3(self):
460 import gc
461
462 # This one broke the first patch that fixed the last two. In this
463 # case, the objects reachable from the callback aren't also reachable
464 # from the object (c1) *triggering* the callback: you can get to
465 # c1 from c2, but not vice-versa. The result was that c2's __dict__
466 # got tp_clear'ed by the time the c2.cb callback got invoked.
467
468 class C:
469 def cb(self, ignore):
470 self.me
471 self.c1
472 self.wr
473
474 c1, c2 = C(), C()
475
476 c2.me = c2
477 c2.c1 = c1
478 c2.wr = weakref.ref(c1, c2.cb)
479
480 del c1, c2
481 gc.collect()
482
483 def test_callback_in_cycle_4(self):
484 import gc
485
486 # Like test_callback_in_cycle_3, except c2 and c1 have different
487 # classes. c2's class (C) isn't reachable from c1 then, so protecting
488 # objects reachable from the dying object (c1) isn't enough to stop
489 # c2's class (C) from getting tp_clear'ed before c2.cb is invoked.
490 # The result was a segfault (C.__mro__ was NULL when the callback
491 # tried to look up self.me).
492
493 class C(object):
494 def cb(self, ignore):
495 self.me
496 self.c1
497 self.wr
498
499 class D:
500 pass
501
502 c1, c2 = D(), C()
503
504 c2.me = c2
505 c2.c1 = c1
506 c2.wr = weakref.ref(c1, c2.cb)
507
508 del c1, c2, C, D
509 gc.collect()
510
511 def test_callback_in_cycle_resurrection(self):
512 import gc
513
514 # Do something nasty in a weakref callback: resurrect objects
515 # from dead cycles. For this to be attempted, the weakref and
516 # its callback must also be part of the cyclic trash (else the
517 # objects reachable via the callback couldn't be in cyclic trash
518 # to begin with -- the callback would act like an external root).
519 # But gc clears trash weakrefs with callbacks early now, which
520 # disables the callbacks, so the callbacks shouldn't get called
521 # at all (and so nothing actually gets resurrected).
522
523 alist = []
524 class C(object):
525 def __init__(self, value):
526 self.attribute = value
527
528 def acallback(self, ignore):
529 alist.append(self.c)
530
531 c1, c2 = C(1), C(2)
532 c1.c = c2
533 c2.c = c1
534 c1.wr = weakref.ref(c2, c1.acallback)
535 c2.wr = weakref.ref(c1, c2.acallback)
536
537 def C_went_away(ignore):
538 alist.append("C went away")
539 wr = weakref.ref(C, C_went_away)
540
541 del c1, c2, C # make them all trash
542 self.assertEqual(alist, []) # del isn't enough to reclaim anything
543
544 gc.collect()
545 # c1.wr and c2.wr were part of the cyclic trash, so should have
546 # been cleared without their callbacks executing. OTOH, the weakref
547 # to C is bound to a function local (wr), and wasn't trash, so that
548 # callback should have been invoked when C went away.
549 self.assertEqual(alist, ["C went away"])
550 # The remaining weakref should be dead now (its callback ran).
551 self.assertEqual(wr(), None)
552
553 del alist[:]
554 gc.collect()
555 self.assertEqual(alist, [])
556
557 def test_callbacks_on_callback(self):
558 import gc
559
560 # Set up weakref callbacks *on* weakref callbacks.
561 alist = []
562 def safe_callback(ignore):
563 alist.append("safe_callback called")
564
565 class C(object):
566 def cb(self, ignore):
567 alist.append("cb called")
568
569 c, d = C(), C()
570 c.other = d
571 d.other = c
572 callback = c.cb
573 c.wr = weakref.ref(d, callback) # this won't trigger
574 d.wr = weakref.ref(callback, d.cb) # ditto
575 external_wr = weakref.ref(callback, safe_callback) # but this will
576 self.assert_(external_wr() is callback)
577
578 # The weakrefs attached to c and d should get cleared, so that
579 # C.cb is never called. But external_wr isn't part of the cyclic
580 # trash, and no cyclic trash is reachable from it, so safe_callback
581 # should get invoked when the bound method object callback (c.cb)
582 # -- which is itself a callback, and also part of the cyclic trash --
583 # gets reclaimed at the end of gc.
584
585 del callback, c, d, C
586 self.assertEqual(alist, []) # del isn't enough to clean up cycles
587 gc.collect()
588 self.assertEqual(alist, ["safe_callback called"])
589 self.assertEqual(external_wr(), None)
590
591 del alist[:]
592 gc.collect()
593 self.assertEqual(alist, [])
594
Fred Drakebc875f52004-02-04 23:14:14 +0000595 def test_gc_during_ref_creation(self):
596 self.check_gc_during_creation(weakref.ref)
597
598 def test_gc_during_proxy_creation(self):
599 self.check_gc_during_creation(weakref.proxy)
600
601 def check_gc_during_creation(self, makeref):
602 thresholds = gc.get_threshold()
603 gc.set_threshold(1, 1, 1)
604 gc.collect()
Fred Drake55cf4342004-02-13 19:21:57 +0000605 class A:
606 pass
Fred Drakebc875f52004-02-04 23:14:14 +0000607
608 def callback(*args):
609 pass
610
Fred Drake55cf4342004-02-13 19:21:57 +0000611 referenced = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000612
Fred Drake55cf4342004-02-13 19:21:57 +0000613 a = A()
Fred Drakebc875f52004-02-04 23:14:14 +0000614 a.a = a
615 a.wr = makeref(referenced)
616
617 try:
618 # now make sure the object and the ref get labeled as
619 # cyclic trash:
Fred Drake55cf4342004-02-13 19:21:57 +0000620 a = A()
621 weakref.ref(referenced, callback)
Fred Drakebc875f52004-02-04 23:14:14 +0000622
623 finally:
624 gc.set_threshold(*thresholds)
625
Fred Drake0a4dd392004-07-02 18:57:45 +0000626
627class SubclassableWeakrefTestCase(unittest.TestCase):
628
629 def test_subclass_refs(self):
630 class MyRef(weakref.ref):
631 def __init__(self, ob, callback=None, value=42):
632 self.value = value
633 super(MyRef, self).__init__(ob, callback)
634 def __call__(self):
635 self.called = True
636 return super(MyRef, self).__call__()
637 o = Object("foo")
638 mr = MyRef(o, value=24)
639 self.assert_(mr() is o)
640 self.assert_(mr.called)
641 self.assertEqual(mr.value, 24)
642 del o
643 self.assert_(mr() is None)
644 self.assert_(mr.called)
645
646 def test_subclass_refs_dont_replace_standard_refs(self):
647 class MyRef(weakref.ref):
648 pass
649 o = Object(42)
650 r1 = MyRef(o)
651 r2 = weakref.ref(o)
652 self.assert_(r1 is not r2)
653 self.assertEqual(weakref.getweakrefs(o), [r2, r1])
654 self.assertEqual(weakref.getweakrefcount(o), 2)
655 r3 = MyRef(o)
656 self.assertEqual(weakref.getweakrefcount(o), 3)
657 refs = weakref.getweakrefs(o)
658 self.assertEqual(len(refs), 3)
659 self.assert_(r2 is refs[0])
660 self.assert_(r1 in refs[1:])
661 self.assert_(r3 in refs[1:])
662
663 def test_subclass_refs_dont_conflate_callbacks(self):
664 class MyRef(weakref.ref):
665 pass
666 o = Object(42)
667 r1 = MyRef(o, id)
668 r2 = MyRef(o, str)
669 self.assert_(r1 is not r2)
670 refs = weakref.getweakrefs(o)
671 self.assert_(r1 in refs)
672 self.assert_(r2 in refs)
673
674 def test_subclass_refs_with_slots(self):
675 class MyRef(weakref.ref):
676 __slots__ = "slot1", "slot2"
677 def __new__(type, ob, callback, slot1, slot2):
678 return weakref.ref.__new__(type, ob, callback)
679 def __init__(self, ob, callback, slot1, slot2):
680 self.slot1 = slot1
681 self.slot2 = slot2
682 def meth(self):
683 return self.slot1 + self.slot2
684 o = Object(42)
685 r = MyRef(o, None, "abc", "def")
686 self.assertEqual(r.slot1, "abc")
687 self.assertEqual(r.slot2, "def")
688 self.assertEqual(r.meth(), "abcdef")
689 self.failIf(hasattr(r, "__dict__"))
690
691
Fred Drake41deb1e2001-02-01 05:27:45 +0000692class Object:
693 def __init__(self, arg):
694 self.arg = arg
695 def __repr__(self):
696 return "<Object %r>" % self.arg
697
Fred Drake41deb1e2001-02-01 05:27:45 +0000698
Fred Drakeb0fefc52001-03-23 04:22:45 +0000699class MappingTestCase(TestBase):
Martin v. Löwis5e163332001-02-27 18:36:56 +0000700
Fred Drakeb0fefc52001-03-23 04:22:45 +0000701 COUNT = 10
702
703 def test_weak_values(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000704 #
705 # This exercises d.copy(), d.items(), d[], del d[], len(d).
706 #
707 dict, objects = self.make_weak_valued_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000708 for o in objects:
709 self.assert_(weakref.getweakrefcount(o) == 1,
710 "wrong number of weak references to %r!" % o)
711 self.assert_(o is dict[o.arg],
712 "wrong object returned by weak dict!")
713 items1 = dict.items()
714 items2 = dict.copy().items()
715 items1.sort()
716 items2.sort()
717 self.assert_(items1 == items2,
718 "cloning of weak-valued dictionary did not work!")
719 del items1, items2
720 self.assert_(len(dict) == self.COUNT)
721 del objects[0]
722 self.assert_(len(dict) == (self.COUNT - 1),
723 "deleting object did not cause dictionary update")
724 del objects, o
725 self.assert_(len(dict) == 0,
726 "deleting the values did not clear the dictionary")
Fred Drake4fd06e02001-08-03 04:11:27 +0000727 # regression on SF bug #447152:
728 dict = weakref.WeakValueDictionary()
729 self.assertRaises(KeyError, dict.__getitem__, 1)
730 dict[2] = C()
731 self.assertRaises(KeyError, dict.__getitem__, 2)
Fred Drakeb0fefc52001-03-23 04:22:45 +0000732
733 def test_weak_keys(self):
Fred Drake0e540c32001-05-02 05:44:22 +0000734 #
735 # This exercises d.copy(), d.items(), d[] = v, d[], del d[],
Fred Drake752eda42001-11-06 16:38:34 +0000736 # len(d), d.has_key().
Fred Drake0e540c32001-05-02 05:44:22 +0000737 #
738 dict, objects = self.make_weak_keyed_dict()
Fred Drakeb0fefc52001-03-23 04:22:45 +0000739 for o in objects:
740 self.assert_(weakref.getweakrefcount(o) == 1,
741 "wrong number of weak references to %r!" % o)
742 self.assert_(o.arg is dict[o],
743 "wrong object returned by weak dict!")
744 items1 = dict.items()
745 items2 = dict.copy().items()
Raymond Hettingera690a992003-11-16 16:17:49 +0000746 self.assert_(set(items1) == set(items2),
Fred Drakeb0fefc52001-03-23 04:22:45 +0000747 "cloning of weak-keyed dictionary did not work!")
748 del items1, items2
749 self.assert_(len(dict) == self.COUNT)
750 del objects[0]
751 self.assert_(len(dict) == (self.COUNT - 1),
752 "deleting object did not cause dictionary update")
753 del objects, o
754 self.assert_(len(dict) == 0,
755 "deleting the keys did not clear the dictionary")
Fred Drake752eda42001-11-06 16:38:34 +0000756 o = Object(42)
757 dict[o] = "What is the meaning of the universe?"
758 self.assert_(dict.has_key(o))
759 self.assert_(not dict.has_key(34))
Martin v. Löwis5e163332001-02-27 18:36:56 +0000760
Fred Drake0e540c32001-05-02 05:44:22 +0000761 def test_weak_keyed_iters(self):
762 dict, objects = self.make_weak_keyed_dict()
763 self.check_iters(dict)
764
765 def test_weak_valued_iters(self):
766 dict, objects = self.make_weak_valued_dict()
767 self.check_iters(dict)
768
769 def check_iters(self, dict):
770 # item iterator:
771 items = dict.items()
772 for item in dict.iteritems():
773 items.remove(item)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000774 self.assert_(len(items) == 0, "iteritems() did not touch all items")
Fred Drake0e540c32001-05-02 05:44:22 +0000775
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000776 # key iterator, via __iter__():
Fred Drake0e540c32001-05-02 05:44:22 +0000777 keys = dict.keys()
778 for k in dict:
779 keys.remove(k)
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000780 self.assert_(len(keys) == 0, "__iter__() did not touch all keys")
781
782 # key iterator, via iterkeys():
783 keys = dict.keys()
784 for k in dict.iterkeys():
785 keys.remove(k)
786 self.assert_(len(keys) == 0, "iterkeys() did not touch all keys")
Fred Drake0e540c32001-05-02 05:44:22 +0000787
788 # value iterator:
789 values = dict.values()
790 for v in dict.itervalues():
791 values.remove(v)
Fred Drakef425b1e2003-07-14 21:37:17 +0000792 self.assert_(len(values) == 0,
793 "itervalues() did not touch all values")
Fred Drake0e540c32001-05-02 05:44:22 +0000794
Guido van Rossum009afb72002-06-10 20:00:52 +0000795 def test_make_weak_keyed_dict_from_dict(self):
796 o = Object(3)
797 dict = weakref.WeakKeyDictionary({o:364})
798 self.assert_(dict[o] == 364)
799
800 def test_make_weak_keyed_dict_from_weak_keyed_dict(self):
801 o = Object(3)
802 dict = weakref.WeakKeyDictionary({o:364})
803 dict2 = weakref.WeakKeyDictionary(dict)
804 self.assert_(dict[o] == 364)
805
Fred Drake0e540c32001-05-02 05:44:22 +0000806 def make_weak_keyed_dict(self):
807 dict = weakref.WeakKeyDictionary()
808 objects = map(Object, range(self.COUNT))
809 for o in objects:
810 dict[o] = o.arg
811 return dict, objects
812
813 def make_weak_valued_dict(self):
814 dict = weakref.WeakValueDictionary()
815 objects = map(Object, range(self.COUNT))
816 for o in objects:
817 dict[o.arg] = o
818 return dict, objects
819
Fred Drakeaaa48ff2001-05-10 17:16:38 +0000820 def check_popitem(self, klass, key1, value1, key2, value2):
821 weakdict = klass()
822 weakdict[key1] = value1
823 weakdict[key2] = value2
824 self.assert_(len(weakdict) == 2)
825 k, v = weakdict.popitem()
826 self.assert_(len(weakdict) == 1)
827 if k is key1:
828 self.assert_(v is value1)
829 else:
830 self.assert_(v is value2)
831 k, v = weakdict.popitem()
832 self.assert_(len(weakdict) == 0)
833 if k is key1:
834 self.assert_(v is value1)
835 else:
836 self.assert_(v is value2)
837
838 def test_weak_valued_dict_popitem(self):
839 self.check_popitem(weakref.WeakValueDictionary,
840 "key1", C(), "key2", C())
841
842 def test_weak_keyed_dict_popitem(self):
843 self.check_popitem(weakref.WeakKeyDictionary,
844 C(), "value 1", C(), "value 2")
845
846 def check_setdefault(self, klass, key, value1, value2):
847 self.assert_(value1 is not value2,
848 "invalid test"
849 " -- value parameters must be distinct objects")
850 weakdict = klass()
851 o = weakdict.setdefault(key, value1)
852 self.assert_(o is value1)
853 self.assert_(weakdict.has_key(key))
854 self.assert_(weakdict.get(key) is value1)
855 self.assert_(weakdict[key] is value1)
856
857 o = weakdict.setdefault(key, value2)
858 self.assert_(o is value1)
859 self.assert_(weakdict.has_key(key))
860 self.assert_(weakdict.get(key) is value1)
861 self.assert_(weakdict[key] is value1)
862
863 def test_weak_valued_dict_setdefault(self):
864 self.check_setdefault(weakref.WeakValueDictionary,
865 "key", C(), C())
866
867 def test_weak_keyed_dict_setdefault(self):
868 self.check_setdefault(weakref.WeakKeyDictionary,
869 C(), "value 1", "value 2")
870
Fred Drakea0a4ab12001-04-16 17:37:27 +0000871 def check_update(self, klass, dict):
Fred Drake0e540c32001-05-02 05:44:22 +0000872 #
873 # This exercises d.update(), len(d), d.keys(), d.has_key(),
874 # d.get(), d[].
875 #
Fred Drakea0a4ab12001-04-16 17:37:27 +0000876 weakdict = klass()
877 weakdict.update(dict)
878 self.assert_(len(weakdict) == len(dict))
879 for k in weakdict.keys():
880 self.assert_(dict.has_key(k),
881 "mysterious new key appeared in weak dict")
882 v = dict.get(k)
883 self.assert_(v is weakdict[k])
884 self.assert_(v is weakdict.get(k))
885 for k in dict.keys():
886 self.assert_(weakdict.has_key(k),
887 "original key disappeared in weak dict")
888 v = dict[k]
889 self.assert_(v is weakdict[k])
890 self.assert_(v is weakdict.get(k))
891
892 def test_weak_valued_dict_update(self):
893 self.check_update(weakref.WeakValueDictionary,
894 {1: C(), 'a': C(), C(): C()})
895
896 def test_weak_keyed_dict_update(self):
897 self.check_update(weakref.WeakKeyDictionary,
898 {C(): 1, C(): 2, C(): 3})
899
Fred Drakeccc75622001-09-06 14:52:39 +0000900 def test_weak_keyed_delitem(self):
901 d = weakref.WeakKeyDictionary()
902 o1 = Object('1')
903 o2 = Object('2')
904 d[o1] = 'something'
905 d[o2] = 'something'
906 self.assert_(len(d) == 2)
907 del d[o1]
908 self.assert_(len(d) == 1)
909 self.assert_(d.keys() == [o2])
910
911 def test_weak_valued_delitem(self):
912 d = weakref.WeakValueDictionary()
913 o1 = Object('1')
914 o2 = Object('2')
915 d['something'] = o1
916 d['something else'] = o2
917 self.assert_(len(d) == 2)
918 del d['something']
919 self.assert_(len(d) == 1)
920 self.assert_(d.items() == [('something else', o2)])
921
Tim Peters886128f2003-05-25 01:45:11 +0000922 def test_weak_keyed_bad_delitem(self):
923 d = weakref.WeakKeyDictionary()
924 o = Object('1')
925 # An attempt to delete an object that isn't there should raise
Tim Peters50d8b8b2003-05-25 17:44:31 +0000926 # KeyError. It didn't before 2.3.
Tim Peters886128f2003-05-25 01:45:11 +0000927 self.assertRaises(KeyError, d.__delitem__, o)
Tim Peters50d8b8b2003-05-25 17:44:31 +0000928 self.assertRaises(KeyError, d.__getitem__, o)
929
930 # If a key isn't of a weakly referencable type, __getitem__ and
931 # __setitem__ raise TypeError. __delitem__ should too.
932 self.assertRaises(TypeError, d.__delitem__, 13)
933 self.assertRaises(TypeError, d.__getitem__, 13)
934 self.assertRaises(TypeError, d.__setitem__, 13, 13)
Tim Peters886128f2003-05-25 01:45:11 +0000935
936 def test_weak_keyed_cascading_deletes(self):
937 # SF bug 742860. For some reason, before 2.3 __delitem__ iterated
938 # over the keys via self.data.iterkeys(). If things vanished from
939 # the dict during this (or got added), that caused a RuntimeError.
940
941 d = weakref.WeakKeyDictionary()
942 mutate = False
943
944 class C(object):
945 def __init__(self, i):
946 self.value = i
947 def __hash__(self):
948 return hash(self.value)
949 def __eq__(self, other):
950 if mutate:
951 # Side effect that mutates the dict, by removing the
952 # last strong reference to a key.
953 del objs[-1]
954 return self.value == other.value
955
956 objs = [C(i) for i in range(4)]
957 for o in objs:
958 d[o] = o.value
959 del o # now the only strong references to keys are in objs
960 # Find the order in which iterkeys sees the keys.
961 objs = d.keys()
962 # Reverse it, so that the iteration implementation of __delitem__
963 # has to keep looping to find the first object we delete.
964 objs.reverse()
Tim Peters50d8b8b2003-05-25 17:44:31 +0000965
Tim Peters886128f2003-05-25 01:45:11 +0000966 # Turn on mutation in C.__eq__. The first time thru the loop,
967 # under the iterkeys() business the first comparison will delete
968 # the last item iterkeys() would see, and that causes a
969 # RuntimeError: dictionary changed size during iteration
970 # when the iterkeys() loop goes around to try comparing the next
Tim Peters50d8b8b2003-05-25 17:44:31 +0000971 # key. After this was fixed, it just deletes the last object *our*
Tim Peters886128f2003-05-25 01:45:11 +0000972 # "for o in obj" loop would have gotten to.
973 mutate = True
974 count = 0
975 for o in objs:
976 count += 1
977 del d[o]
978 self.assertEqual(len(d), 0)
979 self.assertEqual(count, 2)
980
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +0000981from test import mapping_tests
Raymond Hettinger2c2d3222003-03-09 07:05:43 +0000982
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +0000983class WeakValueDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +0000984 """Check that WeakValueDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +0000985 __ref = {"key1":Object(1), "key2":Object(2), "key3":Object(3)}
Walter Dörwald118f9312004-06-02 18:42:25 +0000986 type2test = weakref.WeakValueDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +0000987 def _reference(self):
988 return self.__ref.copy()
989
Walter Dörwald0a6d0ff2004-05-31 16:29:04 +0000990class WeakKeyDictionaryTestCase(mapping_tests.BasicTestMappingProtocol):
Fred Drakef425b1e2003-07-14 21:37:17 +0000991 """Check that WeakKeyDictionary conforms to the mapping protocol"""
Raymond Hettinger2c2d3222003-03-09 07:05:43 +0000992 __ref = {Object("key1"):1, Object("key2"):2, Object("key3"):3}
Walter Dörwald118f9312004-06-02 18:42:25 +0000993 type2test = weakref.WeakKeyDictionary
Raymond Hettinger2c2d3222003-03-09 07:05:43 +0000994 def _reference(self):
995 return self.__ref.copy()
Martin v. Löwis5e163332001-02-27 18:36:56 +0000996
Fred Drake2e2be372001-09-20 21:33:42 +0000997def test_main():
Walter Dörwald21d3a322003-05-01 17:45:56 +0000998 test_support.run_unittest(
999 ReferencesTestCase,
1000 MappingTestCase,
1001 WeakValueDictionaryTestCase,
Fred Drakef425b1e2003-07-14 21:37:17 +00001002 WeakKeyDictionaryTestCase,
1003 )
Fred Drake2e2be372001-09-20 21:33:42 +00001004
1005
1006if __name__ == "__main__":
1007 test_main()