blob: d81ecf59c49977e947962ca1379b497b41d1cab0 [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
239 def test_copy(self):
240 d = {1:1, 2:2, 3:3}
241 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
242 self.assertEqual({}.copy(), {})
243 self.assertRaises(TypeError, d.copy, None)
244
245 def test_get(self):
246 d = {}
247 self.assert_(d.get('c') is None)
248 self.assertEqual(d.get('c', 3), 3)
249 d = {'a' : 1, 'b' : 2}
250 self.assert_(d.get('c') is None)
251 self.assertEqual(d.get('c', 3), 3)
252 self.assertEqual(d.get('a'), 1)
253 self.assertEqual(d.get('a', 3), 1)
254 self.assertRaises(TypeError, d.get)
255 self.assertRaises(TypeError, d.get, None, None, None)
256
257 def test_setdefault(self):
258 # dict.setdefault()
259 d = {}
260 self.assert_(d.setdefault('key0') is None)
261 d.setdefault('key0', [])
262 self.assert_(d.setdefault('key0') is None)
263 d.setdefault('key', []).append(3)
264 self.assertEqual(d['key'][0], 3)
265 d.setdefault('key', []).append(4)
266 self.assertEqual(len(d['key']), 2)
267 self.assertRaises(TypeError, d.setdefault)
268
269 class Exc(Exception): pass
270
271 class BadHash(object):
272 fail = False
273 def __hash__(self):
274 if self.fail:
275 raise Exc()
276 else:
277 return 42
278
279 x = BadHash()
280 d[x] = 42
281 x.fail = True
282 self.assertRaises(Exc, d.setdefault, x, [])
283
284 def test_popitem(self):
285 # dict.popitem()
286 for copymode in -1, +1:
287 # -1: b has same structure as a
288 # +1: b is a.copy()
289 for log2size in range(12):
290 size = 2**log2size
291 a = {}
292 b = {}
293 for i in range(size):
294 a[repr(i)] = i
295 if copymode < 0:
296 b[repr(i)] = i
297 if copymode > 0:
298 b = a.copy()
299 for i in range(size):
300 ka, va = ta = a.popitem()
301 self.assertEqual(va, int(ka))
302 kb, vb = tb = b.popitem()
303 self.assertEqual(vb, int(kb))
304 self.assert_(not(copymode < 0 and ta != tb))
305 self.assert_(not a)
306 self.assert_(not b)
307
308 d = {}
309 self.assertRaises(KeyError, d.popitem)
310
311 def test_pop(self):
312 # Tests for pop with specified key
313 d = {}
314 k, v = 'abc', 'def'
315 d[k] = v
316 self.assertRaises(KeyError, d.pop, 'ghi')
317
318 self.assertEqual(d.pop(k), v)
319 self.assertEqual(len(d), 0)
320
321 self.assertRaises(KeyError, d.pop, k)
322
323 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
324 # see SF bug #689659
Guido van Rossume2a383d2007-01-15 16:59:06 +0000325 x = 4503599627370496
Walter Dörwald59b23e82004-09-30 13:46:00 +0000326 y = 4503599627370496
327 h = {x: 'anything', y: 'something else'}
328 self.assertEqual(h[x], h[y])
329
330 self.assertEqual(d.pop(k, v), v)
331 d[k] = v
332 self.assertEqual(d.pop(k, 1), v)
333
334 self.assertRaises(TypeError, d.pop)
335
336 class Exc(Exception): pass
337
338 class BadHash(object):
339 fail = False
340 def __hash__(self):
341 if self.fail:
342 raise Exc()
343 else:
344 return 42
345
346 x = BadHash()
347 d[x] = 42
348 x.fail = True
349 self.assertRaises(Exc, d.pop, x)
350
351 def test_mutatingiteration(self):
352 d = {}
353 d[1] = 1
354 try:
355 for i in d:
356 d[i+1] = 1
357 except RuntimeError:
358 pass
359 else:
360 self.fail("changing dict size during iteration doesn't raise Error")
361
362 def test_repr(self):
363 d = {}
364 self.assertEqual(repr(d), '{}')
365 d[1] = 2
366 self.assertEqual(repr(d), '{1: 2}')
367 d = {}
368 d[1] = d
369 self.assertEqual(repr(d), '{1: {...}}')
370
371 class Exc(Exception): pass
372
373 class BadRepr(object):
374 def __repr__(self):
375 raise Exc()
376
377 d = {1: BadRepr()}
378 self.assertRaises(Exc, repr, d)
379
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000380 def test_eq(self):
381 self.assertEqual({}, {})
Guido van Rossume2a383d2007-01-15 16:59:06 +0000382 self.assertEqual({1: 2}, {1: 2})
Walter Dörwald59b23e82004-09-30 13:46:00 +0000383
384 class Exc(Exception): pass
385
386 class BadCmp(object):
387 def __eq__(self, other):
388 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +0000389 def __hash__(self):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000390 return 1
Walter Dörwald59b23e82004-09-30 13:46:00 +0000391
392 d1 = {BadCmp(): 1}
393 d2 = {1: 1}
394 try:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000395 d1 == d2
Walter Dörwald59b23e82004-09-30 13:46:00 +0000396 except Exc:
397 pass
398 else:
399 self.fail("< didn't raise Exc")
400
Guido van Rossumaac530c2007-08-24 22:33:45 +0000401 def test_keys_contained(self):
402 # Test rich comparisons against dict key views, which should behave the
403 # same as sets.
404 empty = dict()
405 empty2 = dict()
406 smaller = {1:1, 2:2}
407 larger = {1:1, 2:2, 3:3}
408 larger2 = {1:1, 2:2, 3:3}
409 larger3 = {4:1, 2:2, 3:3}
410
411 self.assertTrue(smaller.keys() < larger.keys())
412 self.assertTrue(smaller.keys() <= larger.keys())
413 self.assertTrue(larger.keys() > smaller.keys())
414 self.assertTrue(larger.keys() >= smaller.keys())
415
416 self.assertFalse(smaller.keys() >= larger.keys())
417 self.assertFalse(smaller.keys() > larger.keys())
418 self.assertFalse(larger.keys() <= smaller.keys())
419 self.assertFalse(larger.keys() < smaller.keys())
420
421 self.assertFalse(smaller.keys() < larger3.keys())
422 self.assertFalse(smaller.keys() <= larger3.keys())
423 self.assertFalse(larger3.keys() > smaller.keys())
424 self.assertFalse(larger3.keys() >= smaller.keys())
425
426 # Inequality strictness
427 self.assertTrue(larger2.keys() >= larger.keys())
428 self.assertTrue(larger2.keys() <= larger.keys())
429 self.assertFalse(larger2.keys() > larger.keys())
430 self.assertFalse(larger2.keys() < larger.keys())
431
432 self.assertTrue(larger.keys() == larger2.keys())
433 self.assertTrue(smaller.keys() != larger.keys())
434
435 # There is an optimization on the zero-element case.
436 self.assertTrue(empty.keys() == empty2.keys())
437 self.assertFalse(empty.keys() != empty2.keys())
438 self.assertFalse(empty.keys() == smaller.keys())
439 self.assertTrue(empty.keys() != smaller.keys())
440
441 # With the same size, an elementwise compare happens
442 self.assertTrue(larger.keys() != larger3.keys())
443 self.assertFalse(larger.keys() == larger3.keys())
444
445 # XXX the same tests for .items()
446
447 def test_errors_in_view_containment_check(self):
448 class C:
449 def __eq__(self, other):
450 raise RuntimeError
451 d1 = {1: C()}
452 d2 = {1: C()}
453 self.assertRaises(RuntimeError, lambda: d1.items() == d2.items())
454 self.assertRaises(RuntimeError, lambda: d1.items() != d2.items())
455 self.assertRaises(RuntimeError, lambda: d1.items() <= d2.items())
456 self.assertRaises(RuntimeError, lambda: d1.items() >= d2.items())
457 d3 = {1: C(), 2: C()}
458 self.assertRaises(RuntimeError, lambda: d2.items() < d3.items())
459 self.assertRaises(RuntimeError, lambda: d3.items() > d2.items())
460
Guido van Rossum1968ad32006-02-25 22:38:04 +0000461 def test_missing(self):
462 # Make sure dict doesn't have a __missing__ method
463 self.assertEqual(hasattr(dict, "__missing__"), False)
464 self.assertEqual(hasattr({}, "__missing__"), False)
465 # Test several cases:
466 # (D) subclass defines __missing__ method returning a value
467 # (E) subclass defines __missing__ method raising RuntimeError
468 # (F) subclass sets __missing__ instance variable (no effect)
469 # (G) subclass doesn't define __missing__ at a all
470 class D(dict):
471 def __missing__(self, key):
472 return 42
473 d = D({1: 2, 3: 4})
474 self.assertEqual(d[1], 2)
475 self.assertEqual(d[3], 4)
476 self.assert_(2 not in d)
477 self.assert_(2 not in d.keys())
478 self.assertEqual(d[2], 42)
479 class E(dict):
480 def __missing__(self, key):
481 raise RuntimeError(key)
482 e = E()
483 try:
484 e[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000485 except RuntimeError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000486 self.assertEqual(err.args, (42,))
487 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000488 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000489 class F(dict):
490 def __init__(self):
491 # An instance variable __missing__ should have no effect
492 self.__missing__ = lambda key: None
493 f = F()
494 try:
495 f[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000496 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000497 self.assertEqual(err.args, (42,))
498 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000499 self.fail("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000500 class G(dict):
501 pass
502 g = G()
503 try:
504 g[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000505 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000506 self.assertEqual(err.args, (42,))
507 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000508 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000509
Thomas Wouters89f507f2006-12-13 04:49:30 +0000510 def test_tuple_keyerror(self):
511 # SF #1576657
512 d = {}
513 try:
514 d[(1,)]
Guido van Rossumb940e112007-01-10 16:19:56 +0000515 except KeyError as e:
Thomas Wouters89f507f2006-12-13 04:49:30 +0000516 self.assertEqual(e.args, ((1,),))
517 else:
518 self.fail("missing KeyError")
519
Guido van Rossumd8faa362007-04-27 19:54:29 +0000520 def test_bad_key(self):
521 # Dictionary lookups should fail if __cmp__() raises an exception.
522 class CustomException(Exception):
523 pass
524
525 class BadDictKey:
526 def __hash__(self):
527 return hash(self.__class__)
528
529 def __eq__(self, other):
530 if isinstance(other, self.__class__):
531 raise CustomException
532 return other
533
534 d = {}
535 x1 = BadDictKey()
536 x2 = BadDictKey()
537 d[x1] = 1
538 for stmt in ['d[x2] = 2',
539 'z = d[x2]',
540 'x2 in d',
541 'd.get(x2)',
542 'd.setdefault(x2, 42)',
543 'd.pop(x2)',
544 'd.update({x2: 2})']:
545 try:
546 exec(stmt, locals())
547 except CustomException:
548 pass
549 else:
550 self.fail("Statement %r didn't raise exception" % stmt)
551
552 def test_resize1(self):
553 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
554 # This version got an assert failure in debug build, infinite loop in
555 # release build. Unfortunately, provoking this kind of stuff requires
556 # a mix of inserts and deletes hitting exactly the right hash codes in
557 # exactly the right order, and I can't think of a randomized approach
558 # that would be *likely* to hit a failing case in reasonable time.
559
560 d = {}
561 for i in range(5):
562 d[i] = i
563 for i in range(5):
564 del d[i]
565 for i in range(5, 9): # i==8 was the problem
566 d[i] = i
567
568 def test_resize2(self):
569 # Another dict resizing bug (SF bug #1456209).
570 # This caused Segmentation faults or Illegal instructions.
571
572 class X(object):
573 def __hash__(self):
574 return 5
575 def __eq__(self, other):
576 if resizing:
577 d.clear()
578 return False
579 d = {}
580 resizing = False
581 d[X()] = 1
582 d[X()] = 2
583 d[X()] = 3
584 d[X()] = 4
585 d[X()] = 5
586 # now trigger a resize
587 resizing = True
588 d[9] = 6
589
Guido van Rossum1968ad32006-02-25 22:38:04 +0000590
Neal Norwitzc3e54b82006-03-24 07:38:37 +0000591from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000592
593class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
594 type2test = dict
595
596class Dict(dict):
597 pass
598
599class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
600 type2test = Dict
601
Walter Dörwald59b23e82004-09-30 13:46:00 +0000602def test_main():
603 test_support.run_unittest(
604 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000605 GeneralMappingTests,
606 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000607 )
608
609if __name__ == "__main__":
610 test_main()