test_slice.py 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293
  1. # tests for slice objects; in particular the indices method.
  2. import itertools
  3. import operator
  4. import sys
  5. import unittest
  6. import weakref
  7. import copy
  8. from pickle import loads, dumps
  9. from test import support
  10. def evaluate_slice_index(arg):
  11. """
  12. Helper function to convert a slice argument to an integer, and raise
  13. TypeError with a suitable message on failure.
  14. """
  15. if hasattr(arg, '__index__'):
  16. return operator.index(arg)
  17. else:
  18. raise TypeError(
  19. "slice indices must be integers or "
  20. "None or have an __index__ method")
  21. def slice_indices(slice, length):
  22. """
  23. Reference implementation for the slice.indices method.
  24. """
  25. # Compute step and length as integers.
  26. length = operator.index(length)
  27. step = 1 if slice.step is None else evaluate_slice_index(slice.step)
  28. # Raise ValueError for negative length or zero step.
  29. if length < 0:
  30. raise ValueError("length should not be negative")
  31. if step == 0:
  32. raise ValueError("slice step cannot be zero")
  33. # Find lower and upper bounds for start and stop.
  34. lower = -1 if step < 0 else 0
  35. upper = length - 1 if step < 0 else length
  36. # Compute start.
  37. if slice.start is None:
  38. start = upper if step < 0 else lower
  39. else:
  40. start = evaluate_slice_index(slice.start)
  41. start = max(start + length, lower) if start < 0 else min(start, upper)
  42. # Compute stop.
  43. if slice.stop is None:
  44. stop = lower if step < 0 else upper
  45. else:
  46. stop = evaluate_slice_index(slice.stop)
  47. stop = max(stop + length, lower) if stop < 0 else min(stop, upper)
  48. return start, stop, step
  49. # Class providing an __index__ method. Used for testing slice.indices.
  50. class MyIndexable(object):
  51. def __init__(self, value):
  52. self.value = value
  53. def __index__(self):
  54. return self.value
  55. class SliceTest(unittest.TestCase):
  56. def test_constructor(self):
  57. self.assertRaises(TypeError, slice)
  58. self.assertRaises(TypeError, slice, 1, 2, 3, 4)
  59. def test_repr(self):
  60. self.assertEqual(repr(slice(1, 2, 3)), "slice(1, 2, 3)")
  61. def test_hash(self):
  62. # Verify clearing of SF bug #800796
  63. self.assertRaises(TypeError, hash, slice(5))
  64. with self.assertRaises(TypeError):
  65. slice(5).__hash__()
  66. def test_cmp(self):
  67. s1 = slice(1, 2, 3)
  68. s2 = slice(1, 2, 3)
  69. s3 = slice(1, 2, 4)
  70. self.assertEqual(s1, s2)
  71. self.assertNotEqual(s1, s3)
  72. self.assertNotEqual(s1, None)
  73. self.assertNotEqual(s1, (1, 2, 3))
  74. self.assertNotEqual(s1, "")
  75. class Exc(Exception):
  76. pass
  77. class BadCmp(object):
  78. def __eq__(self, other):
  79. raise Exc
  80. s1 = slice(BadCmp())
  81. s2 = slice(BadCmp())
  82. self.assertEqual(s1, s1)
  83. self.assertRaises(Exc, lambda: s1 == s2)
  84. s1 = slice(1, BadCmp())
  85. s2 = slice(1, BadCmp())
  86. self.assertEqual(s1, s1)
  87. self.assertRaises(Exc, lambda: s1 == s2)
  88. s1 = slice(1, 2, BadCmp())
  89. s2 = slice(1, 2, BadCmp())
  90. self.assertEqual(s1, s1)
  91. self.assertRaises(Exc, lambda: s1 == s2)
  92. def test_members(self):
  93. s = slice(1)
  94. self.assertEqual(s.start, None)
  95. self.assertEqual(s.stop, 1)
  96. self.assertEqual(s.step, None)
  97. s = slice(1, 2)
  98. self.assertEqual(s.start, 1)
  99. self.assertEqual(s.stop, 2)
  100. self.assertEqual(s.step, None)
  101. s = slice(1, 2, 3)
  102. self.assertEqual(s.start, 1)
  103. self.assertEqual(s.stop, 2)
  104. self.assertEqual(s.step, 3)
  105. class AnyClass:
  106. pass
  107. obj = AnyClass()
  108. s = slice(obj)
  109. self.assertTrue(s.stop is obj)
  110. def check_indices(self, slice, length):
  111. try:
  112. actual = slice.indices(length)
  113. except ValueError:
  114. actual = "valueerror"
  115. try:
  116. expected = slice_indices(slice, length)
  117. except ValueError:
  118. expected = "valueerror"
  119. self.assertEqual(actual, expected)
  120. if length >= 0 and slice.step != 0:
  121. actual = range(*slice.indices(length))
  122. expected = range(length)[slice]
  123. self.assertEqual(actual, expected)
  124. def test_indices(self):
  125. self.assertEqual(slice(None ).indices(10), (0, 10, 1))
  126. self.assertEqual(slice(None, None, 2).indices(10), (0, 10, 2))
  127. self.assertEqual(slice(1, None, 2).indices(10), (1, 10, 2))
  128. self.assertEqual(slice(None, None, -1).indices(10), (9, -1, -1))
  129. self.assertEqual(slice(None, None, -2).indices(10), (9, -1, -2))
  130. self.assertEqual(slice(3, None, -2).indices(10), (3, -1, -2))
  131. # issue 3004 tests
  132. self.assertEqual(slice(None, -9).indices(10), (0, 1, 1))
  133. self.assertEqual(slice(None, -10).indices(10), (0, 0, 1))
  134. self.assertEqual(slice(None, -11).indices(10), (0, 0, 1))
  135. self.assertEqual(slice(None, -10, -1).indices(10), (9, 0, -1))
  136. self.assertEqual(slice(None, -11, -1).indices(10), (9, -1, -1))
  137. self.assertEqual(slice(None, -12, -1).indices(10), (9, -1, -1))
  138. self.assertEqual(slice(None, 9).indices(10), (0, 9, 1))
  139. self.assertEqual(slice(None, 10).indices(10), (0, 10, 1))
  140. self.assertEqual(slice(None, 11).indices(10), (0, 10, 1))
  141. self.assertEqual(slice(None, 8, -1).indices(10), (9, 8, -1))
  142. self.assertEqual(slice(None, 9, -1).indices(10), (9, 9, -1))
  143. self.assertEqual(slice(None, 10, -1).indices(10), (9, 9, -1))
  144. self.assertEqual(
  145. slice(-100, 100 ).indices(10),
  146. slice(None).indices(10)
  147. )
  148. self.assertEqual(
  149. slice(100, -100, -1).indices(10),
  150. slice(None, None, -1).indices(10)
  151. )
  152. self.assertEqual(slice(-100, 100, 2).indices(10), (0, 10, 2))
  153. self.assertEqual(list(range(10))[::sys.maxsize - 1], [0])
  154. # Check a variety of start, stop, step and length values, including
  155. # values exceeding sys.maxsize (see issue #14794).
  156. vals = [None, -2**100, -2**30, -53, -7, -1, 0, 1, 7, 53, 2**30, 2**100]
  157. lengths = [0, 1, 7, 53, 2**30, 2**100]
  158. for slice_args in itertools.product(vals, repeat=3):
  159. s = slice(*slice_args)
  160. for length in lengths:
  161. self.check_indices(s, length)
  162. self.check_indices(slice(0, 10, 1), -3)
  163. # Negative length should raise ValueError
  164. with self.assertRaises(ValueError):
  165. slice(None).indices(-1)
  166. # Zero step should raise ValueError
  167. with self.assertRaises(ValueError):
  168. slice(0, 10, 0).indices(5)
  169. # Using a start, stop or step or length that can't be interpreted as an
  170. # integer should give a TypeError ...
  171. with self.assertRaises(TypeError):
  172. slice(0.0, 10, 1).indices(5)
  173. with self.assertRaises(TypeError):
  174. slice(0, 10.0, 1).indices(5)
  175. with self.assertRaises(TypeError):
  176. slice(0, 10, 1.0).indices(5)
  177. with self.assertRaises(TypeError):
  178. slice(0, 10, 1).indices(5.0)
  179. # ... but it should be fine to use a custom class that provides index.
  180. self.assertEqual(slice(0, 10, 1).indices(5), (0, 5, 1))
  181. self.assertEqual(slice(MyIndexable(0), 10, 1).indices(5), (0, 5, 1))
  182. self.assertEqual(slice(0, MyIndexable(10), 1).indices(5), (0, 5, 1))
  183. self.assertEqual(slice(0, 10, MyIndexable(1)).indices(5), (0, 5, 1))
  184. self.assertEqual(slice(0, 10, 1).indices(MyIndexable(5)), (0, 5, 1))
  185. def test_setslice_without_getslice(self):
  186. tmp = []
  187. class X(object):
  188. def __setitem__(self, i, k):
  189. tmp.append((i, k))
  190. x = X()
  191. x[1:2] = 42
  192. self.assertEqual(tmp, [(slice(1, 2), 42)])
  193. def test_pickle(self):
  194. import pickle
  195. s = slice(10, 20, 3)
  196. for protocol in range(pickle.HIGHEST_PROTOCOL + 1):
  197. t = loads(dumps(s, protocol))
  198. self.assertEqual(s, t)
  199. self.assertEqual(s.indices(15), t.indices(15))
  200. self.assertNotEqual(id(s), id(t))
  201. def test_copy(self):
  202. s = slice(1, 10)
  203. c = copy.copy(s)
  204. self.assertIs(s, c)
  205. s = slice(1, 10, 2)
  206. c = copy.copy(s)
  207. self.assertIs(s, c)
  208. # Corner case for mutable indices:
  209. s = slice([1, 2], [3, 4], [5, 6])
  210. c = copy.copy(s)
  211. self.assertIs(s, c)
  212. self.assertIs(s.start, c.start)
  213. self.assertIs(s.stop, c.stop)
  214. self.assertIs(s.step, c.step)
  215. def test_deepcopy(self):
  216. s = slice(1, 10)
  217. c = copy.deepcopy(s)
  218. self.assertEqual(s, c)
  219. s = slice(1, 10, 2)
  220. c = copy.deepcopy(s)
  221. self.assertEqual(s, c)
  222. # Corner case for mutable indices:
  223. s = slice([1, 2], [3, 4], [5, 6])
  224. c = copy.deepcopy(s)
  225. self.assertIsNot(s, c)
  226. self.assertEqual(s, c)
  227. self.assertIsNot(s.start, c.start)
  228. self.assertIsNot(s.stop, c.stop)
  229. self.assertIsNot(s.step, c.step)
  230. def test_cycle(self):
  231. class myobj(): pass
  232. o = myobj()
  233. o.s = slice(o)
  234. w = weakref.ref(o)
  235. o = None
  236. support.gc_collect()
  237. self.assertIsNone(w())
  238. if __name__ == "__main__":
  239. unittest.main()