blob: 53e6446a995c18aa15ecf0ceec41e2a2fc1537dd [file] [log] [blame]
Walter Dörwald59b23e82004-09-30 13:46:00 +00001import unittest
2from test import test_support
3
Christian Heimes99170a52007-12-19 02:07:34 +00004import sys, UserDict, random, string
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
Christian Heimes99170a52007-12-19 02:07:34 +000014 def test_literal_constructor(self):
15 # check literal constructor for different sized dicts (to exercise the BUILD_MAP oparg
16 items = []
17 for n in range(400):
18 dictliteral = '{' + ', '.join('%r: %d' % item for item in items) + '}'
19 self.assertEqual(eval(dictliteral), dict(items))
20 items.append((''.join([random.choice(string.ascii_letters) for j in range(8)]), n))
21 random.shuffle(items)
22
Walter Dörwald59b23e82004-09-30 13:46:00 +000023 def test_bool(self):
24 self.assert_(not {})
25 self.assert_({1: 2})
26 self.assert_(bool({}) is False)
27 self.assert_(bool({1: 2}) is True)
28
29 def test_keys(self):
30 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000031 self.assertEqual(set(d.keys()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000032 d = {'a': 1, 'b': 2}
33 k = d.keys()
Guido van Rossume2b70bc2006-08-18 22:13:04 +000034 self.assert_('a' in d)
35 self.assert_('b' in d)
Walter Dörwald59b23e82004-09-30 13:46:00 +000036
37 self.assertRaises(TypeError, d.keys, None)
38
39 def test_values(self):
40 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000041 self.assertEqual(set(d.values()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000042 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000043 self.assertEqual(set(d.values()), {2})
Walter Dörwald59b23e82004-09-30 13:46:00 +000044
45 self.assertRaises(TypeError, d.values, None)
46
47 def test_items(self):
48 d = {}
Guido van Rossume34cdd12007-02-14 17:49:04 +000049 self.assertEqual(set(d.items()), set())
Walter Dörwald59b23e82004-09-30 13:46:00 +000050
51 d = {1:2}
Guido van Rossume34cdd12007-02-14 17:49:04 +000052 self.assertEqual(set(d.items()), {(1, 2)})
Walter Dörwald59b23e82004-09-30 13:46:00 +000053
54 self.assertRaises(TypeError, d.items, None)
55
Walter Dörwald59b23e82004-09-30 13:46:00 +000056 def test_contains(self):
57 d = {}
58 self.assert_(not ('a' in d))
59 self.assert_('a' not in d)
60 d = {'a': 1, 'b': 2}
61 self.assert_('a' in d)
62 self.assert_('b' in d)
63 self.assert_('c' not in d)
64
65 self.assertRaises(TypeError, d.__contains__)
66
67 def test_len(self):
68 d = {}
69 self.assertEqual(len(d), 0)
70 d = {'a': 1, 'b': 2}
71 self.assertEqual(len(d), 2)
72
73 def test_getitem(self):
74 d = {'a': 1, 'b': 2}
75 self.assertEqual(d['a'], 1)
76 self.assertEqual(d['b'], 2)
77 d['c'] = 3
78 d['a'] = 4
79 self.assertEqual(d['c'], 3)
80 self.assertEqual(d['a'], 4)
81 del d['b']
82 self.assertEqual(d, {'a': 4, 'c': 3})
83
84 self.assertRaises(TypeError, d.__getitem__)
85
86 class BadEq(object):
87 def __eq__(self, other):
88 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +000089 def __hash__(self):
90 return 24
Walter Dörwald59b23e82004-09-30 13:46:00 +000091
92 d = {}
93 d[BadEq()] = 42
94 self.assertRaises(KeyError, d.__getitem__, 23)
95
96 class Exc(Exception): pass
97
98 class BadHash(object):
99 fail = False
100 def __hash__(self):
101 if self.fail:
102 raise Exc()
103 else:
104 return 42
105
106 x = BadHash()
107 d[x] = 42
108 x.fail = True
109 self.assertRaises(Exc, d.__getitem__, x)
110
111 def test_clear(self):
112 d = {1:1, 2:2, 3:3}
113 d.clear()
114 self.assertEqual(d, {})
115
116 self.assertRaises(TypeError, d.clear, None)
117
118 def test_update(self):
119 d = {}
120 d.update({1:100})
121 d.update({2:20})
122 d.update({1:1, 2:2, 3:3})
123 self.assertEqual(d, {1:1, 2:2, 3:3})
124
125 d.update()
126 self.assertEqual(d, {1:1, 2:2, 3:3})
127
128 self.assertRaises((TypeError, AttributeError), d.update, None)
129
130 class SimpleUserDict:
131 def __init__(self):
132 self.d = {1:1, 2:2, 3:3}
133 def keys(self):
134 return self.d.keys()
135 def __getitem__(self, i):
136 return self.d[i]
137 d.clear()
138 d.update(SimpleUserDict())
139 self.assertEqual(d, {1:1, 2:2, 3:3})
140
141 class Exc(Exception): pass
142
143 d.clear()
144 class FailingUserDict:
145 def keys(self):
146 raise Exc
147 self.assertRaises(Exc, d.update, FailingUserDict())
148
149 class FailingUserDict:
150 def keys(self):
151 class BogonIter:
152 def __init__(self):
153 self.i = 1
154 def __iter__(self):
155 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000156 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000157 if self.i:
158 self.i = 0
159 return 'a'
160 raise Exc
161 return BogonIter()
162 def __getitem__(self, key):
163 return key
164 self.assertRaises(Exc, d.update, FailingUserDict())
165
166 class FailingUserDict:
167 def keys(self):
168 class BogonIter:
169 def __init__(self):
170 self.i = ord('a')
171 def __iter__(self):
172 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000173 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000174 if self.i <= ord('z'):
175 rtn = chr(self.i)
176 self.i += 1
177 return rtn
178 raise StopIteration
179 return BogonIter()
180 def __getitem__(self, key):
181 raise Exc
182 self.assertRaises(Exc, d.update, FailingUserDict())
183
184 class badseq(object):
185 def __iter__(self):
186 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000187 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000188 raise Exc()
189
190 self.assertRaises(Exc, {}.update, badseq())
191
192 self.assertRaises(ValueError, {}.update, [(1, 2, 3)])
193
Thomas Wouterscf297e42007-02-23 15:07:44 +0000194 # SF #1615701: make d.update(m) honor __getitem__() and keys() in dict subclasses
195 class KeyUpperDict(dict):
196 def __getitem__(self, key):
197 return key.upper()
198 d.clear()
199 d.update(KeyUpperDict.fromkeys('abc'))
200 self.assertEqual(d, {'a':'A', 'b':'B', 'c':'C'})
201
Walter Dörwald59b23e82004-09-30 13:46:00 +0000202 def test_fromkeys(self):
203 self.assertEqual(dict.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
204 d = {}
205 self.assert_(not(d.fromkeys('abc') is d))
206 self.assertEqual(d.fromkeys('abc'), {'a':None, 'b':None, 'c':None})
207 self.assertEqual(d.fromkeys((4,5),0), {4:0, 5:0})
208 self.assertEqual(d.fromkeys([]), {})
209 def g():
210 yield 1
211 self.assertEqual(d.fromkeys(g()), {1:None})
212 self.assertRaises(TypeError, {}.fromkeys, 3)
213 class dictlike(dict): pass
214 self.assertEqual(dictlike.fromkeys('a'), {'a':None})
215 self.assertEqual(dictlike().fromkeys('a'), {'a':None})
216 self.assert_(type(dictlike.fromkeys('a')) is dictlike)
217 self.assert_(type(dictlike().fromkeys('a')) is dictlike)
218 class mydict(dict):
219 def __new__(cls):
220 return UserDict.UserDict()
221 ud = mydict.fromkeys('ab')
222 self.assertEqual(ud, {'a':None, 'b':None})
223 self.assert_(isinstance(ud, UserDict.UserDict))
224 self.assertRaises(TypeError, dict.fromkeys)
225
226 class Exc(Exception): pass
227
228 class baddict1(dict):
229 def __init__(self):
230 raise Exc()
231
232 self.assertRaises(Exc, baddict1.fromkeys, [1])
233
234 class BadSeq(object):
235 def __iter__(self):
236 return self
Georg Brandla18af4e2007-04-21 15:47:16 +0000237 def __next__(self):
Walter Dörwald59b23e82004-09-30 13:46:00 +0000238 raise Exc()
239
240 self.assertRaises(Exc, dict.fromkeys, BadSeq())
241
242 class baddict2(dict):
243 def __setitem__(self, key, value):
244 raise Exc()
245
246 self.assertRaises(Exc, baddict2.fromkeys, [1])
247
Guido van Rossum58da9312007-11-10 23:39:45 +0000248 # test fast path for dictionary inputs
249 d = dict(zip(range(6), range(6)))
250 self.assertEqual(dict.fromkeys(d, 0), dict(zip(range(6), [0]*6)))
251
Walter Dörwald59b23e82004-09-30 13:46:00 +0000252 def test_copy(self):
253 d = {1:1, 2:2, 3:3}
254 self.assertEqual(d.copy(), {1:1, 2:2, 3:3})
255 self.assertEqual({}.copy(), {})
256 self.assertRaises(TypeError, d.copy, None)
257
258 def test_get(self):
259 d = {}
260 self.assert_(d.get('c') is None)
261 self.assertEqual(d.get('c', 3), 3)
262 d = {'a' : 1, 'b' : 2}
263 self.assert_(d.get('c') is None)
264 self.assertEqual(d.get('c', 3), 3)
265 self.assertEqual(d.get('a'), 1)
266 self.assertEqual(d.get('a', 3), 1)
267 self.assertRaises(TypeError, d.get)
268 self.assertRaises(TypeError, d.get, None, None, None)
269
270 def test_setdefault(self):
271 # dict.setdefault()
272 d = {}
273 self.assert_(d.setdefault('key0') is None)
274 d.setdefault('key0', [])
275 self.assert_(d.setdefault('key0') is None)
276 d.setdefault('key', []).append(3)
277 self.assertEqual(d['key'][0], 3)
278 d.setdefault('key', []).append(4)
279 self.assertEqual(len(d['key']), 2)
280 self.assertRaises(TypeError, d.setdefault)
281
282 class Exc(Exception): pass
283
284 class BadHash(object):
285 fail = False
286 def __hash__(self):
287 if self.fail:
288 raise Exc()
289 else:
290 return 42
291
292 x = BadHash()
293 d[x] = 42
294 x.fail = True
295 self.assertRaises(Exc, d.setdefault, x, [])
296
297 def test_popitem(self):
298 # dict.popitem()
299 for copymode in -1, +1:
300 # -1: b has same structure as a
301 # +1: b is a.copy()
302 for log2size in range(12):
303 size = 2**log2size
304 a = {}
305 b = {}
306 for i in range(size):
307 a[repr(i)] = i
308 if copymode < 0:
309 b[repr(i)] = i
310 if copymode > 0:
311 b = a.copy()
312 for i in range(size):
313 ka, va = ta = a.popitem()
314 self.assertEqual(va, int(ka))
315 kb, vb = tb = b.popitem()
316 self.assertEqual(vb, int(kb))
317 self.assert_(not(copymode < 0 and ta != tb))
318 self.assert_(not a)
319 self.assert_(not b)
320
321 d = {}
322 self.assertRaises(KeyError, d.popitem)
323
324 def test_pop(self):
325 # Tests for pop with specified key
326 d = {}
327 k, v = 'abc', 'def'
328 d[k] = v
329 self.assertRaises(KeyError, d.pop, 'ghi')
330
331 self.assertEqual(d.pop(k), v)
332 self.assertEqual(len(d), 0)
333
334 self.assertRaises(KeyError, d.pop, k)
335
336 # verify longs/ints get same value when key > 32 bits (for 64-bit archs)
337 # see SF bug #689659
Guido van Rossume2a383d2007-01-15 16:59:06 +0000338 x = 4503599627370496
Walter Dörwald59b23e82004-09-30 13:46:00 +0000339 y = 4503599627370496
340 h = {x: 'anything', y: 'something else'}
341 self.assertEqual(h[x], h[y])
342
343 self.assertEqual(d.pop(k, v), v)
344 d[k] = v
345 self.assertEqual(d.pop(k, 1), v)
346
347 self.assertRaises(TypeError, d.pop)
348
349 class Exc(Exception): pass
350
351 class BadHash(object):
352 fail = False
353 def __hash__(self):
354 if self.fail:
355 raise Exc()
356 else:
357 return 42
358
359 x = BadHash()
360 d[x] = 42
361 x.fail = True
362 self.assertRaises(Exc, d.pop, x)
363
364 def test_mutatingiteration(self):
365 d = {}
366 d[1] = 1
367 try:
368 for i in d:
369 d[i+1] = 1
370 except RuntimeError:
371 pass
372 else:
373 self.fail("changing dict size during iteration doesn't raise Error")
374
375 def test_repr(self):
376 d = {}
377 self.assertEqual(repr(d), '{}')
378 d[1] = 2
379 self.assertEqual(repr(d), '{1: 2}')
380 d = {}
381 d[1] = d
382 self.assertEqual(repr(d), '{1: {...}}')
383
384 class Exc(Exception): pass
385
386 class BadRepr(object):
387 def __repr__(self):
388 raise Exc()
389
390 d = {1: BadRepr()}
391 self.assertRaises(Exc, repr, d)
392
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000393 def test_eq(self):
394 self.assertEqual({}, {})
Guido van Rossume2a383d2007-01-15 16:59:06 +0000395 self.assertEqual({1: 2}, {1: 2})
Walter Dörwald59b23e82004-09-30 13:46:00 +0000396
397 class Exc(Exception): pass
398
399 class BadCmp(object):
400 def __eq__(self, other):
401 raise Exc()
Guido van Rossum38938152006-08-21 23:36:26 +0000402 def __hash__(self):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000403 return 1
Walter Dörwald59b23e82004-09-30 13:46:00 +0000404
405 d1 = {BadCmp(): 1}
406 d2 = {1: 1}
407 try:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000408 d1 == d2
Walter Dörwald59b23e82004-09-30 13:46:00 +0000409 except Exc:
410 pass
411 else:
412 self.fail("< didn't raise Exc")
413
Guido van Rossumaac530c2007-08-24 22:33:45 +0000414 def test_keys_contained(self):
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000415 self.helper_keys_contained(lambda x: x.keys())
416 self.helper_keys_contained(lambda x: x.items())
417
418 def helper_keys_contained(self, fn):
Guido van Rossumaac530c2007-08-24 22:33:45 +0000419 # Test rich comparisons against dict key views, which should behave the
420 # same as sets.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000421 empty = fn(dict())
422 empty2 = fn(dict())
423 smaller = fn({1:1, 2:2})
424 larger = fn({1:1, 2:2, 3:3})
425 larger2 = fn({1:1, 2:2, 3:3})
426 larger3 = fn({4:1, 2:2, 3:3})
Guido van Rossumaac530c2007-08-24 22:33:45 +0000427
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000428 self.assertTrue(smaller < larger)
429 self.assertTrue(smaller <= larger)
430 self.assertTrue(larger > smaller)
431 self.assertTrue(larger >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000432
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000433 self.assertFalse(smaller >= larger)
434 self.assertFalse(smaller > larger)
435 self.assertFalse(larger <= smaller)
436 self.assertFalse(larger < smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000437
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000438 self.assertFalse(smaller < larger3)
439 self.assertFalse(smaller <= larger3)
440 self.assertFalse(larger3 > smaller)
441 self.assertFalse(larger3 >= smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000442
443 # Inequality strictness
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000444 self.assertTrue(larger2 >= larger)
445 self.assertTrue(larger2 <= larger)
446 self.assertFalse(larger2 > larger)
447 self.assertFalse(larger2 < larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000448
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000449 self.assertTrue(larger == larger2)
450 self.assertTrue(smaller != larger)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000451
452 # There is an optimization on the zero-element case.
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000453 self.assertTrue(empty == empty2)
454 self.assertFalse(empty != empty2)
455 self.assertFalse(empty == smaller)
456 self.assertTrue(empty != smaller)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000457
458 # With the same size, an elementwise compare happens
Guido van Rossumcf2ce362007-08-24 23:49:54 +0000459 self.assertTrue(larger != larger3)
460 self.assertFalse(larger == larger3)
Guido van Rossumaac530c2007-08-24 22:33:45 +0000461
462 def test_errors_in_view_containment_check(self):
463 class C:
464 def __eq__(self, other):
465 raise RuntimeError
466 d1 = {1: C()}
467 d2 = {1: C()}
468 self.assertRaises(RuntimeError, lambda: d1.items() == d2.items())
469 self.assertRaises(RuntimeError, lambda: d1.items() != d2.items())
470 self.assertRaises(RuntimeError, lambda: d1.items() <= d2.items())
471 self.assertRaises(RuntimeError, lambda: d1.items() >= d2.items())
472 d3 = {1: C(), 2: C()}
473 self.assertRaises(RuntimeError, lambda: d2.items() < d3.items())
474 self.assertRaises(RuntimeError, lambda: d3.items() > d2.items())
475
Guido van Rossumbe534712007-08-24 23:43:52 +0000476 def test_dictview_set_operations_on_keys(self):
Guido van Rossum523259b2007-08-24 23:41:22 +0000477 k1 = {1:1, 2:2}.keys()
478 k2 = {1:1, 2:2, 3:3}.keys()
479 k3 = {4:4}.keys()
480
481 self.assertEquals(k1 - k2, set())
482 self.assertEquals(k1 - k3, {1,2})
483 self.assertEquals(k2 - k1, {3})
484 self.assertEquals(k3 - k1, {4})
485 self.assertEquals(k1 & k2, {1,2})
486 self.assertEquals(k1 & k3, set())
487 self.assertEquals(k1 | k2, {1,2,3})
488 self.assertEquals(k1 ^ k2, {3})
489 self.assertEquals(k1 ^ k3, {1,2,4})
490
Guido van Rossumbe534712007-08-24 23:43:52 +0000491 def test_dictview_set_operations_on_items(self):
492 k1 = {1:1, 2:2}.items()
493 k2 = {1:1, 2:2, 3:3}.items()
494 k3 = {4:4}.items()
495
496 self.assertEquals(k1 - k2, set())
497 self.assertEquals(k1 - k3, {(1,1), (2,2)})
498 self.assertEquals(k2 - k1, {(3,3)})
499 self.assertEquals(k3 - k1, {(4,4)})
500 self.assertEquals(k1 & k2, {(1,1), (2,2)})
501 self.assertEquals(k1 & k3, set())
502 self.assertEquals(k1 | k2, {(1,1), (2,2), (3,3)})
503 self.assertEquals(k1 ^ k2, {(3,3)})
504 self.assertEquals(k1 ^ k3, {(1,1), (2,2), (4,4)})
Guido van Rossum523259b2007-08-24 23:41:22 +0000505
Guido van Rossum1d719962007-08-24 23:47:30 +0000506 def test_dictview_mixed_set_operations(self):
507 # Just a few for .keys()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000508 self.assertTrue({1:1}.keys() == {1})
509 self.assertTrue({1} == {1:1}.keys())
Guido van Rossum1d719962007-08-24 23:47:30 +0000510 self.assertEquals({1:1}.keys() | {2}, {1, 2})
511 self.assertEquals({2} | {1:1}.keys(), {1, 2})
512 # And a few for .items()
Guido van Rossuma401bbe2007-08-24 23:51:55 +0000513 self.assertTrue({1:1}.items() == {(1,1)})
514 self.assertTrue({(1,1)} == {1:1}.items())
Guido van Rossum1d719962007-08-24 23:47:30 +0000515 self.assertEquals({1:1}.items() | {2}, {(1,1), 2})
516 self.assertEquals({2} | {1:1}.items(), {(1,1), 2})
517
Guido van Rossum1968ad32006-02-25 22:38:04 +0000518 def test_missing(self):
519 # Make sure dict doesn't have a __missing__ method
520 self.assertEqual(hasattr(dict, "__missing__"), False)
521 self.assertEqual(hasattr({}, "__missing__"), False)
522 # Test several cases:
523 # (D) subclass defines __missing__ method returning a value
524 # (E) subclass defines __missing__ method raising RuntimeError
525 # (F) subclass sets __missing__ instance variable (no effect)
526 # (G) subclass doesn't define __missing__ at a all
527 class D(dict):
528 def __missing__(self, key):
529 return 42
530 d = D({1: 2, 3: 4})
531 self.assertEqual(d[1], 2)
532 self.assertEqual(d[3], 4)
533 self.assert_(2 not in d)
534 self.assert_(2 not in d.keys())
535 self.assertEqual(d[2], 42)
536 class E(dict):
537 def __missing__(self, key):
538 raise RuntimeError(key)
539 e = E()
540 try:
541 e[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000542 except RuntimeError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000543 self.assertEqual(err.args, (42,))
544 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000545 self.fail("e[42] didn't raise RuntimeError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000546 class F(dict):
547 def __init__(self):
548 # An instance variable __missing__ should have no effect
549 self.__missing__ = lambda key: None
550 f = F()
551 try:
552 f[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("f[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000557 class G(dict):
558 pass
559 g = G()
560 try:
561 g[42]
Guido van Rossumb940e112007-01-10 16:19:56 +0000562 except KeyError as err:
Guido van Rossum1968ad32006-02-25 22:38:04 +0000563 self.assertEqual(err.args, (42,))
564 else:
Guido van Rossumd8faa362007-04-27 19:54:29 +0000565 self.fail("g[42] didn't raise KeyError")
Guido van Rossum1968ad32006-02-25 22:38:04 +0000566
Thomas Wouters89f507f2006-12-13 04:49:30 +0000567 def test_tuple_keyerror(self):
568 # SF #1576657
569 d = {}
570 try:
571 d[(1,)]
Guido van Rossumb940e112007-01-10 16:19:56 +0000572 except KeyError as e:
Thomas Wouters89f507f2006-12-13 04:49:30 +0000573 self.assertEqual(e.args, ((1,),))
574 else:
575 self.fail("missing KeyError")
576
Guido van Rossumd8faa362007-04-27 19:54:29 +0000577 def test_bad_key(self):
578 # Dictionary lookups should fail if __cmp__() raises an exception.
579 class CustomException(Exception):
580 pass
581
582 class BadDictKey:
583 def __hash__(self):
584 return hash(self.__class__)
585
586 def __eq__(self, other):
587 if isinstance(other, self.__class__):
588 raise CustomException
589 return other
590
591 d = {}
592 x1 = BadDictKey()
593 x2 = BadDictKey()
594 d[x1] = 1
595 for stmt in ['d[x2] = 2',
596 'z = d[x2]',
597 'x2 in d',
598 'd.get(x2)',
599 'd.setdefault(x2, 42)',
600 'd.pop(x2)',
601 'd.update({x2: 2})']:
602 try:
603 exec(stmt, locals())
604 except CustomException:
605 pass
606 else:
607 self.fail("Statement %r didn't raise exception" % stmt)
608
609 def test_resize1(self):
610 # Dict resizing bug, found by Jack Jansen in 2.2 CVS development.
611 # This version got an assert failure in debug build, infinite loop in
612 # release build. Unfortunately, provoking this kind of stuff requires
613 # a mix of inserts and deletes hitting exactly the right hash codes in
614 # exactly the right order, and I can't think of a randomized approach
615 # that would be *likely* to hit a failing case in reasonable time.
616
617 d = {}
618 for i in range(5):
619 d[i] = i
620 for i in range(5):
621 del d[i]
622 for i in range(5, 9): # i==8 was the problem
623 d[i] = i
624
625 def test_resize2(self):
626 # Another dict resizing bug (SF bug #1456209).
627 # This caused Segmentation faults or Illegal instructions.
628
629 class X(object):
630 def __hash__(self):
631 return 5
632 def __eq__(self, other):
633 if resizing:
634 d.clear()
635 return False
636 d = {}
637 resizing = False
638 d[X()] = 1
639 d[X()] = 2
640 d[X()] = 3
641 d[X()] = 4
642 d[X()] = 5
643 # now trigger a resize
644 resizing = True
645 d[9] = 6
646
Guido van Rossum1968ad32006-02-25 22:38:04 +0000647
Neal Norwitzc3e54b82006-03-24 07:38:37 +0000648from test import mapping_tests
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000649
650class GeneralMappingTests(mapping_tests.BasicTestMappingProtocol):
651 type2test = dict
652
653class Dict(dict):
654 pass
655
656class SubclassMappingTests(mapping_tests.BasicTestMappingProtocol):
657 type2test = Dict
658
Walter Dörwald59b23e82004-09-30 13:46:00 +0000659def test_main():
660 test_support.run_unittest(
661 DictTest,
Raymond Hettinger49c522b2004-09-30 15:07:29 +0000662 GeneralMappingTests,
663 SubclassMappingTests,
Walter Dörwald59b23e82004-09-30 13:46:00 +0000664 )
665
666if __name__ == "__main__":
667 test_main()