blob: 56ce722033aadcd6d151ccb1e557797a0ca1e20e [file] [log] [blame]
Walter Dörwald59b23e82004-09-30 13:46:00 +00001import unittest
2from test import test_support
3
Guido van Rossum34d19282007-08-09 01:03:29 +00004import sys, UserDict
Walter Dörwald59b23e82004-09-30 13:46:00 +00005
6
7class DictTest(unittest.TestCase):
Guido van Rossum47b9ff62006-08-24 00:41:19 +00008
Walter Dörwald59b23e82004-09-30 13:46:00 +00009 def test_constructor(self):
10 # calling built-in types without argument must return empty
11 self.assertEqual(dict(), {})
12 self.assert_(dict() is not {})
13
14 def test_bool(self):
15 self.assert_(not {})
16 self.assert_({1: 2})
17 self.assert_(bool({}) is False)
18 self.assert_(bool({1: 2}) is True)
19
20 def test_keys(self):
21 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000022 self.assertEqual(set(d.keys()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000023 d = {'a': 1, 'b': 2}
24 k = d.keys()
Guido van Rossume2b70bc2006-08-18 22:13:04 +000025 self.assert_('a' in d)
26 self.assert_('b' in d)
Walter Dörwald59b23e82004-09-30 13:46:00 +000027
28 self.assertRaises(TypeError, d.keys, None)
29
30 def test_values(self):
31 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000032 self.assertEqual(set(d.values()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000033 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000034 self.assertEqual(set(d.values()), {2})
Walter Dörwald59b23e82004-09-30 13:46:00 +000035
36 self.assertRaises(TypeError, d.values, None)
37
38 def test_items(self):
39 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000040 self.assertEqual(set(d.items()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000041
42 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000043 self.assertEqual(set(d.items()), {(1, 2)})
Walter Dörwald59b23e82004-09-30 13:46:00 +000044
45 self.assertRaises(TypeError, d.items, None)
46
Walter Dörwald59b23e82004-09-30 13:46:00 +000047 def test_contains(self):
48 d = {}
49 self.assert_(not ('a' in d))
50 self.assert_('a' not in d)
51 d = {'a': 1, 'b': 2}
52 self.assert_('a' in d)
53 self.assert_('b' in d)
54 self.assert_('c' not in d)
55
56 self.assertRaises(TypeError, d.__contains__)
57
58 def test_len(self):
59 d = {}
60 self.assertEqual(len(d), 0)
61 d = {'a': 1, 'b': 2}
62 self.assertEqual(len(d), 2)
63
64 def test_getitem(self):
65 d = {'a': 1, 'b': 2}
66 self.assertEqual(d['a'], 1)
67 self.assertEqual(d['b'], 2)
68 d['c'] = 3
69 d['a'] = 4
70 self.assertEqual(d['c'], 3)
71 self.assertEqual(d['a'], 4)
72 del d['b']
73 self.assertEqual(d, {'a': 4, 'c': 3})
74
75 self.assertRaises(TypeError, d.__getitem__)
76
77 class BadEq(object):
78 def __eq__(self, other):
79 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +000080 def __hash__(self):
81 return 24
Walter Dörwald59b23e82004-09-30 13:46:00 +000082
83 d = {}
84 d[BadEq()] = 42
85 self.assertRaises(KeyError, d.__getitem__, 23)
86
87 class Exc(Exception): pass
88
89 class BadHash(object):
90 fail = False
91 def __hash__(self):
92 if self.fail:
93 raise Exc()
94 else:
95 return 42
96
97 x = BadHash()
98 d[x] = 42
99 x.fail = True
100 self.assertRaises(Exc, d.__getitem__, x)
101
102 def test_clear(self):
103 d = {1:1, 2:2, 3:3}
104 d.clear()
105 self.assertEqual(d, {})
106
107 self.assertRaises(TypeError, d.clear, None)
108
109 def test_update(self):
110 d = {}
111 d.update({1:100})
112 d.update({2:20})
113 d.update({1:1, 2:2, 3:3})
114 self.assertEqual(d, {1:1, 2:2, 3:3})
115
116 d.update()
117 self.assertEqual(d, {1:1, 2:2, 3:3})
118
119 self.assertRaises((TypeError, AttributeError), d.update, None)
120
121 class SimpleUserDict:
122 def __init__(self):
123 self.d = {1:1, 2:2, 3:3}
124 def keys(self):
125 return self.d.keys()
126 def __getitem__(self, i):
127 return self.d[i]
128 d.clear()
129 d.update(SimpleUserDict())
130 self.assertEqual(d, {1:1, 2:2, 3:3})
131
132 class Exc(Exception): pass
133
134 d.clear()
135 class FailingUserDict:
136 def keys(self):
137 raise Exc
138 self.assertRaises(Exc, d.update, FailingUserDict())
139
140 class FailingUserDict:
141 def keys(self):
142 class BogonIter:
143 def __init__(self):
144 self.i = 1
145 def __iter__(self):
146 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000147 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000148 if self.i:
149 self.i = 0
150 return 'a'
151 raise Exc
152 return BogonIter()
153 def __getitem__(self, key):
154 return key
155 self.assertRaises(Exc, d.update, FailingUserDict())
156
157 class FailingUserDict:
158 def keys(self):
159 class BogonIter:
160 def __init__(self):
161 self.i = ord('a')
162 def __iter__(self):
163 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000164 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000165 if self.i <= ord('z'):
166 rtn = chr(self.i)
167 self.i += 1
168 return rtn
169 raise StopIteration
170 return BogonIter()
171 def __getitem__(self, key):
172 raise Exc
173 self.assertRaises(Exc, d.update, FailingUserDict())
174
175 class badseq(object):
176 def __iter__(self):
177 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000178 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000179 raise Exc()
180
181 self.assertRaises(Exc, {}.update, badseq())
182
183 self.assertRaises(ValueError, {}.update, [(1, 2, 3)])
184
Thomas Wouterscf297e42007-02-23 15:07:44 +0000185 # SF #1615701: make d.update(m) honor __getitem__() and keys() in dict subclasses
186 class KeyUpperDict(dict):
187 def __getitem__(self, key):
188 return key.upper()
189 d.clear()
190 d.update(KeyUpperDict.fromkeys('abc'))
191 self.assertEqual(d, {'a':'A', 'b':'B', 'c':'C'})
192
Walter Dörwald59b23e82004-09-30 13:46:00 +0000193 def test_fromkeys(self):
194 self.assertEqual(dict.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
195 d = {}
196 self.assert_(not(d.fromkeys('abc') is d))
197 self.assertEqual(d.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
198 self.assertEqual(d.fromkeys((4,5),0), {4:0, 5:0})
199 self.assertEqual(d.fromkeys([]), {})
200 def g():
201 yield 1
202 self.assertEqual(d.fromkeys(g()), {1:None})
203 self.assertRaises(TypeError, {}.fromkeys, 3)
204 class dictlike(dict): pass
205 self.assertEqual(dictlike.fromkeys('a'), {'a':None})
206 self.assertEqual(dictlike().fromkeys('a'), {'a':None})
207 self.assert_(type(dictlike.fromkeys('a')) is dictlike)
208 self.assert_(type(dictlike().fromkeys('a')) is dictlike)
209 class mydict(dict):
210 def __new__(cls):
211 return UserDict.UserDict()
212 ud = mydict.fromkeys('ab')
213 self.assertEqual(ud, {'a':None, 'b':None})
214 self.assert_(isinstance(ud, UserDict.UserDict))
215 self.assertRaises(TypeError, dict.fromkeys)
216
217 class Exc(Exception): pass
218
219 class baddict1(dict):
220 def __init__(self):
221 raise Exc()
222
223 self.assertRaises(Exc, baddict1.fromkeys, [1])
224
225 class BadSeq(object):
226 def __iter__(self):
227 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000228 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000229 raise Exc()
230
231 self.assertRaises(Exc, dict.fromkeys, BadSeq())
232
233 class baddict2(dict):
234 def __setitem__(self, key, value):
235 raise Exc()
236
237 self.assertRaises(Exc, baddict2.fromkeys, [1])
238
Guido van Rossum58da9312007-11-10 23:39:45 +0000239 # test fast path for dictionary inputs
240 d = dict(zip(range(6), range(6)))
241 self.assertEqual(dict.fromkeys(d, 0), dict(zip(range(6), [0]*6)))
242
Walter Dörwald59b23e82004-09-30 13:46:00 +0000243 def test_copy(self):
244 d = {1:1, 2:2, 3:3}
245 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
246 self.assertEqual({}.copy(), {})
247 self.assertRaises(TypeError, d.copy, None)
248
249 def test_get(self):
250 d = {}
251 self.assert_(d.get('c') is None)
252 self.assertEqual(d.get('c', 3), 3)
253 d = {'a' : 1, 'b' : 2}
254 self.assert_(d.get('c') is None)
255 self.assertEqual(d.get('c', 3), 3)
256 self.assertEqual(d.get('a'), 1)
257 self.assertEqual(d.get('a', 3), 1)
258 self.assertRaises(TypeError, d.get)
259 self.assertRaises(TypeError, d.get, None, None, None)
260
261 def test_setdefault(self):
262 # dict.setdefault()
263 d = {}
264 self.assert_(d.setdefault('key0') is None)
265 d.setdefault('key0', [])
266 self.assert_(d.setdefault('key0') is None)
267 d.setdefault('key', []).append(3)
268 self.assertEqual(d['key'][0], 3)
269 d.setdefault('key', []).append(4)
270 self.assertEqual(len(d['key']), 2)
271 self.assertRaises(TypeError, d.setdefault)
272
273 class Exc(Exception): pass
274
275 class BadHash(object):
276 fail = False
277 def __hash__(self):
278 if self.fail:
279 raise Exc()
280 else:
281 return 42
282
283 x = BadHash()
284 d[x] = 42
285 x.fail = True
286 self.assertRaises(Exc, d.setdefault, x, [])
287
288 def test_popitem(self):
289 # dict.popitem()
290 for copymode in -1, +1:
291 # -1: b has same structure as a
292 # +1: b is a.copy()
293 for log2size in range(12):
294 size = 2**log2size
295 a = {}
296 b = {}
297 for i in range(size):
298 a[repr(i)] = i
299 if copymode < 0:
300 b[repr(i)] = i
301 if copymode > 0:
302 b = a.copy()
303 for i in range(size):
304 ka, va = ta = a.popitem()
305 self.assertEqual(va, int(ka))
306 kb, vb = tb = b.popitem()
307 self.assertEqual(vb, int(kb))
308 self.assert_(not(copymode < 0 and ta != tb))
309 self.assert_(not a)
310 self.assert_(not b)
311
312 d = {}
313 self.assertRaises(KeyError, d.popitem)
314
315 def test_pop(self):
316 # Tests for pop with specified key
317 d = {}
318 k, v = 'abc', 'def'
319 d[k] = v
320 self.assertRaises(KeyError, d.pop, 'ghi')
321
322 self.assertEqual(d.pop(k), v)
323 self.assertEqual(len(d), 0)
324
325 self.assertRaises(KeyError, d.pop, k)
326
327 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
328 # see SF bug #689659
Guido van Rossume2a383d2007-01-15 16:59:06 +0000329 x = 4503599627370496
Walter Dörwald59b23e82004-09-30 13:46:00 +0000330 y = 4503599627370496
331 h = {x: 'anything', y: 'something else'}
332 self.assertEqual(h[x], h[y])
333
334 self.assertEqual(d.pop(k, v), v)
335 d[k] = v
336 self.assertEqual(d.pop(k, 1), v)
337
338 self.assertRaises(TypeError, d.pop)
339
340 class Exc(Exception): pass
341
342 class BadHash(object):
343 fail = False
344 def __hash__(self):
345 if self.fail:
346 raise Exc()
347 else:
348 return 42
349
350 x = BadHash()
351 d[x] = 42
352 x.fail = True
353 self.assertRaises(Exc, d.pop, x)
354
355 def test_mutatingiteration(self):
356 d = {}
357 d[1] = 1
358 try:
359 for i in d:
360 d[i+1] = 1
361 except RuntimeError:
362 pass
363 else:
364 self.fail("changing dict size during iteration doesn't raise Error")
365
366 def test_repr(self):
367 d = {}
368 self.assertEqual(repr(d), '{}')
369 d[1] = 2
370 self.assertEqual(repr(d), '{1: 2}')
371 d = {}
372 d[1] = d
373 self.assertEqual(repr(d), '{1: {...}}')
374
375 class Exc(Exception): pass
376
377 class BadRepr(object):
378 def __repr__(self):
379 raise Exc()
380
381 d = {1: BadRepr()}
382 self.assertRaises(Exc, repr, d)
383
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000384 def test_eq(self):
385 self.assertEqual({}, {})
Guido van Rossume2a383d2007-01-15 16:59:06 +0000386 self.assertEqual({1: 2}, {1: 2})
Walter Dörwald59b23e82004-09-30 13:46:00 +0000387
388 class Exc(Exception): pass
389
390 class BadCmp(object):
391 def __eq__(self, other):
392 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +0000393 def __hash__(self):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000394 return 1
Walter Dörwald59b23e82004-09-30 13:46:00 +0000395
396 d1 = {BadCmp(): 1}
397 d2 = {1: 1}
398 try:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000399 d1 == d2
Walter Dörwald59b23e82004-09-30 13:46:00 +0000400 except Exc:
401 pass
402 else:
403 self.fail("< didn't raise Exc")
404
Guido van Rossumaac530c2007-08-24 22:33:45 +0000405 def test_keys_contained(self):
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000406 self.helper_keys_contained(lambda x: x.keys())
407 self.helper_keys_contained(lambda x: x.items())
408
409 def helper_keys_contained(self, fn):
Guido van Rossumaac530c2007-08-24 22:33:45 +0000410 # Test rich comparisons against dict key views, which should behave the
411 # same as sets.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000412 empty = fn(dict())
413 empty2 = fn(dict())
414 smaller = fn({1:1, 2:2})
415 larger = fn({1:1, 2:2, 3:3})
416 larger2 = fn({1:1, 2:2, 3:3})
417 larger3 = fn({4:1, 2:2, 3:3})
Guido van Rossumaac530c2007-08-24 22:33:45 +0000418
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000419 self.assertTrue(smaller < larger)
420 self.assertTrue(smaller <= larger)
421 self.assertTrue(larger > smaller)
422 self.assertTrue(larger >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000423
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000424 self.assertFalse(smaller >= larger)
425 self.assertFalse(smaller > larger)
426 self.assertFalse(larger <= smaller)
427 self.assertFalse(larger < smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000428
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000429 self.assertFalse(smaller < larger3)
430 self.assertFalse(smaller <= larger3)
431 self.assertFalse(larger3 > smaller)
432 self.assertFalse(larger3 >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000433
434 # Inequality strictness
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000435 self.assertTrue(larger2 >= larger)
436 self.assertTrue(larger2 <= larger)
437 self.assertFalse(larger2 > larger)
438 self.assertFalse(larger2 < larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000439
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000440 self.assertTrue(larger == larger2)
441 self.assertTrue(smaller != larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000442
443 # There is an optimization on the zero-element case.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000444 self.assertTrue(empty == empty2)
445 self.assertFalse(empty != empty2)
446 self.assertFalse(empty == smaller)
447 self.assertTrue(empty != smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000448
449 # With the same size, an elementwise compare happens
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000450 self.assertTrue(larger != larger3)
451 self.assertFalse(larger == larger3)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000452
453 def test_errors_in_view_containment_check(self):
454 class C:
455 def __eq__(self, other):
456 raise RuntimeError
457 d1 = {1: C()}
458 d2 = {1: C()}
459 self.assertRaises(RuntimeError, lambda: d1.items() == d2.items())
460 self.assertRaises(RuntimeError, lambda: d1.items() != d2.items())
461 self.assertRaises(RuntimeError, lambda: d1.items() <= d2.items())
462 self.assertRaises(RuntimeError, lambda: d1.items() >= d2.items())
463 d3 = {1: C(), 2: C()}
464 self.assertRaises(RuntimeError, lambda: d2.items() < d3.items())
465 self.assertRaises(RuntimeError, lambda: d3.items() > d2.items())
466
Guido van Rossumbe534712007-08-24 23:43:52 +0000467 def test_dictview_set_operations_on_keys(self):
Guido van Rossum523259b2007-08-24 23:41:22 +0000468 k1 = {1:1, 2:2}.keys()
469 k2 = {1:1, 2:2, 3:3}.keys()
470 k3 = {4:4}.keys()
471
472 self.assertEquals(k1 - k2, set())
473 self.assertEquals(k1 - k3, {1,2})
474 self.assertEquals(k2 - k1, {3})
475 self.assertEquals(k3 - k1, {4})
476 self.assertEquals(k1 & k2, {1,2})
477 self.assertEquals(k1 & k3, set())
478 self.assertEquals(k1 | k2, {1,2,3})
479 self.assertEquals(k1 ^ k2, {3})
480 self.assertEquals(k1 ^ k3, {1,2,4})
481
Guido van Rossumbe534712007-08-24 23:43:52 +0000482 def test_dictview_set_operations_on_items(self):
483 k1 = {1:1, 2:2}.items()
484 k2 = {1:1, 2:2, 3:3}.items()
485 k3 = {4:4}.items()
486
487 self.assertEquals(k1 - k2, set())
488 self.assertEquals(k1 - k3, {(1,1), (2,2)})
489 self.assertEquals(k2 - k1, {(3,3)})
490 self.assertEquals(k3 - k1, {(4,4)})
491 self.assertEquals(k1 & k2, {(1,1), (2,2)})
492 self.assertEquals(k1 & k3, set())
493 self.assertEquals(k1 | k2, {(1,1), (2,2), (3,3)})
494 self.assertEquals(k1 ^ k2, {(3,3)})
495 self.assertEquals(k1 ^ k3, {(1,1), (2,2), (4,4)})
Guido van Rossum523259b2007-08-24 23:41:22 +0000496
Guido van Rossum1d719962007-08-24 23:47:30 +0000497 def test_dictview_mixed_set_operations(self):
498 # Just a few for .keys()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000499 self.assertTrue({1:1}.keys() == {1})
500 self.assertTrue({1} == {1:1}.keys())
Guido van Rossum1d719962007-08-24 23:47:30 +0000501 self.assertEquals({1:1}.keys() | {2}, {1, 2})
502 self.assertEquals({2} | {1:1}.keys(), {1, 2})
503 # And a few for .items()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000504 self.assertTrue({1:1}.items() == {(1,1)})
505 self.assertTrue({(1,1)} == {1:1}.items())
Guido van Rossum1d719962007-08-24 23:47:30 +0000506 self.assertEquals({1:1}.items() | {2}, {(1,1), 2})
507 self.assertEquals({2} | {1:1}.items(), {(1,1), 2})
508
Guido van Rossum1968ad32006-02-25 22:38:04 +0000509 def test_missing(self):
510 # Make sure dict doesn't have a __missing__ method
511 self.assertEqual(hasattr(dict, "__missing__"), False)
512 self.assertEqual(hasattr({}, "__missing__"), False)
513 # Test several cases:
514 # (D) subclass defines __missing__ method returning a value
515 # (E) subclass defines __missing__ method raising RuntimeError
516 # (F) subclass sets __missing__ instance variable (no effect)
517 # (G) subclass doesn't define __missing__ at a all
518 class D(dict):
519 def __missing__(self, key):
520 return 42
521 d = D({1: 2, 3: 4})
522 self.assertEqual(d[1], 2)
523 self.assertEqual(d[3], 4)
524 self.assert_(2 not in d)
525 self.assert_(2 not in d.keys())
526 self.assertEqual(d[2], 42)
527 class E(dict):
528 def __missing__(self, key):
529 raise RuntimeError(key)
530 e = E()
531 try:
532 e[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000533 except RuntimeError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000534 self.assertEqual(err.args, (42,))
535 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000536 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000537 class F(dict):
538 def __init__(self):
539 # An instance variable __missing__ should have no effect
540 self.__missing__ = lambda key: None
541 f = F()
542 try:
543 f[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000544 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000545 self.assertEqual(err.args, (42,))
546 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000547 self.fail("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000548 class G(dict):
549 pass
550 g = G()
551 try:
552 g[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000553 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000554 self.assertEqual(err.args, (42,))
555 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000556 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000557
Thomas Wouters89f507f2006-12-13 04:49:30 +0000558 def test_tuple_keyerror(self):
559 # SF #1576657
560 d = {}
561 try:
562 d[(1,)]
Guido van Rossumb940e112007-01-10 16:19:56 +0000563 except KeyError as e:
Thomas Wouters89f507f2006-12-13 04:49:30 +0000564 self.assertEqual(e.args, ((1,),))
565 else:
566 self.fail("missing KeyError")
567
Guido van Rossumd8faa362007-04-27 19:54:29 +0000568 def test_bad_key(self):
569 # Dictionary lookups should fail if __cmp__() raises an exception.
570 class CustomException(Exception):
571 pass
572
573 class BadDictKey:
574 def __hash__(self):
575 return hash(self.__class__)
576
577 def __eq__(self, other):
578 if isinstance(other, self.__class__):
579 raise CustomException
580 return other
581
582 d = {}
583 x1 = BadDictKey()
584 x2 = BadDictKey()
585 d[x1] = 1
586 for stmt in ['d[x2] = 2',
587 'z = d[x2]',
588 'x2 in d',
589 'd.get(x2)',
590 'd.setdefault(x2, 42)',
591 'd.pop(x2)',
592 'd.update({x2: 2})']:
593 try:
594 exec(stmt, locals())
595 except CustomException:
596 pass
597 else:
598 self.fail("Statement %r didn't raise exception" % stmt)
599
600 def test_resize1(self):
601 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
602 # This version got an assert failure in debug build, infinite loop in
603 # release build. Unfortunately, provoking this kind of stuff requires
604 # a mix of inserts and deletes hitting exactly the right hash codes in
605 # exactly the right order, and I can't think of a randomized approach
606 # that would be *likely* to hit a failing case in reasonable time.
607
608 d = {}
609 for i in range(5):
610 d[i] = i
611 for i in range(5):
612 del d[i]
613 for i in range(5, 9): # i==8 was the problem
614 d[i] = i
615
616 def test_resize2(self):
617 # Another dict resizing bug (SF bug #1456209).
618 # This caused Segmentation faults or Illegal instructions.
619
620 class X(object):
621 def __hash__(self):
622 return 5
623 def __eq__(self, other):
624 if resizing:
625 d.clear()
626 return False
627 d = {}
628 resizing = False
629 d[X()] = 1
630 d[X()] = 2
631 d[X()] = 3
632 d[X()] = 4
633 d[X()] = 5
634 # now trigger a resize
635 resizing = True
636 d[9] = 6
637
Guido van Rossum1968ad32006-02-25 22:38:04 +0000638
Neal Norwitzc3e54b82006-03-24 07:38:37 +0000639from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000640
641class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
642 type2test = dict
643
644class Dict(dict):
645 pass
646
647class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
648 type2test = Dict
649
Walter Dörwald59b23e82004-09-30 13:46:00 +0000650def test_main():
651 test_support.run_unittest(
652 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000653 GeneralMappingTests,
654 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000655 )
656
657if __name__ == "__main__":
658 test_main()