blob: 4ed76ea10b51be6db935e065bb1113fa64ac6bb9 [file] [log] [blame]
Walter Dörwald59b23e82004-09-30 13:46:00 +00001import unittest
2from test import test_support
3
Raymond Hettinger3b635562007-12-19 00:21:06 +00004import sys, UserDict, cStringIO, random, string
Walter Dörwald59b23e82004-09-30 13:46:00 +00005
6
7class DictTest(unittest.TestCase):
8 def test_constructor(self):
9 # calling built-in types without argument must return empty
10 self.assertEqual(dict(), {})
11 self.assert_(dict() is not {})
12
Raymond Hettinger3b635562007-12-19 00:21:06 +000013 def test_literal_constructor(self):
14 # check literal constructor for different sized dicts (to exercise the BUILD_MAP oparg
15 items = []
16 for n in range(400):
17 dictliteral = '{' + ', '.join('%r: %d' % item for item in items) + '}'
18 self.assertEqual(eval(dictliteral), dict(items))
19 items.append((''.join([random.choice(string.letters) for j in range(8)]), n))
20 random.shuffle(items)
21
Walter Dörwald59b23e82004-09-30 13:46:00 +000022 def test_bool(self):
23 self.assert_(not {})
24 self.assert_({1: 2})
25 self.assert_(bool({}) is False)
26 self.assert_(bool({1: 2}) is True)
27
28 def test_keys(self):
29 d = {}
30 self.assertEqual(d.keys(), [])
31 d = {'a': 1, 'b': 2}
32 k = d.keys()
33 self.assert_(d.has_key('a'))
34 self.assert_(d.has_key('b'))
35
36 self.assertRaises(TypeError, d.keys, None)
37
38 def test_values(self):
39 d = {}
40 self.assertEqual(d.values(), [])
41 d = {1:2}
42 self.assertEqual(d.values(), [2])
43
44 self.assertRaises(TypeError, d.values, None)
45
46 def test_items(self):
47 d = {}
48 self.assertEqual(d.items(), [])
49
50 d = {1:2}
51 self.assertEqual(d.items(), [(1, 2)])
52
53 self.assertRaises(TypeError, d.items, None)
54
55 def test_has_key(self):
56 d = {}
57 self.assert_(not d.has_key('a'))
58 d = {'a': 1, 'b': 2}
59 k = d.keys()
60 k.sort()
61 self.assertEqual(k, ['a', 'b'])
62
63 self.assertRaises(TypeError, d.has_key)
64
65 def test_contains(self):
66 d = {}
67 self.assert_(not ('a' in d))
68 self.assert_('a' not in d)
69 d = {'a': 1, 'b': 2}
70 self.assert_('a' in d)
71 self.assert_('b' in d)
72 self.assert_('c' not in d)
73
74 self.assertRaises(TypeError, d.__contains__)
75
76 def test_len(self):
77 d = {}
78 self.assertEqual(len(d), 0)
79 d = {'a': 1, 'b': 2}
80 self.assertEqual(len(d), 2)
81
82 def test_getitem(self):
83 d = {'a': 1, 'b': 2}
84 self.assertEqual(d['a'], 1)
85 self.assertEqual(d['b'], 2)
86 d['c'] = 3
87 d['a'] = 4
88 self.assertEqual(d['c'], 3)
89 self.assertEqual(d['a'], 4)
90 del d['b']
91 self.assertEqual(d, {'a': 4, 'c': 3})
92
93 self.assertRaises(TypeError, d.__getitem__)
94
95 class BadEq(object):
96 def __eq__(self, other):
97 raise Exc()
Guido van Rossum64c06e32007-11-22 00:55:51 +000098 def __hash__(self):
99 return 24
Walter Dörwald59b23e82004-09-30 13:46:00 +0000100
101 d = {}
102 d[BadEq()] = 42
103 self.assertRaises(KeyError, d.__getitem__, 23)
104
105 class Exc(Exception): pass
106
107 class BadHash(object):
108 fail = False
109 def __hash__(self):
110 if self.fail:
111 raise Exc()
112 else:
113 return 42
114
115 x = BadHash()
116 d[x] = 42
117 x.fail = True
118 self.assertRaises(Exc, d.__getitem__, x)
119
120 def test_clear(self):
121 d = {1:1, 2:2, 3:3}
122 d.clear()
123 self.assertEqual(d, {})
124
125 self.assertRaises(TypeError, d.clear, None)
126
127 def test_update(self):
128 d = {}
129 d.update({1:100})
130 d.update({2:20})
131 d.update({1:1, 2:2, 3:3})
132 self.assertEqual(d, {1:1, 2:2, 3:3})
133
134 d.update()
135 self.assertEqual(d, {1:1, 2:2, 3:3})
136
137 self.assertRaises((TypeError, AttributeError), d.update, None)
138
139 class SimpleUserDict:
140 def __init__(self):
141 self.d = {1:1, 2:2, 3:3}
142 def keys(self):
143 return self.d.keys()
144 def __getitem__(self, i):
145 return self.d[i]
146 d.clear()
147 d.update(SimpleUserDict())
148 self.assertEqual(d, {1:1, 2:2, 3:3})
149
150 class Exc(Exception): pass
151
152 d.clear()
153 class FailingUserDict:
154 def keys(self):
155 raise Exc
156 self.assertRaises(Exc, d.update, FailingUserDict())
157
158 class FailingUserDict:
159 def keys(self):
160 class BogonIter:
161 def __init__(self):
162 self.i = 1
163 def __iter__(self):
164 return self
165 def next(self):
166 if self.i:
167 self.i = 0
168 return 'a'
169 raise Exc
170 return BogonIter()
171 def __getitem__(self, key):
172 return key
173 self.assertRaises(Exc, d.update, FailingUserDict())
174
175 class FailingUserDict:
176 def keys(self):
177 class BogonIter:
178 def __init__(self):
179 self.i = ord('a')
180 def __iter__(self):
181 return self
182 def next(self):
183 if self.i <= ord('z'):
184 rtn = chr(self.i)
185 self.i += 1
186 return rtn
187 raise StopIteration
188 return BogonIter()
189 def __getitem__(self, key):
190 raise Exc
191 self.assertRaises(Exc, d.update, FailingUserDict())
192
193 class badseq(object):
194 def __iter__(self):
195 return self
196 def next(self):
197 raise Exc()
198
199 self.assertRaises(Exc, {}.update, badseq())
200
201 self.assertRaises(ValueError, {}.update, [(1, 2, 3)])
202
203 def test_fromkeys(self):
204 self.assertEqual(dict.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
205 d = {}
206 self.assert_(not(d.fromkeys('abc') is d))
207 self.assertEqual(d.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
208 self.assertEqual(d.fromkeys((4,5),0), {4:0, 5:0})
209 self.assertEqual(d.fromkeys([]), {})
210 def g():
211 yield 1
212 self.assertEqual(d.fromkeys(g()), {1:None})
213 self.assertRaises(TypeError, {}.fromkeys, 3)
214 class dictlike(dict): pass
215 self.assertEqual(dictlike.fromkeys('a'), {'a':None})
216 self.assertEqual(dictlike().fromkeys('a'), {'a':None})
217 self.assert_(type(dictlike.fromkeys('a')) is dictlike)
218 self.assert_(type(dictlike().fromkeys('a')) is dictlike)
219 class mydict(dict):
220 def __new__(cls):
221 return UserDict.UserDict()
222 ud = mydict.fromkeys('ab')
223 self.assertEqual(ud, {'a':None, 'b':None})
224 self.assert_(isinstance(ud, UserDict.UserDict))
225 self.assertRaises(TypeError, dict.fromkeys)
226
227 class Exc(Exception): pass
228
229 class baddict1(dict):
230 def __init__(self):
231 raise Exc()
232
233 self.assertRaises(Exc, baddict1.fromkeys, [1])
234
235 class BadSeq(object):
236 def __iter__(self):
237 return self
238 def next(self):
239 raise Exc()
240
241 self.assertRaises(Exc, dict.fromkeys, BadSeq())
242
243 class baddict2(dict):
244 def __setitem__(self, key, value):
245 raise Exc()
246
247 self.assertRaises(Exc, baddict2.fromkeys, [1])
248
Raymond Hettingercdcf8872007-11-07 02:26:17 +0000249 # test fast path for dictionary inputs
250 d = dict(zip(range(6), range(6)))
251 self.assertEqual(dict.fromkeys(d, 0), dict(zip(range(6), [0]*6)))
252
Walter Dörwald59b23e82004-09-30 13:46:00 +0000253 def test_copy(self):
254 d = {1:1, 2:2, 3:3}
255 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
256 self.assertEqual({}.copy(), {})
257 self.assertRaises(TypeError, d.copy, None)
258
259 def test_get(self):
260 d = {}
261 self.assert_(d.get('c') is None)
262 self.assertEqual(d.get('c', 3), 3)
263 d = {'a' : 1, 'b' : 2}
264 self.assert_(d.get('c') is None)
265 self.assertEqual(d.get('c', 3), 3)
266 self.assertEqual(d.get('a'), 1)
267 self.assertEqual(d.get('a', 3), 1)
268 self.assertRaises(TypeError, d.get)
269 self.assertRaises(TypeError, d.get, None, None, None)
270
271 def test_setdefault(self):
272 # dict.setdefault()
273 d = {}
274 self.assert_(d.setdefault('key0') is None)
275 d.setdefault('key0', [])
276 self.assert_(d.setdefault('key0') is None)
277 d.setdefault('key', []).append(3)
278 self.assertEqual(d['key'][0], 3)
279 d.setdefault('key', []).append(4)
280 self.assertEqual(len(d['key']), 2)
281 self.assertRaises(TypeError, d.setdefault)
282
283 class Exc(Exception): pass
284
285 class BadHash(object):
286 fail = False
287 def __hash__(self):
288 if self.fail:
289 raise Exc()
290 else:
291 return 42
292
293 x = BadHash()
294 d[x] = 42
295 x.fail = True
296 self.assertRaises(Exc, d.setdefault, x, [])
297
298 def test_popitem(self):
299 # dict.popitem()
300 for copymode in -1, +1:
301 # -1: b has same structure as a
302 # +1: b is a.copy()
303 for log2size in range(12):
304 size = 2**log2size
305 a = {}
306 b = {}
307 for i in range(size):
308 a[repr(i)] = i
309 if copymode < 0:
310 b[repr(i)] = i
311 if copymode > 0:
312 b = a.copy()
313 for i in range(size):
314 ka, va = ta = a.popitem()
315 self.assertEqual(va, int(ka))
316 kb, vb = tb = b.popitem()
317 self.assertEqual(vb, int(kb))
318 self.assert_(not(copymode < 0 and ta != tb))
319 self.assert_(not a)
320 self.assert_(not b)
321
322 d = {}
323 self.assertRaises(KeyError, d.popitem)
324
325 def test_pop(self):
326 # Tests for pop with specified key
327 d = {}
328 k, v = 'abc', 'def'
329 d[k] = v
330 self.assertRaises(KeyError, d.pop, 'ghi')
331
332 self.assertEqual(d.pop(k), v)
333 self.assertEqual(len(d), 0)
334
335 self.assertRaises(KeyError, d.pop, k)
336
337 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
338 # see SF bug #689659
339 x = 4503599627370496L
340 y = 4503599627370496
341 h = {x: 'anything', y: 'something else'}
342 self.assertEqual(h[x], h[y])
343
344 self.assertEqual(d.pop(k, v), v)
345 d[k] = v
346 self.assertEqual(d.pop(k, 1), v)
347
348 self.assertRaises(TypeError, d.pop)
349
350 class Exc(Exception): pass
351
352 class BadHash(object):
353 fail = False
354 def __hash__(self):
355 if self.fail:
356 raise Exc()
357 else:
358 return 42
359
360 x = BadHash()
361 d[x] = 42
362 x.fail = True
363 self.assertRaises(Exc, d.pop, x)
364
365 def test_mutatingiteration(self):
366 d = {}
367 d[1] = 1
368 try:
369 for i in d:
370 d[i+1] = 1
371 except RuntimeError:
372 pass
373 else:
374 self.fail("changing dict size during iteration doesn't raise Error")
375
376 def test_repr(self):
377 d = {}
378 self.assertEqual(repr(d), '{}')
379 d[1] = 2
380 self.assertEqual(repr(d), '{1: 2}')
381 d = {}
382 d[1] = d
383 self.assertEqual(repr(d), '{1: {...}}')
384
385 class Exc(Exception): pass
386
387 class BadRepr(object):
388 def __repr__(self):
389 raise Exc()
390
391 d = {1: BadRepr()}
392 self.assertRaises(Exc, repr, d)
393
394 def test_le(self):
395 self.assert_(not ({} < {}))
396 self.assert_(not ({1: 2} < {1L: 2L}))
397
398 class Exc(Exception): pass
399
400 class BadCmp(object):
401 def __eq__(self, other):
402 raise Exc()
Guido van Rossum64c06e32007-11-22 00:55:51 +0000403 def __hash__(self):
404 return 42
Walter Dörwald59b23e82004-09-30 13:46:00 +0000405
406 d1 = {BadCmp(): 1}
407 d2 = {1: 1}
408 try:
409 d1 < d2
410 except Exc:
411 pass
412 else:
413 self.fail("< didn't raise Exc")
414
Guido van Rossum1968ad32006-02-25 22:38:04 +0000415 def test_missing(self):
416 # Make sure dict doesn't have a __missing__ method
417 self.assertEqual(hasattr(dict, "__missing__"), False)
418 self.assertEqual(hasattr({}, "__missing__"), False)
419 # Test several cases:
420 # (D) subclass defines __missing__ method returning a value
421 # (E) subclass defines __missing__ method raising RuntimeError
422 # (F) subclass sets __missing__ instance variable (no effect)
423 # (G) subclass doesn't define __missing__ at a all
424 class D(dict):
425 def __missing__(self, key):
426 return 42
427 d = D({1: 2, 3: 4})
428 self.assertEqual(d[1], 2)
429 self.assertEqual(d[3], 4)
430 self.assert_(2 not in d)
431 self.assert_(2 not in d.keys())
432 self.assertEqual(d[2], 42)
433 class E(dict):
434 def __missing__(self, key):
435 raise RuntimeError(key)
436 e = E()
437 try:
438 e[42]
439 except RuntimeError, err:
440 self.assertEqual(err.args, (42,))
441 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000442 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000443 class F(dict):
444 def __init__(self):
445 # An instance variable __missing__ should have no effect
446 self.__missing__ = lambda key: None
447 f = F()
448 try:
449 f[42]
450 except KeyError, err:
451 self.assertEqual(err.args, (42,))
452 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000453 self.fail("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000454 class G(dict):
455 pass
456 g = G()
457 try:
458 g[42]
459 except KeyError, err:
460 self.assertEqual(err.args, (42,))
461 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000462 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000463
Georg Brandlb9f4ad32006-10-29 18:31:42 +0000464 def test_tuple_keyerror(self):
465 # SF #1576657
466 d = {}
467 try:
468 d[(1,)]
469 except KeyError, e:
470 self.assertEqual(e.args, ((1,),))
471 else:
472 self.fail("missing KeyError")
Tim Petersea5962f2007-03-12 18:07:52 +0000473
Collin Winterf567ca32007-03-12 15:57:19 +0000474 def test_bad_key(self):
475 # Dictionary lookups should fail if __cmp__() raises an exception.
476 class CustomException(Exception):
477 pass
Tim Petersea5962f2007-03-12 18:07:52 +0000478
Collin Winterf567ca32007-03-12 15:57:19 +0000479 class BadDictKey:
480 def __hash__(self):
481 return hash(self.__class__)
482
483 def __cmp__(self, other):
484 if isinstance(other, self.__class__):
485 raise CustomException
486 return other
Tim Petersea5962f2007-03-12 18:07:52 +0000487
Collin Winterf567ca32007-03-12 15:57:19 +0000488 d = {}
489 x1 = BadDictKey()
490 x2 = BadDictKey()
491 d[x1] = 1
492 for stmt in ['d[x2] = 2',
493 'z = d[x2]',
494 'x2 in d',
495 'd.has_key(x2)',
496 'd.get(x2)',
497 'd.setdefault(x2, 42)',
498 'd.pop(x2)',
499 'd.update({x2: 2})']:
500 try:
501 exec stmt in locals()
502 except CustomException:
503 pass
504 else:
505 self.fail("Statement didn't raise exception")
506
507 def test_resize1(self):
508 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
509 # This version got an assert failure in debug build, infinite loop in
510 # release build. Unfortunately, provoking this kind of stuff requires
511 # a mix of inserts and deletes hitting exactly the right hash codes in
512 # exactly the right order, and I can't think of a randomized approach
513 # that would be *likely* to hit a failing case in reasonable time.
Tim Petersea5962f2007-03-12 18:07:52 +0000514
Collin Winterf567ca32007-03-12 15:57:19 +0000515 d = {}
516 for i in range(5):
517 d[i] = i
518 for i in range(5):
519 del d[i]
520 for i in range(5, 9): # i==8 was the problem
521 d[i] = i
522
523 def test_resize2(self):
524 # Another dict resizing bug (SF bug #1456209).
525 # This caused Segmentation faults or Illegal instructions.
Tim Petersea5962f2007-03-12 18:07:52 +0000526
Collin Winterf567ca32007-03-12 15:57:19 +0000527 class X(object):
528 def __hash__(self):
529 return 5
530 def __eq__(self, other):
531 if resizing:
532 d.clear()
533 return False
534 d = {}
535 resizing = False
536 d[X()] = 1
537 d[X()] = 2
538 d[X()] = 3
539 d[X()] = 4
540 d[X()] = 5
541 # now trigger a resize
542 resizing = True
543 d[9] = 6
Georg Brandlb9f4ad32006-10-29 18:31:42 +0000544
Guido van Rossum1968ad32006-02-25 22:38:04 +0000545
Neal Norwitzb902f4e2006-04-03 04:45:34 +0000546from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000547
548class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
549 type2test = dict
550
551class Dict(dict):
552 pass
553
554class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
555 type2test = Dict
556
Walter Dörwald59b23e82004-09-30 13:46:00 +0000557def test_main():
558 test_support.run_unittest(
559 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000560 GeneralMappingTests,
561 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000562 )
563
564if __name__ == "__main__":
565 test_main()