2004-07-08 09:59:55 +08:00
|
|
|
# Python test set -- built-in functions
|
|
|
|
|
2008-05-21 05:35:26 +08:00
|
|
|
import test.support, unittest
|
2004-07-08 09:59:55 +08:00
|
|
|
import sys
|
2008-06-10 12:03:04 +08:00
|
|
|
import pickle
|
2009-11-15 17:57:26 +08:00
|
|
|
import itertools
|
2004-07-08 09:59:55 +08:00
|
|
|
|
2009-11-15 17:57:26 +08:00
|
|
|
# pure Python implementations (3 args only), for comparison
|
|
|
|
def pyrange(start, stop, step):
|
|
|
|
if (start - stop) // step < 0:
|
|
|
|
# replace stop with next element in the sequence of integers
|
|
|
|
# that are congruent to start modulo step.
|
|
|
|
stop += (start - stop) % step
|
|
|
|
while start != stop:
|
|
|
|
yield start
|
|
|
|
start += step
|
|
|
|
|
|
|
|
def pyrange_reversed(start, stop, step):
|
|
|
|
stop += (start - stop) % step
|
|
|
|
return pyrange(stop - step, start - step, -step)
|
|
|
|
|
|
|
|
|
2007-05-22 02:01:17 +08:00
|
|
|
class RangeTest(unittest.TestCase):
|
2009-11-15 17:57:26 +08:00
|
|
|
def assert_iterators_equal(self, xs, ys, test_id, limit=None):
|
|
|
|
# check that an iterator xs matches the expected results ys,
|
|
|
|
# up to a given limit.
|
|
|
|
if limit is not None:
|
|
|
|
xs = itertools.islice(xs, limit)
|
|
|
|
ys = itertools.islice(ys, limit)
|
|
|
|
sentinel = object()
|
|
|
|
pairs = itertools.zip_longest(xs, ys, fillvalue=sentinel)
|
|
|
|
for i, (x, y) in enumerate(pairs):
|
|
|
|
if x == y:
|
|
|
|
continue
|
|
|
|
elif x == sentinel:
|
|
|
|
self.fail('{}: iterator ended unexpectedly '
|
|
|
|
'at position {}; expected {}'.format(test_id, i, y))
|
|
|
|
elif y == sentinel:
|
|
|
|
self.fail('{}: unexpected excess element {} at '
|
|
|
|
'position {}'.format(test_id, x, i))
|
|
|
|
else:
|
|
|
|
self.fail('{}: wrong element at position {};'
|
|
|
|
'expected {}, got {}'.format(test_id, i, y, x))
|
|
|
|
|
2007-05-22 02:01:17 +08:00
|
|
|
def test_range(self):
|
2007-05-08 06:24:25 +08:00
|
|
|
self.assertEqual(list(range(3)), [0, 1, 2])
|
|
|
|
self.assertEqual(list(range(1, 5)), [1, 2, 3, 4])
|
|
|
|
self.assertEqual(list(range(0)), [])
|
|
|
|
self.assertEqual(list(range(-3)), [])
|
|
|
|
self.assertEqual(list(range(1, 10, 3)), [1, 4, 7])
|
|
|
|
self.assertEqual(list(range(5, -5, -3)), [5, 2, -1, -4])
|
2004-07-08 09:59:55 +08:00
|
|
|
|
|
|
|
a = 10
|
|
|
|
b = 100
|
|
|
|
c = 50
|
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
self.assertEqual(list(range(a, a+2)), [a, a+1])
|
|
|
|
self.assertEqual(list(range(a+2, a, -1)), [a+2, a+1])
|
|
|
|
self.assertEqual(list(range(a+4, a, -2)), [a+4, a+2])
|
2004-07-08 09:59:55 +08:00
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
seq = list(range(a, b, c))
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(a, seq)
|
|
|
|
self.assertNotIn(b, seq)
|
2004-07-08 09:59:55 +08:00
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
seq = list(range(b, a, -c))
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(b, seq)
|
|
|
|
self.assertNotIn(a, seq)
|
2004-07-08 09:59:55 +08:00
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
seq = list(range(-a, -b, -c))
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(-a, seq)
|
|
|
|
self.assertNotIn(-b, seq)
|
2004-07-08 09:59:55 +08:00
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
self.assertRaises(TypeError, range)
|
|
|
|
self.assertRaises(TypeError, range, 1, 2, 3, 4)
|
|
|
|
self.assertRaises(ValueError, range, 1, 2, 0)
|
2004-07-08 09:59:55 +08:00
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
self.assertRaises(TypeError, range, 0.0, 2, 1)
|
|
|
|
self.assertRaises(TypeError, range, 1, 2.0, 1)
|
|
|
|
self.assertRaises(TypeError, range, 1, 2, 1.0)
|
|
|
|
self.assertRaises(TypeError, range, 1e100, 1e101, 1e101)
|
2004-07-08 09:59:55 +08:00
|
|
|
|
2007-05-08 06:24:25 +08:00
|
|
|
self.assertRaises(TypeError, range, 0, "spam")
|
|
|
|
self.assertRaises(TypeError, range, 0, 42, "spam")
|
2004-07-08 09:59:55 +08:00
|
|
|
|
2007-12-05 07:02:19 +08:00
|
|
|
self.assertEqual(len(range(0, sys.maxsize, sys.maxsize-1)), 2)
|
2004-08-08 15:17:39 +08:00
|
|
|
|
2007-12-05 07:02:19 +08:00
|
|
|
r = range(-sys.maxsize, sys.maxsize, 2)
|
|
|
|
self.assertEqual(len(r), sys.maxsize)
|
2004-08-08 15:17:39 +08:00
|
|
|
|
2010-11-21 07:01:55 +08:00
|
|
|
def test_large_operands(self):
|
|
|
|
x = range(10**20, 10**20+10, 3)
|
|
|
|
self.assertEqual(len(x), 4)
|
|
|
|
self.assertEqual(len(list(x)), 4)
|
|
|
|
|
|
|
|
x = range(10**20+10, 10**20, 3)
|
|
|
|
self.assertEqual(len(x), 0)
|
|
|
|
self.assertEqual(len(list(x)), 0)
|
|
|
|
|
|
|
|
x = range(10**20, 10**20+10, -3)
|
|
|
|
self.assertEqual(len(x), 0)
|
|
|
|
self.assertEqual(len(list(x)), 0)
|
|
|
|
|
|
|
|
x = range(10**20+10, 10**20, -3)
|
|
|
|
self.assertEqual(len(x), 4)
|
|
|
|
self.assertEqual(len(list(x)), 4)
|
|
|
|
|
|
|
|
# Now test range() with longs
|
|
|
|
self.assertEqual(list(range(-2**100)), [])
|
|
|
|
self.assertEqual(list(range(0, -2**100)), [])
|
|
|
|
self.assertEqual(list(range(0, 2**100, -1)), [])
|
|
|
|
self.assertEqual(list(range(0, 2**100, -1)), [])
|
|
|
|
|
|
|
|
a = int(10 * sys.maxsize)
|
|
|
|
b = int(100 * sys.maxsize)
|
|
|
|
c = int(50 * sys.maxsize)
|
|
|
|
|
|
|
|
self.assertEqual(list(range(a, a+2)), [a, a+1])
|
|
|
|
self.assertEqual(list(range(a+2, a, -1)), [a+2, a+1])
|
|
|
|
self.assertEqual(list(range(a+4, a, -2)), [a+4, a+2])
|
|
|
|
|
|
|
|
seq = list(range(a, b, c))
|
|
|
|
self.assertIn(a, seq)
|
|
|
|
self.assertNotIn(b, seq)
|
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
|
|
|
seq = list(range(b, a, -c))
|
|
|
|
self.assertIn(b, seq)
|
|
|
|
self.assertNotIn(a, seq)
|
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
|
|
|
seq = list(range(-a, -b, -c))
|
|
|
|
self.assertIn(-a, seq)
|
|
|
|
self.assertNotIn(-b, seq)
|
|
|
|
self.assertEqual(len(seq), 2)
|
|
|
|
|
|
|
|
self.assertRaises(OverflowError, len, range(0, sys.maxsize**10))
|
|
|
|
|
|
|
|
def test_invalid_invocation(self):
|
|
|
|
self.assertRaises(TypeError, range)
|
|
|
|
self.assertRaises(TypeError, range, 1, 2, 3, 4)
|
|
|
|
self.assertRaises(ValueError, range, 1, 2, 0)
|
|
|
|
self.assertRaises(ValueError, range, a, a + 1, int(0))
|
|
|
|
self.assertRaises(TypeError, range, 1., 1., 1.)
|
|
|
|
self.assertRaises(TypeError, range, 1e100, 1e101, 1e101)
|
|
|
|
self.assertRaises(TypeError, range, 0, "spam")
|
|
|
|
self.assertRaises(TypeError, range, 0, 42, "spam")
|
|
|
|
# Exercise various combinations of bad arguments, to check
|
|
|
|
# refcounting logic
|
|
|
|
self.assertRaises(TypeError, range, 0.0)
|
|
|
|
self.assertRaises(TypeError, range, 0, 0.0)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0.0)
|
|
|
|
self.assertRaises(TypeError, range, 0, 0, 1.0)
|
|
|
|
self.assertRaises(TypeError, range, 0, 0.0, 1)
|
|
|
|
self.assertRaises(TypeError, range, 0, 0.0, 1.0)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0, 1)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0, 1.0)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0.0, 1)
|
|
|
|
self.assertRaises(TypeError, range, 0.0, 0.0, 1.0)
|
|
|
|
|
|
|
|
def test_index(self):
|
|
|
|
u = range(2)
|
|
|
|
self.assertEqual(u.index(0), 0)
|
|
|
|
self.assertEqual(u.index(1), 1)
|
|
|
|
self.assertRaises(ValueError, u.index, 2)
|
|
|
|
|
|
|
|
u = range(-2, 3)
|
|
|
|
self.assertEqual(u.count(0), 1)
|
|
|
|
self.assertEqual(u.index(0), 2)
|
|
|
|
self.assertRaises(TypeError, u.index)
|
|
|
|
|
|
|
|
class BadExc(Exception):
|
|
|
|
pass
|
|
|
|
|
|
|
|
class BadCmp:
|
|
|
|
def __eq__(self, other):
|
|
|
|
if other == 2:
|
|
|
|
raise BadExc()
|
|
|
|
return False
|
|
|
|
|
|
|
|
a = range(4)
|
|
|
|
self.assertRaises(BadExc, a.index, BadCmp())
|
|
|
|
|
|
|
|
a = range(-2, 3)
|
|
|
|
self.assertEqual(a.index(0), 2)
|
|
|
|
self.assertEqual(range(1, 10, 3).index(4), 1)
|
|
|
|
self.assertEqual(range(1, -10, -3).index(-5), 2)
|
|
|
|
|
|
|
|
self.assertEqual(range(10**20).index(1), 1)
|
|
|
|
self.assertEqual(range(10**20).index(10**20 - 1), 10**20 - 1)
|
|
|
|
|
|
|
|
self.assertRaises(ValueError, range(1, 2**100, 2).index, 2**87)
|
|
|
|
self.assertEqual(range(1, 2**100, 2).index(2**87+1), 2**86)
|
|
|
|
|
|
|
|
class AlwaysEqual(object):
|
|
|
|
def __eq__(self, other):
|
|
|
|
return True
|
|
|
|
always_equal = AlwaysEqual()
|
|
|
|
self.assertEqual(range(10).index(always_equal), 10)
|
|
|
|
|
|
|
|
def test_user_index_method(self):
|
|
|
|
bignum = 2*sys.maxsize
|
|
|
|
smallnum = 42
|
|
|
|
|
|
|
|
# User-defined class with an __index__ method
|
|
|
|
class I:
|
|
|
|
def __init__(self, n):
|
|
|
|
self.n = int(n)
|
|
|
|
def __index__(self):
|
|
|
|
return self.n
|
|
|
|
self.assertEqual(list(range(I(bignum), I(bignum + 1))), [bignum])
|
|
|
|
self.assertEqual(list(range(I(smallnum), I(smallnum + 1))), [smallnum])
|
|
|
|
|
|
|
|
# User-defined class with a failing __index__ method
|
|
|
|
class IX:
|
|
|
|
def __index__(self):
|
|
|
|
raise RuntimeError
|
|
|
|
self.assertRaises(RuntimeError, range, IX())
|
|
|
|
|
|
|
|
# User-defined class with an invalid __index__ method
|
|
|
|
class IN:
|
|
|
|
def __index__(self):
|
|
|
|
return "not a number"
|
|
|
|
|
|
|
|
self.assertRaises(TypeError, range, IN())
|
|
|
|
|
|
|
|
def test_count(self):
|
|
|
|
self.assertEqual(range(3).count(-1), 0)
|
|
|
|
self.assertEqual(range(3).count(0), 1)
|
|
|
|
self.assertEqual(range(3).count(1), 1)
|
|
|
|
self.assertEqual(range(3).count(2), 1)
|
|
|
|
self.assertEqual(range(3).count(3), 0)
|
|
|
|
self.assertIs(type(range(3).count(-1)), int)
|
|
|
|
self.assertIs(type(range(3).count(1)), int)
|
|
|
|
self.assertEqual(range(10**20).count(1), 1)
|
|
|
|
self.assertEqual(range(10**20).count(10**20), 0)
|
|
|
|
self.assertEqual(range(3).index(1), 1)
|
|
|
|
self.assertEqual(range(1, 2**100, 2).count(2**87), 0)
|
|
|
|
self.assertEqual(range(1, 2**100, 2).count(2**87+1), 1)
|
|
|
|
|
|
|
|
class AlwaysEqual(object):
|
|
|
|
def __eq__(self, other):
|
|
|
|
return True
|
|
|
|
always_equal = AlwaysEqual()
|
|
|
|
self.assertEqual(range(10).count(always_equal), 10)
|
|
|
|
|
2007-05-20 16:22:37 +08:00
|
|
|
def test_repr(self):
|
2007-05-21 18:43:34 +08:00
|
|
|
self.assertEqual(repr(range(1)), 'range(0, 1)')
|
2007-05-20 16:22:37 +08:00
|
|
|
self.assertEqual(repr(range(1, 2)), 'range(1, 2)')
|
|
|
|
self.assertEqual(repr(range(1, 2, 3)), 'range(1, 2, 3)')
|
|
|
|
|
2008-06-10 12:03:04 +08:00
|
|
|
def test_pickling(self):
|
|
|
|
testcases = [(13,), (0, 11), (-22, 10), (20, 3, -1),
|
|
|
|
(13, 21, 3), (-2, 2, 2)]
|
2008-10-23 08:38:15 +08:00
|
|
|
for proto in range(pickle.HIGHEST_PROTOCOL + 1):
|
2008-06-10 12:03:04 +08:00
|
|
|
for t in testcases:
|
|
|
|
r = range(*t)
|
2010-11-21 03:04:17 +08:00
|
|
|
self.assertEqual(list(pickle.loads(pickle.dumps(r, proto))),
|
|
|
|
list(r))
|
2008-06-10 12:03:04 +08:00
|
|
|
|
2009-06-13 02:40:16 +08:00
|
|
|
def test_odd_bug(self):
|
|
|
|
# This used to raise a "SystemError: NULL result without error"
|
|
|
|
# because the range validation step was eating the exception
|
|
|
|
# before NULL was returned.
|
|
|
|
with self.assertRaises(TypeError):
|
|
|
|
range([], 1, -1)
|
|
|
|
|
2009-09-23 05:47:24 +08:00
|
|
|
def test_types(self):
|
|
|
|
# Non-integer objects *equal* to any of the range's items are supposed
|
|
|
|
# to be contained in the range.
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(1.0, range(3))
|
|
|
|
self.assertIn(True, range(3))
|
|
|
|
self.assertIn(1+0j, range(3))
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
class C1:
|
|
|
|
def __eq__(self, other): return True
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(C1(), range(3))
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
# Objects are never coerced into other types for comparison.
|
|
|
|
class C2:
|
|
|
|
def __int__(self): return 1
|
|
|
|
def __index__(self): return 1
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(C2(), range(3))
|
2009-09-23 05:47:24 +08:00
|
|
|
# ..except if explicitly told so.
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(int(C2()), range(3))
|
2009-09-23 05:47:24 +08:00
|
|
|
|
2009-09-25 04:04:23 +08:00
|
|
|
# Check that the range.__contains__ optimization is only
|
|
|
|
# used for ints, not for instances of subclasses of int.
|
|
|
|
class C3(int):
|
|
|
|
def __eq__(self, other): return True
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(C3(11), range(10))
|
|
|
|
self.assertIn(C3(11), list(range(10)))
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
def test_strided_limits(self):
|
|
|
|
r = range(0, 101, 2)
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(0, r)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(1, r)
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(2, r)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(99, r)
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(100, r)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(101, r)
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
r = range(0, -20, -1)
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(0, r)
|
|
|
|
self.assertIn(-1, r)
|
|
|
|
self.assertIn(-19, r)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(-20, r)
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
r = range(0, -20, -2)
|
2010-01-19 08:09:57 +08:00
|
|
|
self.assertIn(-18, r)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(-19, r)
|
|
|
|
self.assertNotIn(-20, r)
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
def test_empty(self):
|
|
|
|
r = range(0)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(0, r)
|
|
|
|
self.assertNotIn(1, r)
|
2009-09-23 05:47:24 +08:00
|
|
|
|
|
|
|
r = range(0, -10)
|
2010-01-23 23:40:09 +08:00
|
|
|
self.assertNotIn(0, r)
|
|
|
|
self.assertNotIn(-1, r)
|
|
|
|
self.assertNotIn(1, r)
|
2009-09-23 05:47:24 +08:00
|
|
|
|
2009-11-15 17:57:26 +08:00
|
|
|
def test_range_iterators(self):
|
|
|
|
# exercise 'fast' iterators, that use a rangeiterobject internally.
|
|
|
|
# see issue 7298
|
|
|
|
limits = [base + jiggle
|
|
|
|
for M in (2**32, 2**64)
|
|
|
|
for base in (-M, -M//2, 0, M//2, M)
|
|
|
|
for jiggle in (-2, -1, 0, 1, 2)]
|
|
|
|
test_ranges = [(start, end, step)
|
|
|
|
for start in limits
|
|
|
|
for end in limits
|
|
|
|
for step in (-2**63, -2**31, -2, -1, 1, 2)]
|
|
|
|
|
|
|
|
for start, end, step in test_ranges:
|
|
|
|
iter1 = range(start, end, step)
|
|
|
|
iter2 = pyrange(start, end, step)
|
|
|
|
test_id = "range({}, {}, {})".format(start, end, step)
|
|
|
|
# check first 100 entries
|
|
|
|
self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
|
|
|
|
|
|
|
|
iter1 = reversed(range(start, end, step))
|
|
|
|
iter2 = pyrange_reversed(start, end, step)
|
|
|
|
test_id = "reversed(range({}, {}, {}))".format(start, end, step)
|
|
|
|
self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
|
|
|
|
|
2004-07-08 09:59:55 +08:00
|
|
|
def test_main():
|
2008-05-21 05:35:26 +08:00
|
|
|
test.support.run_unittest(RangeTest)
|
2004-07-08 09:59:55 +08:00
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
test_main()
|