blob: 1d9ad588987f9769bd98048558164fbdbe834027 [file] [log] [blame]
Walter Dörwald1dde95d2003-12-08 11:38:45 +00001"""
2Tests common to tuple, list and UserList.UserList
3"""
4
5import unittest
Raymond Hettinger65baa342008-02-07 00:41:02 +00006import sys
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00007import pickle
Serhiy Storchakafbb1c5e2016-03-30 20:40:02 +03008from test import support
Serhiy Storchaka18b711c2019-08-04 14:12:48 +03009from test.support import ALWAYS_EQ, NEVER_EQ
Walter Dörwald1dde95d2003-12-08 11:38:45 +000010
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000011# Various iterables
12# This is used for checking the constructor (here and in test_deque.py)
13def iterfunc(seqn):
14 'Regular generator'
15 for i in seqn:
16 yield i
17
18class Sequence:
19 'Sequence using __getitem__'
20 def __init__(self, seqn):
21 self.seqn = seqn
22 def __getitem__(self, i):
23 return self.seqn[i]
24
25class IterFunc:
26 'Sequence using iterator protocol'
27 def __init__(self, seqn):
28 self.seqn = seqn
29 self.i = 0
30 def __iter__(self):
31 return self
Georg Brandla18af4e2007-04-21 15:47:16 +000032 def __next__(self):
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000033 if self.i >= len(self.seqn): raise StopIteration
34 v = self.seqn[self.i]
35 self.i += 1
36 return v
37
38class IterGen:
39 'Sequence using iterator protocol defined with a generator'
40 def __init__(self, seqn):
41 self.seqn = seqn
42 self.i = 0
43 def __iter__(self):
44 for val in self.seqn:
45 yield val
46
47class IterNextOnly:
48 'Missing __getitem__ and __iter__'
49 def __init__(self, seqn):
50 self.seqn = seqn
51 self.i = 0
Georg Brandla18af4e2007-04-21 15:47:16 +000052 def __next__(self):
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000053 if self.i >= len(self.seqn): raise StopIteration
54 v = self.seqn[self.i]
55 self.i += 1
56 return v
57
58class IterNoNext:
Georg Brandla18af4e2007-04-21 15:47:16 +000059 'Iterator missing __next__()'
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000060 def __init__(self, seqn):
61 self.seqn = seqn
62 self.i = 0
63 def __iter__(self):
64 return self
65
66class IterGenExc:
67 'Test propagation of exceptions'
68 def __init__(self, seqn):
69 self.seqn = seqn
70 self.i = 0
71 def __iter__(self):
72 return self
Georg Brandla18af4e2007-04-21 15:47:16 +000073 def __next__(self):
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000074 3 // 0
75
76class IterFuncStop:
77 'Test immediate stop'
78 def __init__(self, seqn):
79 pass
80 def __iter__(self):
81 return self
Georg Brandla18af4e2007-04-21 15:47:16 +000082 def __next__(self):
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000083 raise StopIteration
84
Raymond Hettinger736c0ab2008-03-13 02:09:15 +000085from itertools import chain
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000086def itermulti(seqn):
87 'Test multiple tiers of iterators'
Raymond Hettingera6c60372008-03-13 01:26:19 +000088 return chain(map(lambda x:x, iterfunc(IterGen(Sequence(seqn)))))
Walter Dörwald09a3f2c2005-03-22 22:43:28 +000089
Raymond Hettinger610a51f2015-05-17 14:45:58 -070090class LyingTuple(tuple):
91 def __iter__(self):
92 yield 1
93
94class LyingList(list):
95 def __iter__(self):
96 yield 1
97
Walter Dörwald1dde95d2003-12-08 11:38:45 +000098class CommonTest(unittest.TestCase):
99 # The type to be tested
100 type2test = None
101
102 def test_constructors(self):
103 l0 = []
104 l1 = [0]
105 l2 = [0, 1]
106
107 u = self.type2test()
108 u0 = self.type2test(l0)
109 u1 = self.type2test(l1)
110 u2 = self.type2test(l2)
111
112 uu = self.type2test(u)
113 uu0 = self.type2test(u0)
114 uu1 = self.type2test(u1)
115 uu2 = self.type2test(u2)
116
117 v = self.type2test(tuple(u))
118 class OtherSeq:
119 def __init__(self, initseq):
120 self.__data = initseq
121 def __len__(self):
122 return len(self.__data)
123 def __getitem__(self, i):
124 return self.__data[i]
125 s = OtherSeq(u0)
126 v0 = self.type2test(s)
127 self.assertEqual(len(v0), len(s))
128
129 s = "this is also a sequence"
130 vv = self.type2test(s)
131 self.assertEqual(len(vv), len(s))
132
Walter Dörwald09a3f2c2005-03-22 22:43:28 +0000133 # Create from various iteratables
Guido van Rossum805365e2007-05-07 22:24:25 +0000134 for s in ("123", "", range(1000), ('do', 1.2), range(2000,2200,5)):
Walter Dörwald09a3f2c2005-03-22 22:43:28 +0000135 for g in (Sequence, IterFunc, IterGen,
136 itermulti, iterfunc):
137 self.assertEqual(self.type2test(g(s)), self.type2test(s))
138 self.assertEqual(self.type2test(IterFuncStop(s)), self.type2test())
139 self.assertEqual(self.type2test(c for c in "123"), self.type2test("123"))
140 self.assertRaises(TypeError, self.type2test, IterNextOnly(s))
141 self.assertRaises(TypeError, self.type2test, IterNoNext(s))
142 self.assertRaises(ZeroDivisionError, self.type2test, IterGenExc(s))
143
Raymond Hettinger610a51f2015-05-17 14:45:58 -0700144 # Issue #23757
145 self.assertEqual(self.type2test(LyingTuple((2,))), self.type2test((1,)))
146 self.assertEqual(self.type2test(LyingList([2])), self.type2test([1]))
147
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000148 def test_truth(self):
Ezio Melottib3aedd42010-11-20 19:04:17 +0000149 self.assertFalse(self.type2test())
150 self.assertTrue(self.type2test([42]))
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000151
152 def test_getitem(self):
153 u = self.type2test([0, 1, 2, 3, 4])
Guido van Rossum805365e2007-05-07 22:24:25 +0000154 for i in range(len(u)):
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000155 self.assertEqual(u[i], i)
Guido van Rossume2a383d2007-01-15 16:59:06 +0000156 self.assertEqual(u[int(i)], i)
Guido van Rossum805365e2007-05-07 22:24:25 +0000157 for i in range(-len(u), -1):
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000158 self.assertEqual(u[i], len(u)+i)
Guido van Rossume2a383d2007-01-15 16:59:06 +0000159 self.assertEqual(u[int(i)], len(u)+i)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000160 self.assertRaises(IndexError, u.__getitem__, -len(u)-1)
161 self.assertRaises(IndexError, u.__getitem__, len(u))
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000162 self.assertRaises(ValueError, u.__getitem__, slice(0,10,0))
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000163
164 u = self.type2test()
165 self.assertRaises(IndexError, u.__getitem__, 0)
166 self.assertRaises(IndexError, u.__getitem__, -1)
167
168 self.assertRaises(TypeError, u.__getitem__)
169
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000170 a = self.type2test([10, 11])
171 self.assertEqual(a[0], 10)
172 self.assertEqual(a[1], 11)
173 self.assertEqual(a[-2], 10)
174 self.assertEqual(a[-1], 11)
175 self.assertRaises(IndexError, a.__getitem__, -3)
176 self.assertRaises(IndexError, a.__getitem__, 3)
177
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000178 def test_getslice(self):
179 l = [0, 1, 2, 3, 4]
180 u = self.type2test(l)
181
182 self.assertEqual(u[0:0], self.type2test())
183 self.assertEqual(u[1:2], self.type2test([1]))
184 self.assertEqual(u[-2:-1], self.type2test([3]))
185 self.assertEqual(u[-1000:1000], u)
186 self.assertEqual(u[1000:-1000], self.type2test([]))
187 self.assertEqual(u[:], u)
188 self.assertEqual(u[1:None], self.type2test([1, 2, 3, 4]))
189 self.assertEqual(u[None:3], self.type2test([0, 1, 2]))
190
191 # Extended slices
192 self.assertEqual(u[::], u)
193 self.assertEqual(u[::2], self.type2test([0, 2, 4]))
194 self.assertEqual(u[1::2], self.type2test([1, 3]))
195 self.assertEqual(u[::-1], self.type2test([4, 3, 2, 1, 0]))
196 self.assertEqual(u[::-2], self.type2test([4, 2, 0]))
197 self.assertEqual(u[3::-2], self.type2test([3, 1]))
198 self.assertEqual(u[3:3:-2], self.type2test([]))
199 self.assertEqual(u[3:2:-2], self.type2test([3]))
200 self.assertEqual(u[3:1:-2], self.type2test([3]))
201 self.assertEqual(u[3:0:-2], self.type2test([3, 1]))
202 self.assertEqual(u[::-100], self.type2test([4]))
203 self.assertEqual(u[100:-100:], self.type2test([]))
204 self.assertEqual(u[-100:100:], u)
205 self.assertEqual(u[100:-100:-1], u[::-1])
206 self.assertEqual(u[-100:100:-1], self.type2test([]))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000207 self.assertEqual(u[-100:100:2], self.type2test([0, 2, 4]))
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000208
209 # Test extreme cases with long ints
210 a = self.type2test([0,1,2,3,4])
Guido van Rossume2a383d2007-01-15 16:59:06 +0000211 self.assertEqual(a[ -pow(2,128): 3 ], self.type2test([0,1,2]))
212 self.assertEqual(a[ 3: pow(2,145) ], self.type2test([3,4]))
Zackery Spytz14514d92019-05-17 01:13:03 -0600213 self.assertEqual(a[3::sys.maxsize], self.type2test([3]))
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000214
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000215 def test_contains(self):
216 u = self.type2test([0, 1, 2])
217 for i in u:
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000218 self.assertIn(i, u)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000219 for i in min(u)-1, max(u)+1:
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000220 self.assertNotIn(i, u)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000221
222 self.assertRaises(TypeError, u.__contains__)
223
Georg Brandlbe3856d2005-08-24 09:08:57 +0000224 def test_contains_fake(self):
Serhiy Storchaka18b711c2019-08-04 14:12:48 +0300225 # Sequences must use rich comparison against each item
226 # (unless "is" is true, or an earlier item answered)
227 # So ALWAYS_EQ must be found in all non-empty sequences.
228 self.assertNotIn(ALWAYS_EQ, self.type2test([]))
229 self.assertIn(ALWAYS_EQ, self.type2test([1]))
230 self.assertIn(1, self.type2test([ALWAYS_EQ]))
231 self.assertNotIn(NEVER_EQ, self.type2test([]))
232 self.assertNotIn(ALWAYS_EQ, self.type2test([NEVER_EQ]))
233 self.assertIn(NEVER_EQ, self.type2test([ALWAYS_EQ]))
Georg Brandlbe3856d2005-08-24 09:08:57 +0000234
235 def test_contains_order(self):
236 # Sequences must test in-order. If a rich comparison has side
237 # effects, these will be visible to tests against later members.
238 # In this test, the "side effect" is a short-circuiting raise.
239 class DoNotTestEq(Exception):
240 pass
241 class StopCompares:
242 def __eq__(self, other):
243 raise DoNotTestEq
Tim Peters9e34c042005-08-26 15:20:46 +0000244
Georg Brandlbe3856d2005-08-24 09:08:57 +0000245 checkfirst = self.type2test([1, StopCompares()])
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000246 self.assertIn(1, checkfirst)
Georg Brandlbe3856d2005-08-24 09:08:57 +0000247 checklast = self.type2test([StopCompares(), 1])
248 self.assertRaises(DoNotTestEq, checklast.__contains__, 1)
249
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000250 def test_len(self):
251 self.assertEqual(len(self.type2test()), 0)
252 self.assertEqual(len(self.type2test([])), 0)
253 self.assertEqual(len(self.type2test([0])), 1)
254 self.assertEqual(len(self.type2test([0, 1, 2])), 3)
255
256 def test_minmax(self):
257 u = self.type2test([0, 1, 2])
258 self.assertEqual(min(u), 0)
259 self.assertEqual(max(u), 2)
260
261 def test_addmul(self):
262 u1 = self.type2test([0])
263 u2 = self.type2test([0, 1])
264 self.assertEqual(u1, u1 + self.type2test())
265 self.assertEqual(u1, self.type2test() + u1)
266 self.assertEqual(u1 + self.type2test([1]), u2)
267 self.assertEqual(self.type2test([-1]) + u1, self.type2test([-1, 0]))
268 self.assertEqual(self.type2test(), u2*0)
269 self.assertEqual(self.type2test(), 0*u2)
Guido van Rossume2a383d2007-01-15 16:59:06 +0000270 self.assertEqual(self.type2test(), u2*0)
271 self.assertEqual(self.type2test(), 0*u2)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000272 self.assertEqual(u2, u2*1)
273 self.assertEqual(u2, 1*u2)
Guido van Rossume2a383d2007-01-15 16:59:06 +0000274 self.assertEqual(u2, u2*1)
275 self.assertEqual(u2, 1*u2)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000276 self.assertEqual(u2+u2, u2*2)
277 self.assertEqual(u2+u2, 2*u2)
Guido van Rossume2a383d2007-01-15 16:59:06 +0000278 self.assertEqual(u2+u2, u2*2)
279 self.assertEqual(u2+u2, 2*u2)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000280 self.assertEqual(u2+u2+u2, u2*3)
281 self.assertEqual(u2+u2+u2, 3*u2)
282
283 class subclass(self.type2test):
284 pass
285 u3 = subclass([0, 1])
286 self.assertEqual(u3, u3*1)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000287 self.assertIsNot(u3, u3*1)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000288
289 def test_iadd(self):
290 u = self.type2test([0, 1])
291 u += self.type2test()
292 self.assertEqual(u, self.type2test([0, 1]))
293 u += self.type2test([2, 3])
294 self.assertEqual(u, self.type2test([0, 1, 2, 3]))
295 u += self.type2test([4, 5])
296 self.assertEqual(u, self.type2test([0, 1, 2, 3, 4, 5]))
297
298 u = self.type2test("spam")
299 u += self.type2test("eggs")
300 self.assertEqual(u, self.type2test("spameggs"))
301
302 def test_imul(self):
303 u = self.type2test([0, 1])
304 u *= 3
305 self.assertEqual(u, self.type2test([0, 1, 0, 1, 0, 1]))
Jim Fasarakis-Hilliardd702c502017-03-27 22:35:52 +0300306 u *= 0
307 self.assertEqual(u, self.type2test([]))
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000308
309 def test_getitemoverwriteiter(self):
310 # Verify that __getitem__ overrides are not recognized by __iter__
311 class T(self.type2test):
312 def __getitem__(self, key):
313 return str(key) + '!!!'
Georg Brandla18af4e2007-04-21 15:47:16 +0000314 self.assertEqual(next(iter(T((1,2)))), 1)
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000315
316 def test_repeat(self):
Guido van Rossum805365e2007-05-07 22:24:25 +0000317 for m in range(4):
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000318 s = tuple(range(m))
Guido van Rossum805365e2007-05-07 22:24:25 +0000319 for n in range(-3, 5):
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000320 self.assertEqual(self.type2test(s*n), self.type2test(s)*n)
321 self.assertEqual(self.type2test(s)*(-4), self.type2test([]))
322 self.assertEqual(id(s), id(s*1))
323
Guido van Rossum3d392eb2007-11-16 00:35:22 +0000324 def test_bigrepeat(self):
Neal Norwitz3ce5d922008-08-24 07:08:55 +0000325 if sys.maxsize <= 2147483647:
326 x = self.type2test([0])
327 x *= 2**16
328 self.assertRaises(MemoryError, x.__mul__, 2**16)
329 if hasattr(x, '__imul__'):
330 self.assertRaises(MemoryError, x.__imul__, 2**16)
Guido van Rossum3d392eb2007-11-16 00:35:22 +0000331
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000332 def test_subscript(self):
333 a = self.type2test([10, 11])
Guido van Rossume2a383d2007-01-15 16:59:06 +0000334 self.assertEqual(a.__getitem__(0), 10)
335 self.assertEqual(a.__getitem__(1), 11)
336 self.assertEqual(a.__getitem__(-2), 10)
337 self.assertEqual(a.__getitem__(-1), 11)
Raymond Hettinger5ea7e312004-09-30 07:47:20 +0000338 self.assertRaises(IndexError, a.__getitem__, -3)
339 self.assertRaises(IndexError, a.__getitem__, 3)
340 self.assertEqual(a.__getitem__(slice(0,1)), self.type2test([10]))
341 self.assertEqual(a.__getitem__(slice(1,2)), self.type2test([11]))
342 self.assertEqual(a.__getitem__(slice(0,2)), self.type2test([10, 11]))
343 self.assertEqual(a.__getitem__(slice(0,3)), self.type2test([10, 11]))
344 self.assertEqual(a.__getitem__(slice(3,5)), self.type2test([]))
345 self.assertRaises(ValueError, a.__getitem__, slice(0, 10, 0))
346 self.assertRaises(TypeError, a.__getitem__, 'x')
Raymond Hettinger65baa342008-02-07 00:41:02 +0000347
348 def test_count(self):
349 a = self.type2test([0, 1, 2])*3
350 self.assertEqual(a.count(0), 3)
351 self.assertEqual(a.count(1), 3)
352 self.assertEqual(a.count(3), 0)
353
Serhiy Storchaka18b711c2019-08-04 14:12:48 +0300354 self.assertEqual(a.count(ALWAYS_EQ), 9)
355 self.assertEqual(self.type2test([ALWAYS_EQ, ALWAYS_EQ]).count(1), 2)
356 self.assertEqual(self.type2test([ALWAYS_EQ, ALWAYS_EQ]).count(NEVER_EQ), 2)
357 self.assertEqual(self.type2test([NEVER_EQ, NEVER_EQ]).count(ALWAYS_EQ), 0)
358
Raymond Hettinger65baa342008-02-07 00:41:02 +0000359 self.assertRaises(TypeError, a.count)
360
361 class BadExc(Exception):
362 pass
363
364 class BadCmp:
365 def __eq__(self, other):
366 if other == 2:
367 raise BadExc()
368 return False
369
370 self.assertRaises(BadExc, a.count, BadCmp())
371
372 def test_index(self):
373 u = self.type2test([0, 1])
374 self.assertEqual(u.index(0), 0)
375 self.assertEqual(u.index(1), 1)
376 self.assertRaises(ValueError, u.index, 2)
377
378 u = self.type2test([-2, -1, 0, 0, 1, 2])
379 self.assertEqual(u.count(0), 2)
380 self.assertEqual(u.index(0), 2)
381 self.assertEqual(u.index(0, 2), 2)
382 self.assertEqual(u.index(-2, -10), 0)
383 self.assertEqual(u.index(0, 3), 3)
384 self.assertEqual(u.index(0, 3, 4), 3)
385 self.assertRaises(ValueError, u.index, 2, 0, -10)
386
Serhiy Storchaka18b711c2019-08-04 14:12:48 +0300387 self.assertEqual(u.index(ALWAYS_EQ), 0)
388 self.assertEqual(self.type2test([ALWAYS_EQ, ALWAYS_EQ]).index(1), 0)
389 self.assertEqual(self.type2test([ALWAYS_EQ, ALWAYS_EQ]).index(NEVER_EQ), 0)
390 self.assertRaises(ValueError, self.type2test([NEVER_EQ, NEVER_EQ]).index, ALWAYS_EQ)
391
Raymond Hettinger65baa342008-02-07 00:41:02 +0000392 self.assertRaises(TypeError, u.index)
393
394 class BadExc(Exception):
395 pass
396
397 class BadCmp:
398 def __eq__(self, other):
399 if other == 2:
400 raise BadExc()
401 return False
402
403 a = self.type2test([0, 1, 2, 3])
404 self.assertRaises(BadExc, a.index, BadCmp())
405
406 a = self.type2test([-2, -1, 0, 0, 1, 2])
407 self.assertEqual(a.index(0), 2)
408 self.assertEqual(a.index(0, 2), 2)
409 self.assertEqual(a.index(0, -4), 2)
410 self.assertEqual(a.index(-2, -10), 0)
411 self.assertEqual(a.index(0, 3), 3)
412 self.assertEqual(a.index(0, -3), 3)
413 self.assertEqual(a.index(0, 3, 4), 3)
414 self.assertEqual(a.index(0, -3, -2), 3)
415 self.assertEqual(a.index(0, -4*sys.maxsize, 4*sys.maxsize), 2)
416 self.assertRaises(ValueError, a.index, 0, 4*sys.maxsize,-4*sys.maxsize)
417 self.assertRaises(ValueError, a.index, 2, 0, -10)
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +0000418
419 def test_pickle(self):
420 lst = self.type2test([4, 5, 6, 7])
Serhiy Storchakabad12572014-12-15 14:03:42 +0200421 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
422 lst2 = pickle.loads(pickle.dumps(lst, proto))
423 self.assertEqual(lst2, lst)
424 self.assertNotEqual(id(lst2), id(lst))
Serhiy Storchakafbb1c5e2016-03-30 20:40:02 +0300425
426 def test_free_after_iterating(self):
427 support.check_free_after_iterating(self, iter, self.type2test)
428 support.check_free_after_iterating(self, reversed, self.type2test)