blob: b47e43ddb59d4ba6e9b3e126f20af0194fd53ba0 [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
Raymond Hettinger0922d712007-02-07 20:08:22 +0000203 # SF #1615701: make d.update(m) honor __getitem__() and keys() in dict subclasses
204 class KeyUpperDict(dict):
205 def __getitem__(self, key):
206 return key.upper()
207 d.clear()
208 d.update(KeyUpperDict.fromkeys('abc'))
209 self.assertEqual(d, {'a':'A', 'b':'B', 'c':'C'})
210
Walter Dörwald59b23e82004-09-30 13:46:00 +0000211 def test_fromkeys(self):
212 self.assertEqual(dict.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
213 d = {}
214 self.assert_(not(d.fromkeys('abc') is d))
215 self.assertEqual(d.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
216 self.assertEqual(d.fromkeys((4,5),0), {4:0, 5:0})
217 self.assertEqual(d.fromkeys([]), {})
218 def g():
219 yield 1
220 self.assertEqual(d.fromkeys(g()), {1:None})
221 self.assertRaises(TypeError, {}.fromkeys, 3)
222 class dictlike(dict): pass
223 self.assertEqual(dictlike.fromkeys('a'), {'a':None})
224 self.assertEqual(dictlike().fromkeys('a'), {'a':None})
225 self.assert_(type(dictlike.fromkeys('a')) is dictlike)
226 self.assert_(type(dictlike().fromkeys('a')) is dictlike)
227 class mydict(dict):
228 def __new__(cls):
229 return UserDict.UserDict()
230 ud = mydict.fromkeys('ab')
231 self.assertEqual(ud, {'a':None, 'b':None})
232 self.assert_(isinstance(ud, UserDict.UserDict))
233 self.assertRaises(TypeError, dict.fromkeys)
234
235 class Exc(Exception): pass
236
237 class baddict1(dict):
238 def __init__(self):
239 raise Exc()
240
241 self.assertRaises(Exc, baddict1.fromkeys, [1])
242
243 class BadSeq(object):
244 def __iter__(self):
245 return self
246 def next(self):
247 raise Exc()
248
249 self.assertRaises(Exc, dict.fromkeys, BadSeq())
250
251 class baddict2(dict):
252 def __setitem__(self, key, value):
253 raise Exc()
254
255 self.assertRaises(Exc, baddict2.fromkeys, [1])
256
Raymond Hettingercdcf8872007-11-07 02:26:17 +0000257 # test fast path for dictionary inputs
258 d = dict(zip(range(6), range(6)))
259 self.assertEqual(dict.fromkeys(d, 0), dict(zip(range(6), [0]*6)))
260
Walter Dörwald59b23e82004-09-30 13:46:00 +0000261 def test_copy(self):
262 d = {1:1, 2:2, 3:3}
263 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
264 self.assertEqual({}.copy(), {})
265 self.assertRaises(TypeError, d.copy, None)
266
267 def test_get(self):
268 d = {}
269 self.assert_(d.get('c') is None)
270 self.assertEqual(d.get('c', 3), 3)
271 d = {'a' : 1, 'b' : 2}
272 self.assert_(d.get('c') is None)
273 self.assertEqual(d.get('c', 3), 3)
274 self.assertEqual(d.get('a'), 1)
275 self.assertEqual(d.get('a', 3), 1)
276 self.assertRaises(TypeError, d.get)
277 self.assertRaises(TypeError, d.get, None, None, None)
278
279 def test_setdefault(self):
280 # dict.setdefault()
281 d = {}
282 self.assert_(d.setdefault('key0') is None)
283 d.setdefault('key0', [])
284 self.assert_(d.setdefault('key0') is None)
285 d.setdefault('key', []).append(3)
286 self.assertEqual(d['key'][0], 3)
287 d.setdefault('key', []).append(4)
288 self.assertEqual(len(d['key']), 2)
289 self.assertRaises(TypeError, d.setdefault)
290
291 class Exc(Exception): pass
292
293 class BadHash(object):
294 fail = False
295 def __hash__(self):
296 if self.fail:
297 raise Exc()
298 else:
299 return 42
300
301 x = BadHash()
302 d[x] = 42
303 x.fail = True
304 self.assertRaises(Exc, d.setdefault, x, [])
305
306 def test_popitem(self):
307 # dict.popitem()
308 for copymode in -1, +1:
309 # -1: b has same structure as a
310 # +1: b is a.copy()
311 for log2size in range(12):
312 size = 2**log2size
313 a = {}
314 b = {}
315 for i in range(size):
316 a[repr(i)] = i
317 if copymode < 0:
318 b[repr(i)] = i
319 if copymode > 0:
320 b = a.copy()
321 for i in range(size):
322 ka, va = ta = a.popitem()
323 self.assertEqual(va, int(ka))
324 kb, vb = tb = b.popitem()
325 self.assertEqual(vb, int(kb))
326 self.assert_(not(copymode < 0 and ta != tb))
327 self.assert_(not a)
328 self.assert_(not b)
329
330 d = {}
331 self.assertRaises(KeyError, d.popitem)
332
333 def test_pop(self):
334 # Tests for pop with specified key
335 d = {}
336 k, v = 'abc', 'def'
337 d[k] = v
338 self.assertRaises(KeyError, d.pop, 'ghi')
339
340 self.assertEqual(d.pop(k), v)
341 self.assertEqual(len(d), 0)
342
343 self.assertRaises(KeyError, d.pop, k)
344
345 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
346 # see SF bug #689659
347 x = 4503599627370496L
348 y = 4503599627370496
349 h = {x: 'anything', y: 'something else'}
350 self.assertEqual(h[x], h[y])
351
352 self.assertEqual(d.pop(k, v), v)
353 d[k] = v
354 self.assertEqual(d.pop(k, 1), v)
355
356 self.assertRaises(TypeError, d.pop)
357
358 class Exc(Exception): pass
359
360 class BadHash(object):
361 fail = False
362 def __hash__(self):
363 if self.fail:
364 raise Exc()
365 else:
366 return 42
367
368 x = BadHash()
369 d[x] = 42
370 x.fail = True
371 self.assertRaises(Exc, d.pop, x)
372
373 def test_mutatingiteration(self):
374 d = {}
375 d[1] = 1
376 try:
377 for i in d:
378 d[i+1] = 1
379 except RuntimeError:
380 pass
381 else:
382 self.fail("changing dict size during iteration doesn't raise Error")
383
384 def test_repr(self):
385 d = {}
386 self.assertEqual(repr(d), '{}')
387 d[1] = 2
388 self.assertEqual(repr(d), '{1: 2}')
389 d = {}
390 d[1] = d
391 self.assertEqual(repr(d), '{1: {...}}')
392
393 class Exc(Exception): pass
394
395 class BadRepr(object):
396 def __repr__(self):
397 raise Exc()
398
399 d = {1: BadRepr()}
400 self.assertRaises(Exc, repr, d)
401
402 def test_le(self):
403 self.assert_(not ({} < {}))
404 self.assert_(not ({1: 2} < {1L: 2L}))
405
406 class Exc(Exception): pass
407
408 class BadCmp(object):
409 def __eq__(self, other):
410 raise Exc()
Guido van Rossum64c06e32007-11-22 00:55:51 +0000411 def __hash__(self):
412 return 42
Walter Dörwald59b23e82004-09-30 13:46:00 +0000413
414 d1 = {BadCmp(): 1}
415 d2 = {1: 1}
416 try:
417 d1 < d2
418 except Exc:
419 pass
420 else:
421 self.fail("< didn't raise Exc")
422
Guido van Rossum1968ad32006-02-25 22:38:04 +0000423 def test_missing(self):
424 # Make sure dict doesn't have a __missing__ method
425 self.assertEqual(hasattr(dict, "__missing__"), False)
426 self.assertEqual(hasattr({}, "__missing__"), False)
427 # Test several cases:
428 # (D) subclass defines __missing__ method returning a value
429 # (E) subclass defines __missing__ method raising RuntimeError
430 # (F) subclass sets __missing__ instance variable (no effect)
431 # (G) subclass doesn't define __missing__ at a all
432 class D(dict):
433 def __missing__(self, key):
434 return 42
435 d = D({1: 2, 3: 4})
436 self.assertEqual(d[1], 2)
437 self.assertEqual(d[3], 4)
438 self.assert_(2 not in d)
439 self.assert_(2 not in d.keys())
440 self.assertEqual(d[2], 42)
441 class E(dict):
442 def __missing__(self, key):
443 raise RuntimeError(key)
444 e = E()
445 try:
446 e[42]
447 except RuntimeError, err:
448 self.assertEqual(err.args, (42,))
449 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000450 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000451 class F(dict):
452 def __init__(self):
453 # An instance variable __missing__ should have no effect
454 self.__missing__ = lambda key: None
455 f = F()
456 try:
457 f[42]
458 except KeyError, err:
459 self.assertEqual(err.args, (42,))
460 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000461 self.fail("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000462 class G(dict):
463 pass
464 g = G()
465 try:
466 g[42]
467 except KeyError, err:
468 self.assertEqual(err.args, (42,))
469 else:
Georg Brandl8905bb12007-03-04 17:18:54 +0000470 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000471
Georg Brandlb9f4ad32006-10-29 18:31:42 +0000472 def test_tuple_keyerror(self):
473 # SF #1576657
474 d = {}
475 try:
476 d[(1,)]
477 except KeyError, e:
478 self.assertEqual(e.args, ((1,),))
479 else:
480 self.fail("missing KeyError")
Tim Petersea5962f2007-03-12 18:07:52 +0000481
Collin Winterf567ca32007-03-12 15:57:19 +0000482 def test_bad_key(self):
483 # Dictionary lookups should fail if __cmp__() raises an exception.
484 class CustomException(Exception):
485 pass
Tim Petersea5962f2007-03-12 18:07:52 +0000486
Collin Winterf567ca32007-03-12 15:57:19 +0000487 class BadDictKey:
488 def __hash__(self):
489 return hash(self.__class__)
490
491 def __cmp__(self, other):
492 if isinstance(other, self.__class__):
493 raise CustomException
494 return other
Tim Petersea5962f2007-03-12 18:07:52 +0000495
Collin Winterf567ca32007-03-12 15:57:19 +0000496 d = {}
497 x1 = BadDictKey()
498 x2 = BadDictKey()
499 d[x1] = 1
500 for stmt in ['d[x2] = 2',
501 'z = d[x2]',
502 'x2 in d',
503 'd.has_key(x2)',
504 'd.get(x2)',
505 'd.setdefault(x2, 42)',
506 'd.pop(x2)',
507 'd.update({x2: 2})']:
508 try:
509 exec stmt in locals()
510 except CustomException:
511 pass
512 else:
513 self.fail("Statement didn't raise exception")
514
515 def test_resize1(self):
516 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
517 # This version got an assert failure in debug build, infinite loop in
518 # release build. Unfortunately, provoking this kind of stuff requires
519 # a mix of inserts and deletes hitting exactly the right hash codes in
520 # exactly the right order, and I can't think of a randomized approach
521 # that would be *likely* to hit a failing case in reasonable time.
Tim Petersea5962f2007-03-12 18:07:52 +0000522
Collin Winterf567ca32007-03-12 15:57:19 +0000523 d = {}
524 for i in range(5):
525 d[i] = i
526 for i in range(5):
527 del d[i]
528 for i in range(5, 9): # i==8 was the problem
529 d[i] = i
530
531 def test_resize2(self):
532 # Another dict resizing bug (SF bug #1456209).
533 # This caused Segmentation faults or Illegal instructions.
Tim Petersea5962f2007-03-12 18:07:52 +0000534
Collin Winterf567ca32007-03-12 15:57:19 +0000535 class X(object):
536 def __hash__(self):
537 return 5
538 def __eq__(self, other):
539 if resizing:
540 d.clear()
541 return False
542 d = {}
543 resizing = False
544 d[X()] = 1
545 d[X()] = 2
546 d[X()] = 3
547 d[X()] = 4
548 d[X()] = 5
549 # now trigger a resize
550 resizing = True
551 d[9] = 6
Georg Brandlb9f4ad32006-10-29 18:31:42 +0000552
Guido van Rossum1968ad32006-02-25 22:38:04 +0000553
Neal Norwitzb902f4e2006-04-03 04:45:34 +0000554from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000555
556class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
557 type2test = dict
558
559class Dict(dict):
560 pass
561
562class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
563 type2test = Dict
564
Walter Dörwald59b23e82004-09-30 13:46:00 +0000565def test_main():
566 test_support.run_unittest(
567 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000568 GeneralMappingTests,
569 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000570 )
571
572if __name__ == "__main__":
573 test_main()