blob: bfc31af0bee68c2f5664011a2c8113061720f2ac [file] [log] [blame]
Walter Dörwald59b23e82004-09-30 13:46:00 +00001import unittest
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002from test import support
Walter Dörwald59b23e82004-09-30 13:46:00 +00003
Raymond Hettingerf80680d2008-02-06 00:07:11 +00004import sys, collections, random, string
Antoine Pitrou7ddda782009-01-01 15:35:33 +00005import gc, weakref
Walter Dörwald59b23e82004-09-30 13:46:00 +00006
7
8class DictTest(unittest.TestCase):
Guido van Rossum47b9ff62006-08-24 00:41:19 +00009
Walter Dörwald59b23e82004-09-30 13:46:00 +000010 def test_constructor(self):
11 # calling built-in types without argument must return empty
12 self.assertEqual(dict(), {})
13 self.assert_(dict() is not {})
14
Christian Heimes99170a52007-12-19 02:07:34 +000015 def test_literal_constructor(self):
16 # check literal constructor for different sized dicts (to exercise the BUILD_MAP oparg
Christian Heimesb186d002008-03-18 15:15:01 +000017 for n in (0, 1, 6, 256, 400):
18 items = [(''.join([random.choice(string.ascii_letters)
19 for j in range(8)]),
20 i)
21 for i in range(n)]
22 random.shuffle(items)
Christian Heimes99170a52007-12-19 02:07:34 +000023 dictliteral = '{' + ', '.join('%r: %d' % item for item in items) + '}'
24 self.assertEqual(eval(dictliteral), dict(items))
Christian Heimes99170a52007-12-19 02:07:34 +000025
Walter Dörwald59b23e82004-09-30 13:46:00 +000026 def test_bool(self):
27 self.assert_(not {})
28 self.assert_({1: 2})
29 self.assert_(bool({}) is False)
30 self.assert_(bool({1: 2}) is True)
31
32 def test_keys(self):
33 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000034 self.assertEqual(set(d.keys()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000035 d = {'a': 1, 'b': 2}
36 k = d.keys()
Guido van Rossume2b70bc2006-08-18 22:13:04 +000037 self.assert_('a' in d)
38 self.assert_('b' in d)
Walter Dörwald59b23e82004-09-30 13:46:00 +000039
40 self.assertRaises(TypeError, d.keys, None)
41
42 def test_values(self):
43 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000044 self.assertEqual(set(d.values()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000045 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000046 self.assertEqual(set(d.values()), {2})
Walter Dörwald59b23e82004-09-30 13:46:00 +000047
48 self.assertRaises(TypeError, d.values, None)
49
50 def test_items(self):
51 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000052 self.assertEqual(set(d.items()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000053
54 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000055 self.assertEqual(set(d.items()), {(1, 2)})
Walter Dörwald59b23e82004-09-30 13:46:00 +000056
57 self.assertRaises(TypeError, d.items, None)
58
Walter Dörwald59b23e82004-09-30 13:46:00 +000059 def test_contains(self):
60 d = {}
61 self.assert_(not ('a' in d))
62 self.assert_('a' not in d)
63 d = {'a': 1, 'b': 2}
64 self.assert_('a' in d)
65 self.assert_('b' in d)
66 self.assert_('c' not in d)
67
68 self.assertRaises(TypeError, d.__contains__)
69
70 def test_len(self):
71 d = {}
72 self.assertEqual(len(d), 0)
73 d = {'a': 1, 'b': 2}
74 self.assertEqual(len(d), 2)
75
76 def test_getitem(self):
77 d = {'a': 1, 'b': 2}
78 self.assertEqual(d['a'], 1)
79 self.assertEqual(d['b'], 2)
80 d['c'] = 3
81 d['a'] = 4
82 self.assertEqual(d['c'], 3)
83 self.assertEqual(d['a'], 4)
84 del d['b']
85 self.assertEqual(d, {'a': 4, 'c': 3})
86
87 self.assertRaises(TypeError, d.__getitem__)
88
89 class BadEq(object):
90 def __eq__(self, other):
91 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +000092 def __hash__(self):
93 return 24
Walter Dörwald59b23e82004-09-30 13:46:00 +000094
95 d = {}
96 d[BadEq()] = 42
97 self.assertRaises(KeyError, d.__getitem__, 23)
98
99 class Exc(Exception): pass
100
101 class BadHash(object):
102 fail = False
103 def __hash__(self):
104 if self.fail:
105 raise Exc()
106 else:
107 return 42
108
109 x = BadHash()
110 d[x] = 42
111 x.fail = True
112 self.assertRaises(Exc, d.__getitem__, x)
113
114 def test_clear(self):
115 d = {1:1, 2:2, 3:3}
116 d.clear()
117 self.assertEqual(d, {})
118
119 self.assertRaises(TypeError, d.clear, None)
120
121 def test_update(self):
122 d = {}
123 d.update({1:100})
124 d.update({2:20})
125 d.update({1:1, 2:2, 3:3})
126 self.assertEqual(d, {1:1, 2:2, 3:3})
127
128 d.update()
129 self.assertEqual(d, {1:1, 2:2, 3:3})
130
131 self.assertRaises((TypeError, AttributeError), d.update, None)
132
133 class SimpleUserDict:
134 def __init__(self):
135 self.d = {1:1, 2:2, 3:3}
136 def keys(self):
137 return self.d.keys()
138 def __getitem__(self, i):
139 return self.d[i]
140 d.clear()
141 d.update(SimpleUserDict())
142 self.assertEqual(d, {1:1, 2:2, 3:3})
143
144 class Exc(Exception): pass
145
146 d.clear()
147 class FailingUserDict:
148 def keys(self):
149 raise Exc
150 self.assertRaises(Exc, d.update, FailingUserDict())
151
152 class FailingUserDict:
153 def keys(self):
154 class BogonIter:
155 def __init__(self):
156 self.i = 1
157 def __iter__(self):
158 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000159 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000160 if self.i:
161 self.i = 0
162 return 'a'
163 raise Exc
164 return BogonIter()
165 def __getitem__(self, key):
166 return key
167 self.assertRaises(Exc, d.update, FailingUserDict())
168
169 class FailingUserDict:
170 def keys(self):
171 class BogonIter:
172 def __init__(self):
173 self.i = ord('a')
174 def __iter__(self):
175 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000176 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000177 if self.i <= ord('z'):
178 rtn = chr(self.i)
179 self.i += 1
180 return rtn
181 raise StopIteration
182 return BogonIter()
183 def __getitem__(self, key):
184 raise Exc
185 self.assertRaises(Exc, d.update, FailingUserDict())
186
187 class badseq(object):
188 def __iter__(self):
189 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000190 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000191 raise Exc()
192
193 self.assertRaises(Exc, {}.update, badseq())
194
195 self.assertRaises(ValueError, {}.update, [(1, 2, 3)])
196
197 def test_fromkeys(self):
198 self.assertEqual(dict.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
199 d = {}
200 self.assert_(not(d.fromkeys('abc') is d))
201 self.assertEqual(d.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
202 self.assertEqual(d.fromkeys((4,5),0), {4:0, 5:0})
203 self.assertEqual(d.fromkeys([]), {})
204 def g():
205 yield 1
206 self.assertEqual(d.fromkeys(g()), {1:None})
207 self.assertRaises(TypeError, {}.fromkeys, 3)
208 class dictlike(dict): pass
209 self.assertEqual(dictlike.fromkeys('a'), {'a':None})
210 self.assertEqual(dictlike().fromkeys('a'), {'a':None})
211 self.assert_(type(dictlike.fromkeys('a')) is dictlike)
212 self.assert_(type(dictlike().fromkeys('a')) is dictlike)
213 class mydict(dict):
214 def __new__(cls):
Raymond Hettingerf80680d2008-02-06 00:07:11 +0000215 return collections.UserDict()
Walter Dörwald59b23e82004-09-30 13:46:00 +0000216 ud = mydict.fromkeys('ab')
217 self.assertEqual(ud, {'a':None, 'b':None})
Raymond Hettingerf80680d2008-02-06 00:07:11 +0000218 self.assert_(isinstance(ud, collections.UserDict))
Walter Dörwald59b23e82004-09-30 13:46:00 +0000219 self.assertRaises(TypeError, dict.fromkeys)
220
221 class Exc(Exception): pass
222
223 class baddict1(dict):
224 def __init__(self):
225 raise Exc()
226
227 self.assertRaises(Exc, baddict1.fromkeys, [1])
228
229 class BadSeq(object):
230 def __iter__(self):
231 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000232 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000233 raise Exc()
234
235 self.assertRaises(Exc, dict.fromkeys, BadSeq())
236
237 class baddict2(dict):
238 def __setitem__(self, key, value):
239 raise Exc()
240
241 self.assertRaises(Exc, baddict2.fromkeys, [1])
242
Guido van Rossum58da9312007-11-10 23:39:45 +0000243 # test fast path for dictionary inputs
244 d = dict(zip(range(6), range(6)))
245 self.assertEqual(dict.fromkeys(d, 0), dict(zip(range(6), [0]*6)))
246
Walter Dörwald59b23e82004-09-30 13:46:00 +0000247 def test_copy(self):
248 d = {1:1, 2:2, 3:3}
249 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
250 self.assertEqual({}.copy(), {})
251 self.assertRaises(TypeError, d.copy, None)
252
253 def test_get(self):
254 d = {}
255 self.assert_(d.get('c') is None)
256 self.assertEqual(d.get('c', 3), 3)
257 d = {'a' : 1, 'b' : 2}
258 self.assert_(d.get('c') is None)
259 self.assertEqual(d.get('c', 3), 3)
260 self.assertEqual(d.get('a'), 1)
261 self.assertEqual(d.get('a', 3), 1)
262 self.assertRaises(TypeError, d.get)
263 self.assertRaises(TypeError, d.get, None, None, None)
264
265 def test_setdefault(self):
266 # dict.setdefault()
267 d = {}
268 self.assert_(d.setdefault('key0') is None)
269 d.setdefault('key0', [])
270 self.assert_(d.setdefault('key0') is None)
271 d.setdefault('key', []).append(3)
272 self.assertEqual(d['key'][0], 3)
273 d.setdefault('key', []).append(4)
274 self.assertEqual(len(d['key']), 2)
275 self.assertRaises(TypeError, d.setdefault)
276
277 class Exc(Exception): pass
278
279 class BadHash(object):
280 fail = False
281 def __hash__(self):
282 if self.fail:
283 raise Exc()
284 else:
285 return 42
286
287 x = BadHash()
288 d[x] = 42
289 x.fail = True
290 self.assertRaises(Exc, d.setdefault, x, [])
291
292 def test_popitem(self):
293 # dict.popitem()
294 for copymode in -1, +1:
295 # -1: b has same structure as a
296 # +1: b is a.copy()
297 for log2size in range(12):
298 size = 2**log2size
299 a = {}
300 b = {}
301 for i in range(size):
302 a[repr(i)] = i
303 if copymode < 0:
304 b[repr(i)] = i
305 if copymode > 0:
306 b = a.copy()
307 for i in range(size):
308 ka, va = ta = a.popitem()
309 self.assertEqual(va, int(ka))
310 kb, vb = tb = b.popitem()
311 self.assertEqual(vb, int(kb))
312 self.assert_(not(copymode < 0 and ta != tb))
313 self.assert_(not a)
314 self.assert_(not b)
315
316 d = {}
317 self.assertRaises(KeyError, d.popitem)
318
319 def test_pop(self):
320 # Tests for pop with specified key
321 d = {}
322 k, v = 'abc', 'def'
323 d[k] = v
324 self.assertRaises(KeyError, d.pop, 'ghi')
325
326 self.assertEqual(d.pop(k), v)
327 self.assertEqual(len(d), 0)
328
329 self.assertRaises(KeyError, d.pop, k)
330
331 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
332 # see SF bug #689659
Guido van Rossume2a383d2007-01-15 16:59:06 +0000333 x = 4503599627370496
Walter Dörwald59b23e82004-09-30 13:46:00 +0000334 y = 4503599627370496
335 h = {x: 'anything', y: 'something else'}
336 self.assertEqual(h[x], h[y])
337
338 self.assertEqual(d.pop(k, v), v)
339 d[k] = v
340 self.assertEqual(d.pop(k, 1), v)
341
342 self.assertRaises(TypeError, d.pop)
343
344 class Exc(Exception): pass
345
346 class BadHash(object):
347 fail = False
348 def __hash__(self):
349 if self.fail:
350 raise Exc()
351 else:
352 return 42
353
354 x = BadHash()
355 d[x] = 42
356 x.fail = True
357 self.assertRaises(Exc, d.pop, x)
358
359 def test_mutatingiteration(self):
360 d = {}
361 d[1] = 1
362 try:
363 for i in d:
364 d[i+1] = 1
365 except RuntimeError:
366 pass
367 else:
368 self.fail("changing dict size during iteration doesn't raise Error")
369
370 def test_repr(self):
371 d = {}
372 self.assertEqual(repr(d), '{}')
373 d[1] = 2
374 self.assertEqual(repr(d), '{1: 2}')
375 d = {}
376 d[1] = d
377 self.assertEqual(repr(d), '{1: {...}}')
378
379 class Exc(Exception): pass
380
381 class BadRepr(object):
382 def __repr__(self):
383 raise Exc()
384
385 d = {1: BadRepr()}
386 self.assertRaises(Exc, repr, d)
387
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000388 def test_eq(self):
389 self.assertEqual({}, {})
Guido van Rossume2a383d2007-01-15 16:59:06 +0000390 self.assertEqual({1: 2}, {1: 2})
Walter Dörwald59b23e82004-09-30 13:46:00 +0000391
392 class Exc(Exception): pass
393
394 class BadCmp(object):
395 def __eq__(self, other):
396 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +0000397 def __hash__(self):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000398 return 1
Walter Dörwald59b23e82004-09-30 13:46:00 +0000399
400 d1 = {BadCmp(): 1}
401 d2 = {1: 1}
402 try:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000403 d1 == d2
Walter Dörwald59b23e82004-09-30 13:46:00 +0000404 except Exc:
405 pass
406 else:
407 self.fail("< didn't raise Exc")
408
Guido van Rossumaac530c2007-08-24 22:33:45 +0000409 def test_keys_contained(self):
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000410 self.helper_keys_contained(lambda x: x.keys())
411 self.helper_keys_contained(lambda x: x.items())
412
413 def helper_keys_contained(self, fn):
Guido van Rossumaac530c2007-08-24 22:33:45 +0000414 # Test rich comparisons against dict key views, which should behave the
415 # same as sets.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000416 empty = fn(dict())
417 empty2 = fn(dict())
418 smaller = fn({1:1, 2:2})
419 larger = fn({1:1, 2:2, 3:3})
420 larger2 = fn({1:1, 2:2, 3:3})
421 larger3 = fn({4:1, 2:2, 3:3})
Guido van Rossumaac530c2007-08-24 22:33:45 +0000422
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000423 self.assertTrue(smaller < larger)
424 self.assertTrue(smaller <= larger)
425 self.assertTrue(larger > smaller)
426 self.assertTrue(larger >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000427
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000428 self.assertFalse(smaller >= larger)
429 self.assertFalse(smaller > larger)
430 self.assertFalse(larger <= smaller)
431 self.assertFalse(larger < smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000432
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000433 self.assertFalse(smaller < larger3)
434 self.assertFalse(smaller <= larger3)
435 self.assertFalse(larger3 > smaller)
436 self.assertFalse(larger3 >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000437
438 # Inequality strictness
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000439 self.assertTrue(larger2 >= larger)
440 self.assertTrue(larger2 <= larger)
441 self.assertFalse(larger2 > larger)
442 self.assertFalse(larger2 < larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000443
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000444 self.assertTrue(larger == larger2)
445 self.assertTrue(smaller != larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000446
447 # There is an optimization on the zero-element case.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000448 self.assertTrue(empty == empty2)
449 self.assertFalse(empty != empty2)
450 self.assertFalse(empty == smaller)
451 self.assertTrue(empty != smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000452
453 # With the same size, an elementwise compare happens
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000454 self.assertTrue(larger != larger3)
455 self.assertFalse(larger == larger3)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000456
457 def test_errors_in_view_containment_check(self):
458 class C:
459 def __eq__(self, other):
460 raise RuntimeError
461 d1 = {1: C()}
462 d2 = {1: C()}
463 self.assertRaises(RuntimeError, lambda: d1.items() == d2.items())
464 self.assertRaises(RuntimeError, lambda: d1.items() != d2.items())
465 self.assertRaises(RuntimeError, lambda: d1.items() <= d2.items())
466 self.assertRaises(RuntimeError, lambda: d1.items() >= d2.items())
467 d3 = {1: C(), 2: C()}
468 self.assertRaises(RuntimeError, lambda: d2.items() < d3.items())
469 self.assertRaises(RuntimeError, lambda: d3.items() > d2.items())
470
Guido van Rossumbe534712007-08-24 23:43:52 +0000471 def test_dictview_set_operations_on_keys(self):
Guido van Rossum523259b2007-08-24 23:41:22 +0000472 k1 = {1:1, 2:2}.keys()
473 k2 = {1:1, 2:2, 3:3}.keys()
474 k3 = {4:4}.keys()
475
476 self.assertEquals(k1 - k2, set())
477 self.assertEquals(k1 - k3, {1,2})
478 self.assertEquals(k2 - k1, {3})
479 self.assertEquals(k3 - k1, {4})
480 self.assertEquals(k1 & k2, {1,2})
481 self.assertEquals(k1 & k3, set())
482 self.assertEquals(k1 | k2, {1,2,3})
483 self.assertEquals(k1 ^ k2, {3})
484 self.assertEquals(k1 ^ k3, {1,2,4})
485
Guido van Rossumbe534712007-08-24 23:43:52 +0000486 def test_dictview_set_operations_on_items(self):
487 k1 = {1:1, 2:2}.items()
488 k2 = {1:1, 2:2, 3:3}.items()
489 k3 = {4:4}.items()
490
491 self.assertEquals(k1 - k2, set())
492 self.assertEquals(k1 - k3, {(1,1), (2,2)})
493 self.assertEquals(k2 - k1, {(3,3)})
494 self.assertEquals(k3 - k1, {(4,4)})
495 self.assertEquals(k1 & k2, {(1,1), (2,2)})
496 self.assertEquals(k1 & k3, set())
497 self.assertEquals(k1 | k2, {(1,1), (2,2), (3,3)})
498 self.assertEquals(k1 ^ k2, {(3,3)})
499 self.assertEquals(k1 ^ k3, {(1,1), (2,2), (4,4)})
Guido van Rossum523259b2007-08-24 23:41:22 +0000500
Guido van Rossum1d719962007-08-24 23:47:30 +0000501 def test_dictview_mixed_set_operations(self):
502 # Just a few for .keys()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000503 self.assertTrue({1:1}.keys() == {1})
504 self.assertTrue({1} == {1:1}.keys())
Guido van Rossum1d719962007-08-24 23:47:30 +0000505 self.assertEquals({1:1}.keys() | {2}, {1, 2})
506 self.assertEquals({2} | {1:1}.keys(), {1, 2})
507 # And a few for .items()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000508 self.assertTrue({1:1}.items() == {(1,1)})
509 self.assertTrue({(1,1)} == {1:1}.items())
Guido van Rossum1d719962007-08-24 23:47:30 +0000510 self.assertEquals({1:1}.items() | {2}, {(1,1), 2})
511 self.assertEquals({2} | {1:1}.items(), {(1,1), 2})
512
Guido van Rossum1968ad32006-02-25 22:38:04 +0000513 def test_missing(self):
514 # Make sure dict doesn't have a __missing__ method
515 self.assertEqual(hasattr(dict, "__missing__"), False)
516 self.assertEqual(hasattr({}, "__missing__"), False)
517 # Test several cases:
518 # (D) subclass defines __missing__ method returning a value
519 # (E) subclass defines __missing__ method raising RuntimeError
520 # (F) subclass sets __missing__ instance variable (no effect)
521 # (G) subclass doesn't define __missing__ at a all
522 class D(dict):
523 def __missing__(self, key):
524 return 42
525 d = D({1: 2, 3: 4})
526 self.assertEqual(d[1], 2)
527 self.assertEqual(d[3], 4)
528 self.assert_(2 not in d)
529 self.assert_(2 not in d.keys())
530 self.assertEqual(d[2], 42)
531 class E(dict):
532 def __missing__(self, key):
533 raise RuntimeError(key)
534 e = E()
535 try:
536 e[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000537 except RuntimeError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000538 self.assertEqual(err.args, (42,))
539 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000540 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000541 class F(dict):
542 def __init__(self):
543 # An instance variable __missing__ should have no effect
544 self.__missing__ = lambda key: None
545 f = F()
546 try:
547 f[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000548 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000549 self.assertEqual(err.args, (42,))
550 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000551 self.fail("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000552 class G(dict):
553 pass
554 g = G()
555 try:
556 g[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000557 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000558 self.assertEqual(err.args, (42,))
559 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000560 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000561
Thomas Wouters89f507f2006-12-13 04:49:30 +0000562 def test_tuple_keyerror(self):
563 # SF #1576657
564 d = {}
565 try:
566 d[(1,)]
Guido van Rossumb940e112007-01-10 16:19:56 +0000567 except KeyError as e:
Thomas Wouters89f507f2006-12-13 04:49:30 +0000568 self.assertEqual(e.args, ((1,),))
569 else:
570 self.fail("missing KeyError")
571
Guido van Rossumd8faa362007-04-27 19:54:29 +0000572 def test_bad_key(self):
Mark Dickinsona56c4672009-01-27 18:17:45 +0000573 # Dictionary lookups should fail if __eq__() raises an exception.
Guido van Rossumd8faa362007-04-27 19:54:29 +0000574 class CustomException(Exception):
575 pass
576
577 class BadDictKey:
578 def __hash__(self):
579 return hash(self.__class__)
580
581 def __eq__(self, other):
582 if isinstance(other, self.__class__):
583 raise CustomException
584 return other
585
586 d = {}
587 x1 = BadDictKey()
588 x2 = BadDictKey()
589 d[x1] = 1
590 for stmt in ['d[x2] = 2',
591 'z = d[x2]',
592 'x2 in d',
593 'd.get(x2)',
594 'd.setdefault(x2, 42)',
595 'd.pop(x2)',
596 'd.update({x2: 2})']:
597 try:
598 exec(stmt, locals())
599 except CustomException:
600 pass
601 else:
602 self.fail("Statement %r didn't raise exception" % stmt)
603
604 def test_resize1(self):
605 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
606 # This version got an assert failure in debug build, infinite loop in
607 # release build. Unfortunately, provoking this kind of stuff requires
608 # a mix of inserts and deletes hitting exactly the right hash codes in
609 # exactly the right order, and I can't think of a randomized approach
610 # that would be *likely* to hit a failing case in reasonable time.
611
612 d = {}
613 for i in range(5):
614 d[i] = i
615 for i in range(5):
616 del d[i]
617 for i in range(5, 9): # i==8 was the problem
618 d[i] = i
619
620 def test_resize2(self):
621 # Another dict resizing bug (SF bug #1456209).
622 # This caused Segmentation faults or Illegal instructions.
623
624 class X(object):
625 def __hash__(self):
626 return 5
627 def __eq__(self, other):
628 if resizing:
629 d.clear()
630 return False
631 d = {}
632 resizing = False
633 d[X()] = 1
634 d[X()] = 2
635 d[X()] = 3
636 d[X()] = 4
637 d[X()] = 5
638 # now trigger a resize
639 resizing = True
640 d[9] = 6
641
Georg Brandl6aa2d1f2008-08-12 08:35:52 +0000642 def test_empty_presized_dict_in_freelist(self):
643 # Bug #3537: if an empty but presized dict with a size larger
644 # than 7 was in the freelist, it triggered an assertion failure
645 try:
646 d = {'a': 1/0, 'b': None, 'c': None, 'd': None, 'e': None,
647 'f': None, 'g': None, 'h': None}
648 except ZeroDivisionError:
649 pass
650 d = {}
651
Antoine Pitrou7ddda782009-01-01 15:35:33 +0000652 def test_container_iterator(self):
653 # Bug #3680: tp_traverse was not implemented for dictiter and
654 # dictview objects.
655 class C(object):
656 pass
657 views = (dict.items, dict.values, dict.keys)
658 for v in views:
659 obj = C()
660 ref = weakref.ref(obj)
661 container = {obj: 1}
662 obj.v = v(container)
663 obj.x = iter(obj.v)
664 del obj, container
665 gc.collect()
666 self.assert_(ref() is None, "Cycle was not collected")
Georg Brandl6aa2d1f2008-08-12 08:35:52 +0000667
Guido van Rossum1968ad32006-02-25 22:38:04 +0000668
Neal Norwitzc3e54b82006-03-24 07:38:37 +0000669from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000670
671class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
672 type2test = dict
673
674class Dict(dict):
675 pass
676
677class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
678 type2test = Dict
679
Walter Dörwald59b23e82004-09-30 13:46:00 +0000680def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000681 support.run_unittest(
Walter Dörwald59b23e82004-09-30 13:46:00 +0000682 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000683 GeneralMappingTests,
684 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000685 )
686
687if __name__ == "__main__":
688 test_main()