blob: 4f2224b9323d7f5d480a743300ae79ffdd029603 [file] [log] [blame]
Christian Heimes81ee3ef2008-05-04 22:42:01 +00001import sys
2
3import unittest
Serhiy Storchaka3b317042012-12-27 23:57:00 +02004from test import support
Benjamin Petersonee8712c2008-05-20 21:35:26 +00005from test.support import run_unittest
Christian Heimes81ee3ef2008-05-04 22:42:01 +00006
7L = [
8 ('0', 0),
9 ('1', 1),
10 ('9', 9),
11 ('10', 10),
12 ('99', 99),
13 ('100', 100),
14 ('314', 314),
15 (' 314', 314),
16 ('314 ', 314),
17 (' \t\t 314 \t\t ', 314),
18 (repr(sys.maxsize), sys.maxsize),
19 (' 1x', ValueError),
20 (' 1 ', 1),
21 (' 1\02 ', ValueError),
22 ('', ValueError),
23 (' ', ValueError),
Alexander Belopolsky942af5a2010-12-04 03:38:46 +000024 (' \t\t ', ValueError),
25 ("\u0200", ValueError)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000026]
27
28class IntTestCases(unittest.TestCase):
29
30 def test_basic(self):
31 self.assertEqual(int(314), 314)
32 self.assertEqual(int(3.14), 3)
33 # Check that conversion from float truncates towards zero
34 self.assertEqual(int(-3.14), -3)
35 self.assertEqual(int(3.9), 3)
36 self.assertEqual(int(-3.9), -3)
37 self.assertEqual(int(3.5), 3)
38 self.assertEqual(int(-3.5), -3)
Mark Dickinson5c2db372009-12-05 20:28:34 +000039 self.assertEqual(int("-3"), -3)
Alexander Belopolsky942af5a2010-12-04 03:38:46 +000040 self.assertEqual(int(" -3 "), -3)
41 self.assertEqual(int("\N{EM SPACE}-3\N{EN SPACE}"), -3)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000042 # Different base:
43 self.assertEqual(int("10",16), 16)
44 # Test conversion from strings and various anomalies
45 for s, v in L:
46 for sign in "", "+", "-":
47 for prefix in "", " ", "\t", " \t\t ":
48 ss = prefix + sign + s
49 vv = v
50 if sign == "-" and v is not ValueError:
51 vv = -v
52 try:
53 self.assertEqual(int(ss), vv)
54 except ValueError:
55 pass
56
57 s = repr(-1-sys.maxsize)
58 x = int(s)
59 self.assertEqual(x+1, -sys.maxsize)
Ezio Melottie9615932010-01-24 19:26:24 +000060 self.assertIsInstance(x, int)
61 # should return int
Christian Heimes81ee3ef2008-05-04 22:42:01 +000062 self.assertEqual(int(s[1:]), sys.maxsize+1)
63
Ezio Melottie9615932010-01-24 19:26:24 +000064 # should return int
Christian Heimes81ee3ef2008-05-04 22:42:01 +000065 x = int(1e100)
Ezio Melottie9615932010-01-24 19:26:24 +000066 self.assertIsInstance(x, int)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000067 x = int(-1e100)
Ezio Melottie9615932010-01-24 19:26:24 +000068 self.assertIsInstance(x, int)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000069
70
71 # SF bug 434186: 0x80000000/2 != 0x80000000>>1.
72 # Worked by accident in Windows release build, but failed in debug build.
73 # Failed in all Linux builds.
74 x = -1-sys.maxsize
75 self.assertEqual(x >> 1, x//2)
76
77 self.assertRaises(ValueError, int, '123\0')
78 self.assertRaises(ValueError, int, '53', 40)
79
80 # SF bug 1545497: embedded NULs were not detected with
81 # explicit base
82 self.assertRaises(ValueError, int, '123\0', 10)
83 self.assertRaises(ValueError, int, '123\x00 245', 20)
84
85 x = int('1' * 600)
Ezio Melottie9615932010-01-24 19:26:24 +000086 self.assertIsInstance(x, int)
87
Christian Heimes81ee3ef2008-05-04 22:42:01 +000088
89 self.assertRaises(TypeError, int, 1, 12)
90
91 self.assertEqual(int('0o123', 0), 83)
92 self.assertEqual(int('0x123', 16), 291)
93
94 # Bug 1679: "0x" is not a valid hex literal
95 self.assertRaises(ValueError, int, "0x", 16)
96 self.assertRaises(ValueError, int, "0x", 0)
97
98 self.assertRaises(ValueError, int, "0o", 8)
99 self.assertRaises(ValueError, int, "0o", 0)
100
101 self.assertRaises(ValueError, int, "0b", 2)
102 self.assertRaises(ValueError, int, "0b", 0)
103
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000104 # SF bug 1334662: int(string, base) wrong answers
105 # Various representations of 2**32 evaluated to 0
106 # rather than 2**32 in previous versions
107
108 self.assertEqual(int('100000000000000000000000000000000', 2), 4294967296)
109 self.assertEqual(int('102002022201221111211', 3), 4294967296)
110 self.assertEqual(int('10000000000000000', 4), 4294967296)
111 self.assertEqual(int('32244002423141', 5), 4294967296)
112 self.assertEqual(int('1550104015504', 6), 4294967296)
113 self.assertEqual(int('211301422354', 7), 4294967296)
114 self.assertEqual(int('40000000000', 8), 4294967296)
115 self.assertEqual(int('12068657454', 9), 4294967296)
116 self.assertEqual(int('4294967296', 10), 4294967296)
117 self.assertEqual(int('1904440554', 11), 4294967296)
118 self.assertEqual(int('9ba461594', 12), 4294967296)
119 self.assertEqual(int('535a79889', 13), 4294967296)
120 self.assertEqual(int('2ca5b7464', 14), 4294967296)
121 self.assertEqual(int('1a20dcd81', 15), 4294967296)
122 self.assertEqual(int('100000000', 16), 4294967296)
123 self.assertEqual(int('a7ffda91', 17), 4294967296)
124 self.assertEqual(int('704he7g4', 18), 4294967296)
125 self.assertEqual(int('4f5aff66', 19), 4294967296)
126 self.assertEqual(int('3723ai4g', 20), 4294967296)
127 self.assertEqual(int('281d55i4', 21), 4294967296)
128 self.assertEqual(int('1fj8b184', 22), 4294967296)
129 self.assertEqual(int('1606k7ic', 23), 4294967296)
130 self.assertEqual(int('mb994ag', 24), 4294967296)
131 self.assertEqual(int('hek2mgl', 25), 4294967296)
132 self.assertEqual(int('dnchbnm', 26), 4294967296)
133 self.assertEqual(int('b28jpdm', 27), 4294967296)
134 self.assertEqual(int('8pfgih4', 28), 4294967296)
135 self.assertEqual(int('76beigg', 29), 4294967296)
136 self.assertEqual(int('5qmcpqg', 30), 4294967296)
137 self.assertEqual(int('4q0jto4', 31), 4294967296)
138 self.assertEqual(int('4000000', 32), 4294967296)
139 self.assertEqual(int('3aokq94', 33), 4294967296)
140 self.assertEqual(int('2qhxjli', 34), 4294967296)
141 self.assertEqual(int('2br45qb', 35), 4294967296)
142 self.assertEqual(int('1z141z4', 36), 4294967296)
143
144 # tests with base 0
145 # this fails on 3.0, but in 2.x the old octal syntax is allowed
146 self.assertEqual(int(' 0o123 ', 0), 83)
147 self.assertEqual(int(' 0o123 ', 0), 83)
148 self.assertEqual(int('000', 0), 0)
149 self.assertEqual(int('0o123', 0), 83)
150 self.assertEqual(int('0x123', 0), 291)
151 self.assertEqual(int('0b100', 0), 4)
152 self.assertEqual(int(' 0O123 ', 0), 83)
153 self.assertEqual(int(' 0X123 ', 0), 291)
154 self.assertEqual(int(' 0B100 ', 0), 4)
155
156 # without base still base 10
157 self.assertEqual(int('0123'), 123)
158 self.assertEqual(int('0123', 10), 123)
159
160 # tests with prefix and base != 0
161 self.assertEqual(int('0x123', 16), 291)
162 self.assertEqual(int('0o123', 8), 83)
163 self.assertEqual(int('0b100', 2), 4)
164 self.assertEqual(int('0X123', 16), 291)
165 self.assertEqual(int('0O123', 8), 83)
166 self.assertEqual(int('0B100', 2), 4)
167
168 # the code has special checks for the first character after the
169 # type prefix
170 self.assertRaises(ValueError, int, '0b2', 2)
171 self.assertRaises(ValueError, int, '0b02', 2)
172 self.assertRaises(ValueError, int, '0B2', 2)
173 self.assertRaises(ValueError, int, '0B02', 2)
174 self.assertRaises(ValueError, int, '0o8', 8)
175 self.assertRaises(ValueError, int, '0o08', 8)
176 self.assertRaises(ValueError, int, '0O8', 8)
177 self.assertRaises(ValueError, int, '0O08', 8)
178 self.assertRaises(ValueError, int, '0xg', 16)
179 self.assertRaises(ValueError, int, '0x0g', 16)
180 self.assertRaises(ValueError, int, '0Xg', 16)
181 self.assertRaises(ValueError, int, '0X0g', 16)
182
183 # SF bug 1334662: int(string, base) wrong answers
184 # Checks for proper evaluation of 2**32 + 1
185 self.assertEqual(int('100000000000000000000000000000001', 2), 4294967297)
186 self.assertEqual(int('102002022201221111212', 3), 4294967297)
187 self.assertEqual(int('10000000000000001', 4), 4294967297)
188 self.assertEqual(int('32244002423142', 5), 4294967297)
189 self.assertEqual(int('1550104015505', 6), 4294967297)
190 self.assertEqual(int('211301422355', 7), 4294967297)
191 self.assertEqual(int('40000000001', 8), 4294967297)
192 self.assertEqual(int('12068657455', 9), 4294967297)
193 self.assertEqual(int('4294967297', 10), 4294967297)
194 self.assertEqual(int('1904440555', 11), 4294967297)
195 self.assertEqual(int('9ba461595', 12), 4294967297)
196 self.assertEqual(int('535a7988a', 13), 4294967297)
197 self.assertEqual(int('2ca5b7465', 14), 4294967297)
198 self.assertEqual(int('1a20dcd82', 15), 4294967297)
199 self.assertEqual(int('100000001', 16), 4294967297)
200 self.assertEqual(int('a7ffda92', 17), 4294967297)
201 self.assertEqual(int('704he7g5', 18), 4294967297)
202 self.assertEqual(int('4f5aff67', 19), 4294967297)
203 self.assertEqual(int('3723ai4h', 20), 4294967297)
204 self.assertEqual(int('281d55i5', 21), 4294967297)
205 self.assertEqual(int('1fj8b185', 22), 4294967297)
206 self.assertEqual(int('1606k7id', 23), 4294967297)
207 self.assertEqual(int('mb994ah', 24), 4294967297)
208 self.assertEqual(int('hek2mgm', 25), 4294967297)
209 self.assertEqual(int('dnchbnn', 26), 4294967297)
210 self.assertEqual(int('b28jpdn', 27), 4294967297)
211 self.assertEqual(int('8pfgih5', 28), 4294967297)
212 self.assertEqual(int('76beigh', 29), 4294967297)
213 self.assertEqual(int('5qmcpqh', 30), 4294967297)
214 self.assertEqual(int('4q0jto5', 31), 4294967297)
215 self.assertEqual(int('4000001', 32), 4294967297)
216 self.assertEqual(int('3aokq95', 33), 4294967297)
217 self.assertEqual(int('2qhxjlj', 34), 4294967297)
218 self.assertEqual(int('2br45qc', 35), 4294967297)
219 self.assertEqual(int('1z141z5', 36), 4294967297)
220
Serhiy Storchaka3b317042012-12-27 23:57:00 +0200221 @support.cpython_only
222 def test_small_ints(self):
223 # Bug #3236: Return small longs from PyLong_FromString
224 self.assertIs(int('10'), 10)
225 self.assertIs(int('-1'), -1)
226 self.assertIs(int(b'10'), 10)
227 self.assertIs(int(b'-1'), -1)
228
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000229 def test_intconversion(self):
230 # Test __int__()
231 class ClassicMissingMethods:
232 pass
233 self.assertRaises(TypeError, int, ClassicMissingMethods())
234
235 class MissingMethods(object):
236 pass
237 self.assertRaises(TypeError, int, MissingMethods())
238
239 class Foo0:
240 def __int__(self):
241 return 42
242
243 class Foo1(object):
244 def __int__(self):
245 return 42
246
247 class Foo2(int):
248 def __int__(self):
249 return 42
250
251 class Foo3(int):
252 def __int__(self):
253 return self
254
255 class Foo4(int):
256 def __int__(self):
257 return 42
258
259 class Foo5(int):
260 def __int__(self):
261 return 42.
262
263 self.assertEqual(int(Foo0()), 42)
264 self.assertEqual(int(Foo1()), 42)
265 self.assertEqual(int(Foo2()), 42)
266 self.assertEqual(int(Foo3()), 0)
267 self.assertEqual(int(Foo4()), 42)
268 self.assertRaises(TypeError, int, Foo5())
269
270 class Classic:
271 pass
272 for base in (object, Classic):
273 class IntOverridesTrunc(base):
274 def __int__(self):
275 return 42
276 def __trunc__(self):
277 return -12
278 self.assertEqual(int(IntOverridesTrunc()), 42)
279
280 class JustTrunc(base):
281 def __trunc__(self):
282 return 42
283 self.assertEqual(int(JustTrunc()), 42)
284
285 for trunc_result_base in (object, Classic):
286 class Integral(trunc_result_base):
287 def __int__(self):
288 return 42
289
290 class TruncReturnsNonInt(base):
291 def __trunc__(self):
292 return Integral()
293 self.assertEqual(int(TruncReturnsNonInt()), 42)
294
295 class NonIntegral(trunc_result_base):
296 def __trunc__(self):
297 # Check that we avoid infinite recursion.
298 return NonIntegral()
299
300 class TruncReturnsNonIntegral(base):
301 def __trunc__(self):
302 return NonIntegral()
303 try:
304 int(TruncReturnsNonIntegral())
305 except TypeError as e:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000306 self.assertEqual(str(e),
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000307 "__trunc__ returned non-Integral"
308 " (type NonIntegral)")
309 else:
310 self.fail("Failed to raise TypeError with %s" %
311 ((base, trunc_result_base),))
312
Alexander Belopolsky942af5a2010-12-04 03:38:46 +0000313 def test_error_message(self):
314 testlist = ('\xbd', '123\xbd', ' 123 456 ')
315 for s in testlist:
316 try:
317 int(s)
318 except ValueError as e:
319 self.assertIn(s.strip(), e.args[0])
320 else:
321 self.fail("Expected int(%r) to raise a ValueError", s)
322
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000323def test_main():
324 run_unittest(IntTestCases)
325
326if __name__ == "__main__":
327 test_main()