Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 1 | import sys |
| 2 | |
| 3 | import unittest |
Serhiy Storchaka | 3b31704 | 2012-12-27 23:57:00 +0200 | [diff] [blame] | 4 | from test import support |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 5 | from test.support import run_unittest |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 6 | |
| 7 | L = [ |
| 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 Belopolsky | 942af5a | 2010-12-04 03:38:46 +0000 | [diff] [blame] | 24 | (' \t\t ', ValueError), |
| 25 | ("\u0200", ValueError) |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 26 | ] |
| 27 | |
| 28 | class 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 Dickinson | 5c2db37 | 2009-12-05 20:28:34 +0000 | [diff] [blame] | 39 | self.assertEqual(int("-3"), -3) |
Alexander Belopolsky | 942af5a | 2010-12-04 03:38:46 +0000 | [diff] [blame] | 40 | self.assertEqual(int(" -3 "), -3) |
| 41 | self.assertEqual(int("\N{EM SPACE}-3\N{EN SPACE}"), -3) |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 42 | # 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 Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 60 | self.assertIsInstance(x, int) |
| 61 | # should return int |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 62 | self.assertEqual(int(s[1:]), sys.maxsize+1) |
| 63 | |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 64 | # should return int |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 65 | x = int(1e100) |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 66 | self.assertIsInstance(x, int) |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 67 | x = int(-1e100) |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 68 | self.assertIsInstance(x, int) |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 69 | |
| 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 Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 86 | self.assertIsInstance(x, int) |
| 87 | |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 88 | |
| 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 Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 104 | # 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 Storchaka | 3b31704 | 2012-12-27 23:57:00 +0200 | [diff] [blame] | 221 | @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 | |
Serhiy Storchaka | 0b386d5 | 2012-12-28 09:42:11 +0200 | [diff] [blame^] | 229 | def test_keyword_args(self): |
| 230 | # Test invoking int() using keyword arguments. |
| 231 | self.assertEqual(int(x=1.2), 1) |
| 232 | self.assertEqual(int('100', base=2), 4) |
| 233 | self.assertEqual(int(x='100', base=2), 4) |
| 234 | self.assertRaises(TypeError, int, base=10) |
| 235 | self.assertRaises(TypeError, int, base=0) |
| 236 | |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 237 | def test_intconversion(self): |
| 238 | # Test __int__() |
| 239 | class ClassicMissingMethods: |
| 240 | pass |
| 241 | self.assertRaises(TypeError, int, ClassicMissingMethods()) |
| 242 | |
| 243 | class MissingMethods(object): |
| 244 | pass |
| 245 | self.assertRaises(TypeError, int, MissingMethods()) |
| 246 | |
| 247 | class Foo0: |
| 248 | def __int__(self): |
| 249 | return 42 |
| 250 | |
| 251 | class Foo1(object): |
| 252 | def __int__(self): |
| 253 | return 42 |
| 254 | |
| 255 | class Foo2(int): |
| 256 | def __int__(self): |
| 257 | return 42 |
| 258 | |
| 259 | class Foo3(int): |
| 260 | def __int__(self): |
| 261 | return self |
| 262 | |
| 263 | class Foo4(int): |
| 264 | def __int__(self): |
| 265 | return 42 |
| 266 | |
| 267 | class Foo5(int): |
| 268 | def __int__(self): |
| 269 | return 42. |
| 270 | |
| 271 | self.assertEqual(int(Foo0()), 42) |
| 272 | self.assertEqual(int(Foo1()), 42) |
| 273 | self.assertEqual(int(Foo2()), 42) |
| 274 | self.assertEqual(int(Foo3()), 0) |
| 275 | self.assertEqual(int(Foo4()), 42) |
| 276 | self.assertRaises(TypeError, int, Foo5()) |
| 277 | |
| 278 | class Classic: |
| 279 | pass |
| 280 | for base in (object, Classic): |
| 281 | class IntOverridesTrunc(base): |
| 282 | def __int__(self): |
| 283 | return 42 |
| 284 | def __trunc__(self): |
| 285 | return -12 |
| 286 | self.assertEqual(int(IntOverridesTrunc()), 42) |
| 287 | |
| 288 | class JustTrunc(base): |
| 289 | def __trunc__(self): |
| 290 | return 42 |
| 291 | self.assertEqual(int(JustTrunc()), 42) |
| 292 | |
| 293 | for trunc_result_base in (object, Classic): |
| 294 | class Integral(trunc_result_base): |
| 295 | def __int__(self): |
| 296 | return 42 |
| 297 | |
| 298 | class TruncReturnsNonInt(base): |
| 299 | def __trunc__(self): |
| 300 | return Integral() |
| 301 | self.assertEqual(int(TruncReturnsNonInt()), 42) |
| 302 | |
| 303 | class NonIntegral(trunc_result_base): |
| 304 | def __trunc__(self): |
| 305 | # Check that we avoid infinite recursion. |
| 306 | return NonIntegral() |
| 307 | |
| 308 | class TruncReturnsNonIntegral(base): |
| 309 | def __trunc__(self): |
| 310 | return NonIntegral() |
| 311 | try: |
| 312 | int(TruncReturnsNonIntegral()) |
| 313 | except TypeError as e: |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 314 | self.assertEqual(str(e), |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 315 | "__trunc__ returned non-Integral" |
| 316 | " (type NonIntegral)") |
| 317 | else: |
| 318 | self.fail("Failed to raise TypeError with %s" % |
| 319 | ((base, trunc_result_base),)) |
| 320 | |
Alexander Belopolsky | 942af5a | 2010-12-04 03:38:46 +0000 | [diff] [blame] | 321 | def test_error_message(self): |
| 322 | testlist = ('\xbd', '123\xbd', ' 123 456 ') |
| 323 | for s in testlist: |
| 324 | try: |
| 325 | int(s) |
| 326 | except ValueError as e: |
| 327 | self.assertIn(s.strip(), e.args[0]) |
| 328 | else: |
| 329 | self.fail("Expected int(%r) to raise a ValueError", s) |
| 330 | |
Christian Heimes | 81ee3ef | 2008-05-04 22:42:01 +0000 | [diff] [blame] | 331 | def test_main(): |
| 332 | run_unittest(IntTestCases) |
| 333 | |
| 334 | if __name__ == "__main__": |
| 335 | test_main() |