# Python test set -- part 6, built-in types from test.support import ( run_with_locale, is_apple_mobile, cpython_only, iter_builtin_types, iter_slot_wrappers, MISSING_C_DOCSTRINGS, ) from test.test_import import no_rerun import collections.abc from collections import namedtuple, UserDict import copy import _datetime import gc import inspect import pickle import locale import sys import textwrap import types import unittest.mock import weakref import typing T = typing.TypeVar("T") class Example: pass class Forward: ... def clear_typing_caches(): for f in typing._cleanups: f() class TypesTests(unittest.TestCase): def test_truth_values(self): if None: self.fail('None is true instead of false') if 0: self.fail('0 is true instead of false') if 0.0: self.fail('0.0 is true instead of false') if '': self.fail('\'\' is true instead of false') if not 1: self.fail('1 is false instead of true') if not 1.0: self.fail('1.0 is false instead of true') if not 'x': self.fail('\'x\' is false instead of true') if not {'x': 1}: self.fail('{\'x\': 1} is false instead of true') def f(): pass class C: pass x = C() if not f: self.fail('f is false instead of true') if not C: self.fail('C is false instead of true') if not sys: self.fail('sys is false instead of true') if not x: self.fail('x is false instead of true') def test_boolean_ops(self): if 0 or 0: self.fail('0 or 0 is true instead of false') if 1 and 1: pass else: self.fail('1 and 1 is false instead of true') if not 1: self.fail('not 1 is true instead of false') def test_comparisons(self): if 0 < 1 <= 1 == 1 >= 1 > 0 != 1: pass else: self.fail('int comparisons failed') if 0.0 < 1.0 <= 1.0 == 1.0 >= 1.0 > 0.0 != 1.0: pass else: self.fail('float comparisons failed') if '' < 'a' <= 'a' == 'a' < 'abc' < 'abd' < 'b': pass else: self.fail('string comparisons failed') if None is None: pass else: self.fail('identity test failed') def test_float_constructor(self): self.assertRaises(ValueError, float, '') self.assertRaises(ValueError, float, '5\0') self.assertRaises(ValueError, float, '5_5\0') def test_zero_division(self): try: 5.0 / 0.0 except ZeroDivisionError: pass else: self.fail("5.0 / 0.0 didn't raise ZeroDivisionError") try: 5.0 // 0.0 except ZeroDivisionError: pass else: self.fail("5.0 // 0.0 didn't raise ZeroDivisionError") try: 5.0 % 0.0 except ZeroDivisionError: pass else: self.fail("5.0 % 0.0 didn't raise ZeroDivisionError") try: 5 / 0 except ZeroDivisionError: pass else: self.fail("5 / 0 didn't raise ZeroDivisionError") try: 5 // 0 except ZeroDivisionError: pass else: self.fail("5 // 0 didn't raise ZeroDivisionError") try: 5 % 0 except ZeroDivisionError: pass else: self.fail("5 % 0 didn't raise ZeroDivisionError") def test_numeric_types(self): if 0 != 0.0 or 1 != 1.0 or -1 != -1.0: self.fail('int/float value not equal') # calling built-in types without argument must return 0 if int() != 0: self.fail('int() does not return 0') if float() != 0.0: self.fail('float() does not return 0.0') if int(1.9) == 1 == int(1.1) and int(-1.1) == -1 == int(-1.9): pass else: self.fail('int() does not round properly') if float(1) == 1.0 and float(-1) == -1.0 and float(0) == 0.0: pass else: self.fail('float() does not work properly') def test_float_to_string(self): def test(f, result): self.assertEqual(f.__format__('e'), result) self.assertEqual('%e' % f, result) # test all 2 digit exponents, both with __format__ and with # '%' formatting for i in range(-99, 100): test(float('1.5e'+str(i)), '1.500000e{0:+03d}'.format(i)) # test some 3 digit exponents self.assertEqual(1.5e100.__format__('e'), '1.500000e+100') self.assertEqual('%e' % 1.5e100, '1.500000e+100') self.assertEqual(1.5e101.__format__('e'), '1.500000e+101') self.assertEqual('%e' % 1.5e101, '1.500000e+101') self.assertEqual(1.5e-100.__format__('e'), '1.500000e-100') self.assertEqual('%e' % 1.5e-100, '1.500000e-100') self.assertEqual(1.5e-101.__format__('e'), '1.500000e-101') self.assertEqual('%e' % 1.5e-101, '1.500000e-101') self.assertEqual('%g' % 1.0, '1') self.assertEqual('%#g' % 1.0, '1.00000') def test_normal_integers(self): # Ensure the first 256 integers are shared a = 256 b = 128*2 if a is not b: self.fail('256 is not shared') if 12 + 24 != 36: self.fail('int op') if 12 + (-24) != -12: self.fail('int op') if (-12) + 24 != 12: self.fail('int op') if (-12) + (-24) != -36: self.fail('int op') if not 12 < 24: self.fail('int op') if not -24 < -12: self.fail('int op') # Test for a particular bug in integer multiply xsize, ysize, zsize = 238, 356, 4 if not (xsize*ysize*zsize == zsize*xsize*ysize == 338912): self.fail('int mul commutativity') # And another. m = -sys.maxsize - 1 for divisor in 1, 2, 4, 8, 16, 32: j = m // divisor prod = divisor * j if prod != m: self.fail("%r * %r == %r != %r" % (divisor, j, prod, m)) if type(prod) is not int: self.fail("expected type(prod) to be int, not %r" % type(prod)) # Check for unified integral type for divisor in 1, 2, 4, 8, 16, 32: j = m // divisor - 1 prod = divisor * j if type(prod) is not int: self.fail("expected type(%r) to be int, not %r" % (prod, type(prod))) # Check for unified integral type m = sys.maxsize for divisor in 1, 2, 4, 8, 16, 32: j = m // divisor + 1 prod = divisor * j if type(prod) is not int: self.fail("expected type(%r) to be int, not %r" % (prod, type(prod))) x = sys.maxsize self.assertIsInstance(x + 1, int, "(sys.maxsize + 1) should have returned int") self.assertIsInstance(-x - 1, int, "(-sys.maxsize - 1) should have returned int") self.assertIsInstance(-x - 2, int, "(-sys.maxsize - 2) should have returned int") try: 5 << -5 except ValueError: pass else: self.fail('int negative shift <<') try: 5 >> -5 except ValueError: pass else: self.fail('int negative shift >>') def test_floats(self): if 12.0 + 24.0 != 36.0: self.fail('float op') if 12.0 + (-24.0) != -12.0: self.fail('float op') if (-12.0) + 24.0 != 12.0: self.fail('float op') if (-12.0) + (-24.0) != -36.0: self.fail('float op') if not 12.0 < 24.0: self.fail('float op') if not -24.0 < -12.0: self.fail('float op') def test_strings(self): if len('') != 0: self.fail('len(\'\')') if len('a') != 1: self.fail('len(\'a\')') if len('abcdef') != 6: self.fail('len(\'abcdef\')') if 'xyz' + 'abcde' != 'xyzabcde': self.fail('string concatenation') if 'xyz'*3 != 'xyzxyzxyz': self.fail('string repetition *3') if 0*'abcde' != '': self.fail('string repetition 0*') if min('abc') != 'a' or max('abc') != 'c': self.fail('min/max string') if 'a' in 'abc' and 'b' in 'abc' and 'c' in 'abc' and 'd' not in 'abc': pass else: self.fail('in/not in string') x = 'x'*103 if '%s!'%x != x+'!': self.fail('nasty string formatting bug') #extended slices for strings a = '0123456789' self.assertEqual(a[::], a) self.assertEqual(a[::2], '02468') self.assertEqual(a[1::2], '13579') self.assertEqual(a[::-1],'9876543210') self.assertEqual(a[::-2], '97531') self.assertEqual(a[3::-2], '31') self.assertEqual(a[-100:100:], a) self.assertEqual(a[100:-100:-1], a[::-1]) self.assertEqual(a[-100:100:2], '02468') def test_type_function(self): self.assertRaises(TypeError, type, 1, 2) self.assertRaises(TypeError, type, 1, 2, 3, 4) def test_int__format__(self): def test(i, format_spec, result): # just make sure we have the unified type for integers self.assertIs(type(i), int) self.assertIs(type(format_spec), str) self.assertEqual(i.__format__(format_spec), result) test(123456789, 'd', '123456789') test(123456789, 'd', '123456789') test(1, 'c', '\01') # sign and aligning are interdependent test(1, "-", '1') test(-1, "-", '-1') test(1, "-3", ' 1') test(-1, "-3", ' -1') test(1, "+3", ' +1') test(-1, "+3", ' -1') test(1, " 3", ' 1') test(-1, " 3", ' -1') test(1, " ", ' 1') test(-1, " ", '-1') # hex test(3, "x", "3") test(3, "X", "3") test(1234, "x", "4d2") test(-1234, "x", "-4d2") test(1234, "8x", " 4d2") test(-1234, "8x", " -4d2") test(1234, "x", "4d2") test(-1234, "x", "-4d2") test(-3, "x", "-3") test(-3, "X", "-3") test(int('be', 16), "x", "be") test(int('be', 16), "X", "BE") test(-int('be', 16), "x", "-be") test(-int('be', 16), "X", "-BE") # octal test(3, "o", "3") test(-3, "o", "-3") test(65, "o", "101") test(-65, "o", "-101") test(1234, "o", "2322") test(-1234, "o", "-2322") test(1234, "-o", "2322") test(-1234, "-o", "-2322") test(1234, " o", " 2322") test(-1234, " o", "-2322") test(1234, "+o", "+2322") test(-1234, "+o", "-2322") # binary test(3, "b", "11") test(-3, "b", "-11") test(1234, "b", "10011010010") test(-1234, "b", "-10011010010") test(1234, "-b", "10011010010") test(-1234, "-b", "-10011010010") test(1234, " b", " 10011010010") test(-1234, " b", "-10011010010") test(1234, "+b", "+10011010010") test(-1234, "+b", "-10011010010") # alternate (#) formatting test(0, "#b", '0b0') test(0, "-#b", '0b0') test(1, "-#b", '0b1') test(-1, "-#b", '-0b1') test(-1, "-#5b", ' -0b1') test(1, "+#5b", ' +0b1') test(100, "+#b", '+0b1100100') test(100, "#012b", '0b0001100100') test(-100, "#012b", '-0b001100100') test(0, "#o", '0o0') test(0, "-#o", '0o0') test(1, "-#o", '0o1') test(-1, "-#o", '-0o1') test(-1, "-#5o", ' -0o1') test(1, "+#5o", ' +0o1') test(100, "+#o", '+0o144') test(100, "#012o", '0o0000000144') test(-100, "#012o", '-0o000000144') test(0, "#x", '0x0') test(0, "-#x", '0x0') test(1, "-#x", '0x1') test(-1, "-#x", '-0x1') test(-1, "-#5x", ' -0x1') test(1, "+#5x", ' +0x1') test(100, "+#x", '+0x64') test(100, "#012x", '0x0000000064') test(-100, "#012x", '-0x000000064') test(123456, "#012x", '0x000001e240') test(-123456, "#012x", '-0x00001e240') test(0, "#X", '0X0') test(0, "-#X", '0X0') test(1, "-#X", '0X1') test(-1, "-#X", '-0X1') test(-1, "-#5X", ' -0X1') test(1, "+#5X", ' +0X1') test(100, "+#X", '+0X64') test(100, "#012X", '0X0000000064') test(-100, "#012X", '-0X000000064') test(123456, "#012X", '0X000001E240') test(-123456, "#012X", '-0X00001E240') test(123, ',', '123') test(-123, ',', '-123') test(1234, ',', '1,234') test(-1234, ',', '-1,234') test(123456, ',', '123,456') test(-123456, ',', '-123,456') test(1234567, ',', '1,234,567') test(-1234567, ',', '-1,234,567') # issue 5782, commas with no specifier type test(1234, '010,', '00,001,234') # Unified type for integers test(10**100, 'd', '1' + '0' * 100) test(10**100+100, 'd', '1' + '0' * 97 + '100') # make sure these are errors # precision disallowed self.assertRaises(ValueError, 3 .__format__, "1.3") # sign not allowed with 'c' self.assertRaises(ValueError, 3 .__format__, "+c") # format spec must be string self.assertRaises(TypeError, 3 .__format__, None) self.assertRaises(TypeError, 3 .__format__, 0) # can't have ',' with 'n' self.assertRaises(ValueError, 3 .__format__, ",n") # can't have ',' with 'c' self.assertRaises(ValueError, 3 .__format__, ",c") # can't have '#' with 'c' self.assertRaises(ValueError, 3 .__format__, "#c") # ensure that only int and float type specifiers work for format_spec in ([chr(x) for x in range(ord('a'), ord('z')+1)] + [chr(x) for x in range(ord('A'), ord('Z')+1)]): if not format_spec in 'bcdoxXeEfFgGn%': self.assertRaises(ValueError, 0 .__format__, format_spec) self.assertRaises(ValueError, 1 .__format__, format_spec) self.assertRaises(ValueError, (-1) .__format__, format_spec) # ensure that float type specifiers work; format converts # the int to a float for format_spec in 'eEfFgG%': for value in [0, 1, -1, 100, -100, 1234567890, -1234567890]: self.assertEqual(value.__format__(format_spec), float(value).__format__(format_spec)) # Issue 6902 test(123456, "0<20", '12345600000000000000') test(123456, "1<20", '12345611111111111111') test(123456, "*<20", '123456**************') test(123456, "0>20", '00000000000000123456') test(123456, "1>20", '11111111111111123456') test(123456, "*>20", '**************123456') test(123456, "0=20", '00000000000000123456') test(123456, "1=20", '11111111111111123456') test(123456, "*=20", '**************123456') @run_with_locale('LC_NUMERIC', 'en_US.UTF8') def test_float__format__locale(self): # test locale support for __format__ code 'n' for i in range(-10, 10): x = 1234567890.0 * (10.0 ** i) self.assertEqual(locale.format_string('%g', x, grouping=True), format(x, 'n')) self.assertEqual(locale.format_string('%.10g', x, grouping=True), format(x, '.10n')) @run_with_locale('LC_NUMERIC', 'en_US.UTF8') def test_int__format__locale(self): # test locale support for __format__ code 'n' for integers x = 123456789012345678901234567890 for i in range(0, 30): self.assertEqual(locale.format_string('%d', x, grouping=True), format(x, 'n')) # move to the next integer to test x = x // 10 rfmt = ">20n" lfmt = "<20n" cfmt = "^20n" for x in (1234, 12345, 123456, 1234567, 12345678, 123456789, 1234567890, 12345678900): self.assertEqual(len(format(0, rfmt)), len(format(x, rfmt))) self.assertEqual(len(format(0, lfmt)), len(format(x, lfmt))) self.assertEqual(len(format(0, cfmt)), len(format(x, cfmt))) def test_float__format__(self): def test(f, format_spec, result): self.assertEqual(f.__format__(format_spec), result) self.assertEqual(format(f, format_spec), result) test(0.0, 'f', '0.000000') # the default is 'g', except for empty format spec test(0.0, '', '0.0') test(0.01, '', '0.01') test(0.01, 'g', '0.01') # test for issue 3411 test(1.23, '1', '1.23') test(-1.23, '1', '-1.23') test(1.23, '1g', '1.23') test(-1.23, '1g', '-1.23') test( 1.0, ' g', ' 1') test(-1.0, ' g', '-1') test( 1.0, '+g', '+1') test(-1.0, '+g', '-1') test(1.1234e200, 'g', '1.1234e+200') test(1.1234e200, 'G', '1.1234E+200') test(1.0, 'f', '1.000000') test(-1.0, 'f', '-1.000000') test( 1.0, ' f', ' 1.000000') test(-1.0, ' f', '-1.000000') test( 1.0, '+f', '+1.000000') test(-1.0, '+f', '-1.000000') # Python versions <= 3.0 switched from 'f' to 'g' formatting for # values larger than 1e50. No longer. f = 1.1234e90 for fmt in 'f', 'F': # don't do a direct equality check, since on some # platforms only the first few digits of dtoa # will be reliable result = f.__format__(fmt) self.assertEqual(len(result), 98) self.assertEqual(result[-7], '.') self.assertIn(result[:12], ('112340000000', '112339999999')) f = 1.1234e200 for fmt in 'f', 'F': result = f.__format__(fmt) self.assertEqual(len(result), 208) self.assertEqual(result[-7], '.') self.assertIn(result[:12], ('112340000000', '112339999999')) test( 1.0, 'e', '1.000000e+00') test(-1.0, 'e', '-1.000000e+00') test( 1.0, 'E', '1.000000E+00') test(-1.0, 'E', '-1.000000E+00') test(1.1234e20, 'e', '1.123400e+20') test(1.1234e20, 'E', '1.123400E+20') # No format code means use g, but must have a decimal # and a number after the decimal. This is tricky, because # a totally empty format specifier means something else. # So, just use a sign flag test(1e200, '+g', '+1e+200') test(1e200, '+', '+1e+200') test(1.1e200, '+g', '+1.1e+200') test(1.1e200, '+', '+1.1e+200') # 0 padding test(1234., '010f', '1234.000000') test(1234., '011f', '1234.000000') test(1234., '012f', '01234.000000') test(-1234., '011f', '-1234.000000') test(-1234., '012f', '-1234.000000') test(-1234., '013f', '-01234.000000') test(-1234.12341234, '013f', '-01234.123412') test(-123456.12341234, '011.2f', '-0123456.12') # issue 5782, commas with no specifier type test(1.2, '010,.2', '0,000,001.2') # 0 padding with commas test(1234., '011,f', '1,234.000000') test(1234., '012,f', '1,234.000000') test(1234., '013,f', '01,234.000000') test(-1234., '012,f', '-1,234.000000') test(-1234., '013,f', '-1,234.000000') test(-1234., '014,f', '-01,234.000000') test(-12345., '015,f', '-012,345.000000') test(-123456., '016,f', '-0,123,456.000000') test(-123456., '017,f', '-0,123,456.000000') test(-123456.12341234, '017,f', '-0,123,456.123412') test(-123456.12341234, '013,.2f', '-0,123,456.12') # % formatting test(-1.0, '%', '-100.000000%') # format spec must be string self.assertRaises(TypeError, 3.0.__format__, None) self.assertRaises(TypeError, 3.0.__format__, 0) # confirm format options expected to fail on floats, such as integer # presentation types for format_spec in 'sbcdoxX': self.assertRaises(ValueError, format, 0.0, format_spec) self.assertRaises(ValueError, format, 1.0, format_spec) self.assertRaises(ValueError, format, -1.0, format_spec) self.assertRaises(ValueError, format, 1e100, format_spec) self.assertRaises(ValueError, format, -1e100, format_spec) self.assertRaises(ValueError, format, 1e-100, format_spec) self.assertRaises(ValueError, format, -1e-100, format_spec) # Alternate float formatting test(1.0, '.0e', '1e+00') test(1.0, '#.0e', '1.e+00') test(1.0, '.0f', '1') test(1.0, '#.0f', '1.') test(1.1, 'g', '1.1') test(1.1, '#g', '1.10000') test(1.0, '.0%', '100%') test(1.0, '#.0%', '100.%') # Issue 7094: Alternate formatting (specified by #) test(1.0, '0e', '1.000000e+00') test(1.0, '#0e', '1.000000e+00') test(1.0, '0f', '1.000000' ) test(1.0, '#0f', '1.000000') test(1.0, '.1e', '1.0e+00') test(1.0, '#.1e', '1.0e+00') test(1.0, '.1f', '1.0') test(1.0, '#.1f', '1.0') test(1.0, '.1%', '100.0%') test(1.0, '#.1%', '100.0%') # Issue 6902 test(12345.6, "0<20", '12345.60000000000000') test(12345.6, "1<20", '12345.61111111111111') test(12345.6, "*<20", '12345.6*************') test(12345.6, "0>20", '000000000000012345.6') test(12345.6, "1>20", '111111111111112345.6') test(12345.6, "*>20", '*************12345.6') test(12345.6, "0=20", '000000000000012345.6') test(12345.6, "1=20", '111111111111112345.6') test(12345.6, "*=20", '*************12345.6') def test_format_spec_errors(self): # int, float, and string all share the same format spec # mini-language parser. # Check that we can't ask for too many digits. This is # probably a CPython specific test. It tries to put the width # into a C long. self.assertRaises(ValueError, format, 0, '1'*10000 + 'd') # Similar with the precision. self.assertRaises(ValueError, format, 0, '.' + '1'*10000 + 'd') # And may as well test both. self.assertRaises(ValueError, format, 0, '1'*1000 + '.' + '1'*10000 + 'd') # Make sure commas aren't allowed with various type codes for code in 'xXobns': self.assertRaises(ValueError, format, 0, ',' + code) def test_internal_sizes(self): self.assertGreater(object.__basicsize__, 0) self.assertGreater(tuple.__itemsize__, 0) def test_slot_wrapper_types(self): self.assertIsInstance(object.__init__, types.WrapperDescriptorType) self.assertIsInstance(object.__str__, types.WrapperDescriptorType) self.assertIsInstance(object.__lt__, types.WrapperDescriptorType) self.assertIsInstance(int.__lt__, types.WrapperDescriptorType) @unittest.skipIf(MISSING_C_DOCSTRINGS, "Signature information for builtins requires docstrings") def test_dunder_get_signature(self): sig = inspect.signature(object.__init__.__get__) self.assertEqual(list(sig.parameters), ["instance", "owner"]) # gh-93021: Second parameter is optional self.assertIs(sig.parameters["owner"].default, None) def test_method_wrapper_types(self): self.assertIsInstance(object().__init__, types.MethodWrapperType) self.assertIsInstance(object().__str__, types.MethodWrapperType) self.assertIsInstance(object().__lt__, types.MethodWrapperType) self.assertIsInstance((42).__lt__, types.MethodWrapperType) def test_method_descriptor_types(self): self.assertIsInstance(str.join, types.MethodDescriptorType) self.assertIsInstance(list.append, types.MethodDescriptorType) self.assertIsInstance(''.join, types.BuiltinMethodType) self.assertIsInstance([].append, types.BuiltinMethodType) self.assertIsInstance(int.__dict__['from_bytes'], types.ClassMethodDescriptorType) self.assertIsInstance(int.from_bytes, types.BuiltinMethodType) self.assertIsInstance(int.__new__, types.BuiltinMethodType) def test_ellipsis_type(self): self.assertIsInstance(Ellipsis, types.EllipsisType) def test_notimplemented_type(self): self.assertIsInstance(NotImplemented, types.NotImplementedType) def test_none_type(self): self.assertIsInstance(None, types.NoneType) def test_traceback_and_frame_types(self): try: raise OSError except OSError as e: exc = e self.assertIsInstance(exc.__traceback__, types.TracebackType) self.assertIsInstance(exc.__traceback__.tb_frame, types.FrameType) def test_capsule_type(self): self.assertIsInstance(_datetime.datetime_CAPI, types.CapsuleType) class UnionTests(unittest.TestCase): def test_or_types_operator(self): self.assertEqual(int | str, typing.Union[int, str]) self.assertNotEqual(int | list, typing.Union[int, str]) self.assertEqual(str | int, typing.Union[int, str]) self.assertEqual(int | None, typing.Union[int, None]) self.assertEqual(None | int, typing.Union[int, None]) self.assertEqual(int | type(None), int | None) self.assertEqual(type(None) | int, None | int) self.assertEqual(int | str | list, typing.Union[int, str, list]) self.assertEqual(int | (str | list), typing.Union[int, str, list]) self.assertEqual(str | (int | list), typing.Union[int, str, list]) self.assertEqual(typing.List | typing.Tuple, typing.Union[typing.List, typing.Tuple]) self.assertEqual(typing.List[int] | typing.Tuple[int], typing.Union[typing.List[int], typing.Tuple[int]]) self.assertEqual(typing.List[int] | None, typing.Union[typing.List[int], None]) self.assertEqual(None | typing.List[int], typing.Union[None, typing.List[int]]) self.assertEqual(str | float | int | complex | int, (int | str) | (float | complex)) self.assertEqual(typing.Union[str, int, typing.List[int]], str | int | typing.List[int]) self.assertIs(int | int, int) self.assertEqual( BaseException | bool | bytes | complex | float | int | list | map | set, typing.Union[ BaseException, bool, bytes, complex, float, int, list, map, set, ]) with self.assertRaises(TypeError): int | 3 with self.assertRaises(TypeError): 3 | int with self.assertRaises(TypeError): Example() | int x = int | str self.assertEqual(x, int | str) self.assertEqual(x, str | int) self.assertNotEqual(x, {}) # should not raise exception with self.assertRaises(TypeError): x < x with self.assertRaises(TypeError): x <= x y = typing.Union[str, int] with self.assertRaises(TypeError): x < y y = int | bool with self.assertRaises(TypeError): x < y # Check that we don't crash if typing.Union does not have a tuple in __args__ y = typing.Union[str, int] y.__args__ = [str, int] self.assertEqual(x, y) def test_hash(self): self.assertEqual(hash(int | str), hash(str | int)) self.assertEqual(hash(int | str), hash(typing.Union[int, str])) def test_union_of_unhashable(self): class UnhashableMeta(type): __hash__ = None class A(metaclass=UnhashableMeta): ... class B(metaclass=UnhashableMeta): ... self.assertEqual((A | B).__args__, (A, B)) union1 = A | B with self.assertRaises(TypeError): hash(union1) union2 = int | B with self.assertRaises(TypeError): hash(union2) union3 = A | int with self.assertRaises(TypeError): hash(union3) def test_instancecheck_and_subclasscheck(self): for x in (int | str, typing.Union[int, str]): with self.subTest(x=x): self.assertIsInstance(1, x) self.assertIsInstance(True, x) self.assertIsInstance('a', x) self.assertNotIsInstance(None, x) self.assertTrue(issubclass(int, x)) self.assertTrue(issubclass(bool, x)) self.assertTrue(issubclass(str, x)) self.assertFalse(issubclass(type(None), x)) for x in (int | None, typing.Union[int, None]): with self.subTest(x=x): self.assertIsInstance(None, x) self.assertTrue(issubclass(type(None), x)) for x in ( int | collections.abc.Mapping, typing.Union[int, collections.abc.Mapping], ): with self.subTest(x=x): self.assertIsInstance({}, x) self.assertNotIsInstance((), x) self.assertTrue(issubclass(dict, x)) self.assertFalse(issubclass(list, x)) def test_instancecheck_and_subclasscheck_order(self): T = typing.TypeVar('T') will_resolve = ( int | T, typing.Union[int, T], ) for x in will_resolve: with self.subTest(x=x): self.assertIsInstance(1, x) self.assertTrue(issubclass(int, x)) wont_resolve = ( T | int, typing.Union[T, int], ) for x in wont_resolve: with self.subTest(x=x): with self.assertRaises(TypeError): issubclass(int, x) with self.assertRaises(TypeError): isinstance(1, x) for x in (*will_resolve, *wont_resolve): with self.subTest(x=x): with self.assertRaises(TypeError): issubclass(object, x) with self.assertRaises(TypeError): isinstance(object(), x) def test_bad_instancecheck(self): class BadMeta(type): def __instancecheck__(cls, inst): 1/0 x = int | BadMeta('A', (), {}) self.assertTrue(isinstance(1, x)) self.assertRaises(ZeroDivisionError, isinstance, [], x) def test_bad_subclasscheck(self): class BadMeta(type): def __subclasscheck__(cls, sub): 1/0 x = int | BadMeta('A', (), {}) self.assertTrue(issubclass(int, x)) self.assertRaises(ZeroDivisionError, issubclass, list, x) def test_or_type_operator_with_TypeVar(self): TV = typing.TypeVar('T') self.assertEqual(TV | str, typing.Union[TV, str]) self.assertEqual(str | TV, typing.Union[str, TV]) self.assertIs((int | TV)[int], int) self.assertIs((TV | int)[int], int) def test_union_args(self): def check(arg, expected): clear_typing_caches() self.assertEqual(arg.__args__, expected) check(int | str, (int, str)) check((int | str) | list, (int, str, list)) check(int | (str | list), (int, str, list)) check((int | str) | int, (int, str)) check(int | (str | int), (int, str)) check((int | str) | (str | int), (int, str)) check(typing.Union[int, str] | list, (int, str, list)) check(int | typing.Union[str, list], (int, str, list)) check((int | str) | (list | int), (int, str, list)) check((int | str) | typing.Union[list, int], (int, str, list)) check(typing.Union[int, str] | (list | int), (int, str, list)) check((str | int) | (int | list), (str, int, list)) check((str | int) | typing.Union[int, list], (str, int, list)) check(typing.Union[str, int] | (int | list), (str, int, list)) check(int | type(None), (int, type(None))) check(type(None) | int, (type(None), int)) args = (int, list[int], typing.List[int], typing.Tuple[int, int], typing.Callable[[int], int], typing.Hashable, typing.TypeVar('T')) for x in args: with self.subTest(x): check(x | None, (x, type(None))) check(None | x, (type(None), x)) def test_union_parameter_chaining(self): T = typing.TypeVar("T") S = typing.TypeVar("S") self.assertEqual((float | list[T])[int], float | list[int]) self.assertEqual(list[int | list[T]].__parameters__, (T,)) self.assertEqual(list[int | list[T]][str], list[int | list[str]]) self.assertEqual((list[T] | list[S]).__parameters__, (T, S)) self.assertEqual((list[T] | list[S])[int, T], list[int] | list[T]) self.assertEqual((list[T] | list[S])[int, int], list[int]) def test_union_parameter_substitution(self): def eq(actual, expected, typed=True): self.assertEqual(actual, expected) if typed: self.assertIs(type(actual), type(expected)) T = typing.TypeVar('T') S = typing.TypeVar('S') NT = typing.NewType('NT', str) x = int | T | bytes eq(x[str], int | str | bytes, typed=False) eq(x[list[int]], int | list[int] | bytes, typed=False) eq(x[typing.List], int | typing.List | bytes) eq(x[typing.List[int]], int | typing.List[int] | bytes) eq(x[typing.Hashable], int | typing.Hashable | bytes) eq(x[collections.abc.Hashable], int | collections.abc.Hashable | bytes, typed=False) eq(x[typing.Callable[[int], str]], int | typing.Callable[[int], str] | bytes) eq(x[collections.abc.Callable[[int], str]], int | collections.abc.Callable[[int], str] | bytes, typed=False) eq(x[typing.Tuple[int, str]], int | typing.Tuple[int, str] | bytes) eq(x[typing.Literal['none']], int | typing.Literal['none'] | bytes) eq(x[str | list], int | str | list | bytes, typed=False) eq(x[typing.Union[str, list]], typing.Union[int, str, list, bytes]) eq(x[str | int], int | str | bytes, typed=False) eq(x[typing.Union[str, int]], typing.Union[int, str, bytes]) eq(x[NT], int | NT | bytes) eq(x[S], int | S | bytes) def test_union_pickle(self): orig = list[T] | int for proto in range(pickle.HIGHEST_PROTOCOL + 1): s = pickle.dumps(orig, proto) loaded = pickle.loads(s) self.assertEqual(loaded, orig) self.assertEqual(loaded.__args__, orig.__args__) self.assertEqual(loaded.__parameters__, orig.__parameters__) def test_union_copy(self): orig = list[T] | int for copied in (copy.copy(orig), copy.deepcopy(orig)): self.assertEqual(copied, orig) self.assertEqual(copied.__args__, orig.__args__) self.assertEqual(copied.__parameters__, orig.__parameters__) def test_union_parameter_substitution_errors(self): T = typing.TypeVar("T") x = int | T with self.assertRaises(TypeError): x[int, str] def test_or_type_operator_with_forward(self): T = typing.TypeVar('T') ForwardAfter = T | 'Forward' ForwardBefore = 'Forward' | T def forward_after(x: ForwardAfter[int]) -> None: ... def forward_before(x: ForwardBefore[int]) -> None: ... self.assertEqual(typing.get_args(typing.get_type_hints(forward_after)['x']), (int, Forward)) self.assertEqual(typing.get_args(typing.get_type_hints(forward_before)['x']), (int, Forward)) def test_or_type_operator_with_Protocol(self): class Proto(typing.Protocol): def meth(self) -> int: ... self.assertEqual(Proto | str, typing.Union[Proto, str]) def test_or_type_operator_with_Alias(self): self.assertEqual(list | str, typing.Union[list, str]) self.assertEqual(typing.List | str, typing.Union[typing.List, str]) def test_or_type_operator_with_NamedTuple(self): NT = namedtuple('A', ['B', 'C', 'D']) self.assertEqual(NT | str, typing.Union[NT, str]) def test_or_type_operator_with_TypedDict(self): class Point2D(typing.TypedDict): x: int y: int label: str self.assertEqual(Point2D | str, typing.Union[Point2D, str]) def test_or_type_operator_with_NewType(self): UserId = typing.NewType('UserId', int) self.assertEqual(UserId | str, typing.Union[UserId, str]) def test_or_type_operator_with_IO(self): self.assertEqual(typing.IO | str, typing.Union[typing.IO, str]) def test_or_type_operator_with_SpecialForm(self): self.assertEqual(typing.Any | str, typing.Union[typing.Any, str]) self.assertEqual(typing.NoReturn | str, typing.Union[typing.NoReturn, str]) self.assertEqual(typing.Optional[int] | str, typing.Union[typing.Optional[int], str]) self.assertEqual(typing.Optional[int] | str, typing.Union[int, str, None]) self.assertEqual(typing.Union[int, bool] | str, typing.Union[int, bool, str]) def test_or_type_operator_with_Literal(self): Literal = typing.Literal self.assertEqual((Literal[1] | Literal[2]).__args__, (Literal[1], Literal[2])) self.assertEqual((Literal[0] | Literal[False]).__args__, (Literal[0], Literal[False])) self.assertEqual((Literal[1] | Literal[True]).__args__, (Literal[1], Literal[True])) self.assertEqual(Literal[1] | Literal[1], Literal[1]) self.assertEqual(Literal['a'] | Literal['a'], Literal['a']) import enum class Ints(enum.IntEnum): A = 0 B = 1 self.assertEqual(Literal[Ints.A] | Literal[Ints.A], Literal[Ints.A]) self.assertEqual(Literal[Ints.B] | Literal[Ints.B], Literal[Ints.B]) self.assertEqual((Literal[Ints.B] | Literal[Ints.A]).__args__, (Literal[Ints.B], Literal[Ints.A])) self.assertEqual((Literal[0] | Literal[Ints.A]).__args__, (Literal[0], Literal[Ints.A])) self.assertEqual((Literal[1] | Literal[Ints.B]).__args__, (Literal[1], Literal[Ints.B])) def test_or_type_repr(self): self.assertEqual(repr(int | str), "int | str") self.assertEqual(repr((int | str) | list), "int | str | list") self.assertEqual(repr(int | (str | list)), "int | str | list") self.assertEqual(repr(int | None), "int | None") self.assertEqual(repr(int | type(None)), "int | None") self.assertEqual(repr(int | typing.GenericAlias(list, int)), "int | list[int]") def test_or_type_operator_with_genericalias(self): a = list[int] b = list[str] c = dict[float, str] class SubClass(types.GenericAlias): ... d = SubClass(list, float) # equivalence with typing.Union self.assertEqual(a | b | c | d, typing.Union[a, b, c, d]) # de-duplicate self.assertEqual(a | c | b | b | a | c | d | d, a | b | c | d) # order shouldn't matter self.assertEqual(a | b | d, b | a | d) self.assertEqual(repr(a | b | c | d), "list[int] | list[str] | dict[float, str] | list[float]") class BadType(type): def __eq__(self, other): return 1 / 0 bt = BadType('bt', (), {}) # Comparison should fail and errors should propagate out for bad types. with self.assertRaises(ZeroDivisionError): list[int] | list[bt] union_ga = (list[str] | int, collections.abc.Callable[..., str] | int, d | int) # Raise error when isinstance(type, genericalias | type) for type_ in union_ga: with self.subTest(f"check isinstance/issubclass is invalid for {type_}"): with self.assertRaises(TypeError): isinstance(1, type_) with self.assertRaises(TypeError): issubclass(int, type_) def test_or_type_operator_with_bad_module(self): class BadMeta(type): __qualname__ = 'TypeVar' @property def __module__(self): 1 / 0 TypeVar = BadMeta('TypeVar', (), {}) _SpecialForm = BadMeta('_SpecialForm', (), {}) # Crashes in Issue44483 with self.assertRaises((TypeError, ZeroDivisionError)): str | TypeVar() with self.assertRaises((TypeError, ZeroDivisionError)): str | _SpecialForm() @cpython_only def test_or_type_operator_reference_cycle(self): if not hasattr(sys, 'gettotalrefcount'): self.skipTest('Cannot get total reference count.') gc.collect() before = sys.gettotalrefcount() for _ in range(30): T = typing.TypeVar('T') U = int | list[T] T.blah = U del T del U gc.collect() leeway = 15 self.assertLessEqual(sys.gettotalrefcount() - before, leeway, msg='Check for union reference leak.') class MappingProxyTests(unittest.TestCase): mappingproxy = types.MappingProxyType def test_constructor(self): class userdict(dict): pass mapping = {'x': 1, 'y': 2} self.assertEqual(self.mappingproxy(mapping), mapping) mapping = userdict(x=1, y=2) self.assertEqual(self.mappingproxy(mapping), mapping) mapping = collections.ChainMap({'x': 1}, {'y': 2}) self.assertEqual(self.mappingproxy(mapping), mapping) self.assertRaises(TypeError, self.mappingproxy, 10) self.assertRaises(TypeError, self.mappingproxy, ("a", "tuple")) self.assertRaises(TypeError, self.mappingproxy, ["a", "list"]) def test_methods(self): attrs = set(dir(self.mappingproxy({}))) - set(dir(object())) self.assertEqual(attrs, { '__contains__', '__getitem__', '__class_getitem__', '__ior__', '__iter__', '__len__', '__or__', '__reversed__', '__ror__', 'copy', 'get', 'items', 'keys', 'values', }) def test_get(self): view = self.mappingproxy({'a': 'A', 'b': 'B'}) self.assertEqual(view['a'], 'A') self.assertEqual(view['b'], 'B') self.assertRaises(KeyError, view.__getitem__, 'xxx') self.assertEqual(view.get('a'), 'A') self.assertIsNone(view.get('xxx')) self.assertEqual(view.get('xxx', 42), 42) def test_missing(self): class dictmissing(dict): def __missing__(self, key): return "missing=%s" % key view = self.mappingproxy(dictmissing(x=1)) self.assertEqual(view['x'], 1) self.assertEqual(view['y'], 'missing=y') self.assertEqual(view.get('x'), 1) self.assertEqual(view.get('y'), None) self.assertEqual(view.get('y', 42), 42) self.assertTrue('x' in view) self.assertFalse('y' in view) def test_customdict(self): class customdict(dict): def __contains__(self, key): if key == 'magic': return True else: return dict.__contains__(self, key) def __iter__(self): return iter(('iter',)) def __len__(self): return 500 def copy(self): return 'copy' def keys(self): return 'keys' def items(self): return 'items' def values(self): return 'values' def __getitem__(self, key): return "getitem=%s" % dict.__getitem__(self, key) def get(self, key, default=None): return "get=%s" % dict.get(self, key, 'default=%r' % default) custom = customdict({'key': 'value'}) view = self.mappingproxy(custom) self.assertTrue('key' in view) self.assertTrue('magic' in view) self.assertFalse('xxx' in view) self.assertEqual(view['key'], 'getitem=value') self.assertRaises(KeyError, view.__getitem__, 'xxx') self.assertEqual(tuple(view), ('iter',)) self.assertEqual(len(view), 500) self.assertEqual(view.copy(), 'copy') self.assertEqual(view.get('key'), 'get=value') self.assertEqual(view.get('xxx'), 'get=default=None') self.assertEqual(view.items(), 'items') self.assertEqual(view.keys(), 'keys') self.assertEqual(view.values(), 'values') def test_chainmap(self): d1 = {'x': 1} d2 = {'y': 2} mapping = collections.ChainMap(d1, d2) view = self.mappingproxy(mapping) self.assertTrue('x' in view) self.assertTrue('y' in view) self.assertFalse('z' in view) self.assertEqual(view['x'], 1) self.assertEqual(view['y'], 2) self.assertRaises(KeyError, view.__getitem__, 'z') self.assertEqual(tuple(sorted(view)), ('x', 'y')) self.assertEqual(len(view), 2) copy = view.copy() self.assertIsNot(copy, mapping) self.assertIsInstance(copy, collections.ChainMap) self.assertEqual(copy, mapping) self.assertEqual(view.get('x'), 1) self.assertEqual(view.get('y'), 2) self.assertIsNone(view.get('z')) self.assertEqual(tuple(sorted(view.items())), (('x', 1), ('y', 2))) self.assertEqual(tuple(sorted(view.keys())), ('x', 'y')) self.assertEqual(tuple(sorted(view.values())), (1, 2)) def test_contains(self): view = self.mappingproxy(dict.fromkeys('abc')) self.assertTrue('a' in view) self.assertTrue('b' in view) self.assertTrue('c' in view) self.assertFalse('xxx' in view) def test_views(self): mapping = {} view = self.mappingproxy(mapping) keys = view.keys() values = view.values() items = view.items() self.assertEqual(list(keys), []) self.assertEqual(list(values), []) self.assertEqual(list(items), []) mapping['key'] = 'value' self.assertEqual(list(keys), ['key']) self.assertEqual(list(values), ['value']) self.assertEqual(list(items), [('key', 'value')]) def test_len(self): for expected in range(6): data = dict.fromkeys('abcde'[:expected]) self.assertEqual(len(data), expected) view = self.mappingproxy(data) self.assertEqual(len(view), expected) def test_iterators(self): keys = ('x', 'y') values = (1, 2) items = tuple(zip(keys, values)) view = self.mappingproxy(dict(items)) self.assertEqual(set(view), set(keys)) self.assertEqual(set(view.keys()), set(keys)) self.assertEqual(set(view.values()), set(values)) self.assertEqual(set(view.items()), set(items)) def test_reversed(self): d = {'a': 1, 'b': 2, 'foo': 0, 'c': 3, 'd': 4} mp = self.mappingproxy(d) del d['foo'] r = reversed(mp) self.assertEqual(list(r), list('dcba')) self.assertRaises(StopIteration, next, r) def test_copy(self): original = {'key1': 27, 'key2': 51, 'key3': 93} view = self.mappingproxy(original) copy = view.copy() self.assertEqual(type(copy), dict) self.assertEqual(copy, original) original['key1'] = 70 self.assertEqual(view['key1'], 70) self.assertEqual(copy['key1'], 27) def test_union(self): mapping = {'a': 0, 'b': 1, 'c': 2} view = self.mappingproxy(mapping) with self.assertRaises(TypeError): view | [('r', 2), ('d', 2)] with self.assertRaises(TypeError): [('r', 2), ('d', 2)] | view with self.assertRaises(TypeError): view |= [('r', 2), ('d', 2)] other = {'c': 3, 'p': 0} self.assertDictEqual(view | other, {'a': 0, 'b': 1, 'c': 3, 'p': 0}) self.assertDictEqual(other | view, {'c': 2, 'p': 0, 'a': 0, 'b': 1}) self.assertEqual(view, {'a': 0, 'b': 1, 'c': 2}) self.assertDictEqual(mapping, {'a': 0, 'b': 1, 'c': 2}) self.assertDictEqual(other, {'c': 3, 'p': 0}) def test_hash(self): class HashableDict(dict): def __hash__(self): return 3844817361 view = self.mappingproxy({'a': 1, 'b': 2}) self.assertRaises(TypeError, hash, view) mapping = HashableDict({'a': 1, 'b': 2}) view = self.mappingproxy(mapping) self.assertEqual(hash(view), hash(mapping)) class ClassCreationTests(unittest.TestCase): class Meta(type): def __init__(cls, name, bases, ns, **kw): super().__init__(name, bases, ns) @staticmethod def __new__(mcls, name, bases, ns, **kw): return super().__new__(mcls, name, bases, ns) @classmethod def __prepare__(mcls, name, bases, **kw): ns = super().__prepare__(name, bases) ns["y"] = 1 ns.update(kw) return ns def test_new_class_basics(self): C = types.new_class("C") self.assertEqual(C.__name__, "C") self.assertEqual(C.__bases__, (object,)) def test_new_class_subclass(self): C = types.new_class("C", (int,)) self.assertTrue(issubclass(C, int)) def test_new_class_meta(self): Meta = self.Meta settings = {"metaclass": Meta, "z": 2} # We do this twice to make sure the passed in dict isn't mutated for i in range(2): C = types.new_class("C" + str(i), (), settings) self.assertIsInstance(C, Meta) self.assertEqual(C.y, 1) self.assertEqual(C.z, 2) def test_new_class_exec_body(self): Meta = self.Meta def func(ns): ns["x"] = 0 C = types.new_class("C", (), {"metaclass": Meta, "z": 2}, func) self.assertIsInstance(C, Meta) self.assertEqual(C.x, 0) self.assertEqual(C.y, 1) self.assertEqual(C.z, 2) def test_new_class_metaclass_keywords(self): #Test that keywords are passed to the metaclass: def meta_func(name, bases, ns, **kw): return name, bases, ns, kw res = types.new_class("X", (int, object), dict(metaclass=meta_func, x=0)) self.assertEqual(res, ("X", (int, object), {}, {"x": 0})) def test_new_class_defaults(self): # Test defaults/keywords: C = types.new_class("C", (), {}, None) self.assertEqual(C.__name__, "C") self.assertEqual(C.__bases__, (object,)) def test_new_class_meta_with_base(self): Meta = self.Meta def func(ns): ns["x"] = 0 C = types.new_class(name="C", bases=(int,), kwds=dict(metaclass=Meta, z=2), exec_body=func) self.assertTrue(issubclass(C, int)) self.assertIsInstance(C, Meta) self.assertEqual(C.x, 0) self.assertEqual(C.y, 1) self.assertEqual(C.z, 2) def test_new_class_with_mro_entry(self): class A: pass class C: def __mro_entries__(self, bases): return (A,) c = C() D = types.new_class('D', (c,), {}) self.assertEqual(D.__bases__, (A,)) self.assertEqual(D.__orig_bases__, (c,)) self.assertEqual(D.__mro__, (D, A, object)) def test_new_class_with_mro_entry_genericalias(self): L1 = types.new_class('L1', (typing.List[int],), {}) self.assertEqual(L1.__bases__, (list, typing.Generic)) self.assertEqual(L1.__orig_bases__, (typing.List[int],)) self.assertEqual(L1.__mro__, (L1, list, typing.Generic, object)) L2 = types.new_class('L2', (list[int],), {}) self.assertEqual(L2.__bases__, (list,)) self.assertEqual(L2.__orig_bases__, (list[int],)) self.assertEqual(L2.__mro__, (L2, list, object)) def test_new_class_with_mro_entry_none(self): class A: pass class B: pass class C: def __mro_entries__(self, bases): return () c = C() D = types.new_class('D', (A, c, B), {}) self.assertEqual(D.__bases__, (A, B)) self.assertEqual(D.__orig_bases__, (A, c, B)) self.assertEqual(D.__mro__, (D, A, B, object)) def test_new_class_with_mro_entry_error(self): class A: pass class C: def __mro_entries__(self, bases): return A c = C() with self.assertRaises(TypeError): types.new_class('D', (c,), {}) def test_new_class_with_mro_entry_multiple(self): class A1: pass class A2: pass class B1: pass class B2: pass class A: def __mro_entries__(self, bases): return (A1, A2) class B: def __mro_entries__(self, bases): return (B1, B2) D = types.new_class('D', (A(), B()), {}) self.assertEqual(D.__bases__, (A1, A2, B1, B2)) def test_new_class_with_mro_entry_multiple_2(self): class A1: pass class A2: pass class A3: pass class B1: pass class B2: pass class A: def __mro_entries__(self, bases): return (A1, A2, A3) class B: def __mro_entries__(self, bases): return (B1, B2) class C: pass D = types.new_class('D', (A(), C, B()), {}) self.assertEqual(D.__bases__, (A1, A2, A3, C, B1, B2)) def test_get_original_bases(self): T = typing.TypeVar('T') class A: pass class B(typing.Generic[T]): pass class C(B[int]): pass class D(B[str], float): pass self.assertEqual(types.get_original_bases(A), (object,)) self.assertEqual(types.get_original_bases(B), (typing.Generic[T],)) self.assertEqual(types.get_original_bases(C), (B[int],)) self.assertEqual(types.get_original_bases(int), (object,)) self.assertEqual(types.get_original_bases(D), (B[str], float)) class E(list[T]): pass class F(list[int]): pass self.assertEqual(types.get_original_bases(E), (list[T],)) self.assertEqual(types.get_original_bases(F), (list[int],)) class FirstBase(typing.Generic[T]): pass class SecondBase(typing.Generic[T]): pass class First(FirstBase[int]): pass class Second(SecondBase[int]): pass class G(First, Second): pass self.assertEqual(types.get_original_bases(G), (First, Second)) class First_(typing.Generic[T]): pass class Second_(typing.Generic[T]): pass class H(First_, Second_): pass self.assertEqual(types.get_original_bases(H), (First_, Second_)) class ClassBasedNamedTuple(typing.NamedTuple): x: int class GenericNamedTuple(typing.NamedTuple, typing.Generic[T]): x: T CallBasedNamedTuple = typing.NamedTuple("CallBasedNamedTuple", [("x", int)]) self.assertIs( types.get_original_bases(ClassBasedNamedTuple)[0], typing.NamedTuple ) self.assertEqual( types.get_original_bases(GenericNamedTuple), (typing.NamedTuple, typing.Generic[T]) ) self.assertIs( types.get_original_bases(CallBasedNamedTuple)[0], typing.NamedTuple ) class ClassBasedTypedDict(typing.TypedDict): x: int class GenericTypedDict(typing.TypedDict, typing.Generic[T]): x: T CallBasedTypedDict = typing.TypedDict("CallBasedTypedDict", {"x": int}) self.assertIs( types.get_original_bases(ClassBasedTypedDict)[0], typing.TypedDict ) self.assertEqual( types.get_original_bases(GenericTypedDict), (typing.TypedDict, typing.Generic[T]) ) self.assertIs( types.get_original_bases(CallBasedTypedDict)[0], typing.TypedDict ) with self.assertRaisesRegex(TypeError, "Expected an instance of type"): types.get_original_bases(object()) # Many of the following tests are derived from test_descr.py def test_prepare_class(self): # Basic test of metaclass derivation expected_ns = {} class A(type): def __new__(*args, **kwargs): return type.__new__(*args, **kwargs) def __prepare__(*args): return expected_ns B = types.new_class("B", (object,)) C = types.new_class("C", (object,), {"metaclass": A}) # The most derived metaclass of D is A rather than type. meta, ns, kwds = types.prepare_class("D", (B, C), {"metaclass": type}) self.assertIs(meta, A) self.assertIs(ns, expected_ns) self.assertEqual(len(kwds), 0) def test_bad___prepare__(self): # __prepare__() must return a mapping. class BadMeta(type): @classmethod def __prepare__(*args): return None with self.assertRaisesRegex(TypeError, r'^BadMeta\.__prepare__\(\) must ' r'return a mapping, not NoneType$'): class Foo(metaclass=BadMeta): pass # Also test the case in which the metaclass is not a type. class BadMeta: @classmethod def __prepare__(*args): return None with self.assertRaisesRegex(TypeError, r'^\.__prepare__\(\) must ' r'return a mapping, not NoneType$'): class Bar(metaclass=BadMeta()): pass def test_resolve_bases(self): class A: pass class B: pass class C: def __mro_entries__(self, bases): if A in bases: return () return (A,) c = C() self.assertEqual(types.resolve_bases(()), ()) self.assertEqual(types.resolve_bases((c,)), (A,)) self.assertEqual(types.resolve_bases((C,)), (C,)) self.assertEqual(types.resolve_bases((A, C)), (A, C)) self.assertEqual(types.resolve_bases((c, A)), (A,)) self.assertEqual(types.resolve_bases((A, c)), (A,)) x = (A,) y = (C,) z = (A, C) t = (A, C, B) for bases in [x, y, z, t]: self.assertIs(types.resolve_bases(bases), bases) def test_resolve_bases_with_mro_entry(self): self.assertEqual(types.resolve_bases((typing.List[int],)), (list, typing.Generic)) self.assertEqual(types.resolve_bases((list[int],)), (list,)) def test_metaclass_derivation(self): # issue1294232: correct metaclass calculation new_calls = [] # to check the order of __new__ calls class AMeta(type): def __new__(mcls, name, bases, ns): new_calls.append('AMeta') return super().__new__(mcls, name, bases, ns) @classmethod def __prepare__(mcls, name, bases): return {} class BMeta(AMeta): def __new__(mcls, name, bases, ns): new_calls.append('BMeta') return super().__new__(mcls, name, bases, ns) @classmethod def __prepare__(mcls, name, bases): ns = super().__prepare__(name, bases) ns['BMeta_was_here'] = True return ns A = types.new_class("A", (), {"metaclass": AMeta}) self.assertEqual(new_calls, ['AMeta']) new_calls.clear() B = types.new_class("B", (), {"metaclass": BMeta}) # BMeta.__new__ calls AMeta.__new__ with super: self.assertEqual(new_calls, ['BMeta', 'AMeta']) new_calls.clear() C = types.new_class("C", (A, B)) # The most derived metaclass is BMeta: self.assertEqual(new_calls, ['BMeta', 'AMeta']) new_calls.clear() # BMeta.__prepare__ should've been called: self.assertIn('BMeta_was_here', C.__dict__) # The order of the bases shouldn't matter: C2 = types.new_class("C2", (B, A)) self.assertEqual(new_calls, ['BMeta', 'AMeta']) new_calls.clear() self.assertIn('BMeta_was_here', C2.__dict__) # Check correct metaclass calculation when a metaclass is declared: D = types.new_class("D", (C,), {"metaclass": type}) self.assertEqual(new_calls, ['BMeta', 'AMeta']) new_calls.clear() self.assertIn('BMeta_was_here', D.__dict__) E = types.new_class("E", (C,), {"metaclass": AMeta}) self.assertEqual(new_calls, ['BMeta', 'AMeta']) new_calls.clear() self.assertIn('BMeta_was_here', E.__dict__) def test_metaclass_override_function(self): # Special case: the given metaclass isn't a class, # so there is no metaclass calculation. class A(metaclass=self.Meta): pass marker = object() def func(*args, **kwargs): return marker X = types.new_class("X", (), {"metaclass": func}) Y = types.new_class("Y", (object,), {"metaclass": func}) Z = types.new_class("Z", (A,), {"metaclass": func}) self.assertIs(marker, X) self.assertIs(marker, Y) self.assertIs(marker, Z) def test_metaclass_override_callable(self): # The given metaclass is a class, # but not a descendant of type. new_calls = [] # to check the order of __new__ calls prepare_calls = [] # to track __prepare__ calls class ANotMeta: def __new__(mcls, *args, **kwargs): new_calls.append('ANotMeta') return super().__new__(mcls) @classmethod def __prepare__(mcls, name, bases): prepare_calls.append('ANotMeta') return {} class BNotMeta(ANotMeta): def __new__(mcls, *args, **kwargs): new_calls.append('BNotMeta') return super().__new__(mcls) @classmethod def __prepare__(mcls, name, bases): prepare_calls.append('BNotMeta') return super().__prepare__(name, bases) A = types.new_class("A", (), {"metaclass": ANotMeta}) self.assertIs(ANotMeta, type(A)) self.assertEqual(prepare_calls, ['ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['ANotMeta']) new_calls.clear() B = types.new_class("B", (), {"metaclass": BNotMeta}) self.assertIs(BNotMeta, type(B)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() C = types.new_class("C", (A, B)) self.assertIs(BNotMeta, type(C)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() C2 = types.new_class("C2", (B, A)) self.assertIs(BNotMeta, type(C2)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() # This is a TypeError, because of a metaclass conflict: # BNotMeta is neither a subclass, nor a superclass of type with self.assertRaises(TypeError): D = types.new_class("D", (C,), {"metaclass": type}) E = types.new_class("E", (C,), {"metaclass": ANotMeta}) self.assertIs(BNotMeta, type(E)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() F = types.new_class("F", (object(), C)) self.assertIs(BNotMeta, type(F)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() F2 = types.new_class("F2", (C, object())) self.assertIs(BNotMeta, type(F2)) self.assertEqual(prepare_calls, ['BNotMeta', 'ANotMeta']) prepare_calls.clear() self.assertEqual(new_calls, ['BNotMeta', 'ANotMeta']) new_calls.clear() # TypeError: BNotMeta is neither a # subclass, nor a superclass of int with self.assertRaises(TypeError): X = types.new_class("X", (C, int())) with self.assertRaises(TypeError): X = types.new_class("X", (int(), C)) def test_one_argument_type(self): expected_message = 'type.__new__() takes exactly 3 arguments (1 given)' # Only type itself can use the one-argument form (#27157) self.assertIs(type(5), int) class M(type): pass with self.assertRaises(TypeError) as cm: M(5) self.assertEqual(str(cm.exception), expected_message) class N(type, metaclass=M): pass with self.assertRaises(TypeError) as cm: N(5) self.assertEqual(str(cm.exception), expected_message) def test_metaclass_new_error(self): # bpo-44232: The C function type_new() must properly report the # exception when a metaclass constructor raises an exception and the # winner class is not the metaclass. class ModelBase(type): def __new__(cls, name, bases, attrs): super_new = super().__new__ new_class = super_new(cls, name, bases, {}) if name != "Model": raise RuntimeWarning(f"{name=}") return new_class class Model(metaclass=ModelBase): pass with self.assertRaises(RuntimeWarning): type("SouthPonies", (Model,), {}) class SimpleNamespaceTests(unittest.TestCase): def test_constructor(self): def check(ns, expected): self.assertEqual(len(ns.__dict__), len(expected)) self.assertEqual(vars(ns), expected) # check order self.assertEqual(list(vars(ns).items()), list(expected.items())) for name in expected: self.assertEqual(getattr(ns, name), expected[name]) check(types.SimpleNamespace(), {}) check(types.SimpleNamespace(x=1, y=2), {'x': 1, 'y': 2}) check(types.SimpleNamespace(**dict(x=1, y=2)), {'x': 1, 'y': 2}) check(types.SimpleNamespace({'x': 1, 'y': 2}, x=4, z=3), {'x': 4, 'y': 2, 'z': 3}) check(types.SimpleNamespace([['x', 1], ['y', 2]], x=4, z=3), {'x': 4, 'y': 2, 'z': 3}) check(types.SimpleNamespace(UserDict({'x': 1, 'y': 2}), x=4, z=3), {'x': 4, 'y': 2, 'z': 3}) check(types.SimpleNamespace({'x': 1, 'y': 2}), {'x': 1, 'y': 2}) check(types.SimpleNamespace([['x', 1], ['y', 2]]), {'x': 1, 'y': 2}) check(types.SimpleNamespace([], x=4, z=3), {'x': 4, 'z': 3}) check(types.SimpleNamespace({}, x=4, z=3), {'x': 4, 'z': 3}) check(types.SimpleNamespace([]), {}) check(types.SimpleNamespace({}), {}) with self.assertRaises(TypeError): types.SimpleNamespace([], []) # too many positional arguments with self.assertRaises(TypeError): types.SimpleNamespace(1) # not a mapping or iterable with self.assertRaises(TypeError): types.SimpleNamespace([1]) # non-iterable with self.assertRaises(ValueError): types.SimpleNamespace([['x']]) # not a pair with self.assertRaises(ValueError): types.SimpleNamespace([['x', 'y', 'z']]) with self.assertRaises(TypeError): types.SimpleNamespace(**{1: 2}) # non-string key with self.assertRaises(TypeError): types.SimpleNamespace({1: 2}) with self.assertRaises(TypeError): types.SimpleNamespace([[1, 2]]) with self.assertRaises(TypeError): types.SimpleNamespace(UserDict({1: 2})) with self.assertRaises(TypeError): types.SimpleNamespace([[[], 2]]) # non-hashable key def test_unbound(self): ns1 = vars(types.SimpleNamespace()) ns2 = vars(types.SimpleNamespace(x=1, y=2)) self.assertEqual(ns1, {}) self.assertEqual(ns2, {'y': 2, 'x': 1}) def test_underlying_dict(self): ns1 = types.SimpleNamespace() ns2 = types.SimpleNamespace(x=1, y=2) ns3 = types.SimpleNamespace(a=True, b=False) mapping = ns3.__dict__ del ns3 self.assertEqual(ns1.__dict__, {}) self.assertEqual(ns2.__dict__, {'y': 2, 'x': 1}) self.assertEqual(mapping, dict(a=True, b=False)) def test_attrget(self): ns = types.SimpleNamespace(x=1, y=2, w=3) self.assertEqual(ns.x, 1) self.assertEqual(ns.y, 2) self.assertEqual(ns.w, 3) with self.assertRaises(AttributeError): ns.z def test_attrset(self): ns1 = types.SimpleNamespace() ns2 = types.SimpleNamespace(x=1, y=2, w=3) ns1.a = 'spam' ns1.b = 'ham' ns2.z = 4 ns2.theta = None self.assertEqual(ns1.__dict__, dict(a='spam', b='ham')) self.assertEqual(ns2.__dict__, dict(x=1, y=2, w=3, z=4, theta=None)) def test_attrdel(self): ns1 = types.SimpleNamespace() ns2 = types.SimpleNamespace(x=1, y=2, w=3) with self.assertRaises(AttributeError): del ns1.spam with self.assertRaises(AttributeError): del ns2.spam del ns2.y self.assertEqual(vars(ns2), dict(w=3, x=1)) ns2.y = 'spam' self.assertEqual(vars(ns2), dict(w=3, x=1, y='spam')) del ns2.y self.assertEqual(vars(ns2), dict(w=3, x=1)) ns1.spam = 5 self.assertEqual(vars(ns1), dict(spam=5)) del ns1.spam self.assertEqual(vars(ns1), {}) def test_repr(self): ns1 = types.SimpleNamespace(x=1, y=2, w=3) ns2 = types.SimpleNamespace() ns2.x = "spam" ns2._y = 5 name = "namespace" self.assertEqual(repr(ns1), "{name}(x=1, y=2, w=3)".format(name=name)) self.assertEqual(repr(ns2), "{name}(x='spam', _y=5)".format(name=name)) def test_equal(self): ns1 = types.SimpleNamespace(x=1) ns2 = types.SimpleNamespace() ns2.x = 1 self.assertEqual(types.SimpleNamespace(), types.SimpleNamespace()) self.assertEqual(ns1, ns2) self.assertNotEqual(ns2, types.SimpleNamespace()) def test_nested(self): ns1 = types.SimpleNamespace(a=1, b=2) ns2 = types.SimpleNamespace() ns3 = types.SimpleNamespace(x=ns1) ns2.spam = ns1 ns2.ham = '?' ns2.spam = ns3 self.assertEqual(vars(ns1), dict(a=1, b=2)) self.assertEqual(vars(ns2), dict(spam=ns3, ham='?')) self.assertEqual(ns2.spam, ns3) self.assertEqual(vars(ns3), dict(x=ns1)) self.assertEqual(ns3.x.a, 1) def test_recursive(self): ns1 = types.SimpleNamespace(c='cookie') ns2 = types.SimpleNamespace() ns3 = types.SimpleNamespace(x=1) ns1.spam = ns1 ns2.spam = ns3 ns3.spam = ns2 self.assertEqual(ns1.spam, ns1) self.assertEqual(ns1.spam.spam, ns1) self.assertEqual(ns1.spam.spam, ns1.spam) self.assertEqual(ns2.spam, ns3) self.assertEqual(ns3.spam, ns2) self.assertEqual(ns2.spam.spam, ns2) def test_recursive_repr(self): ns1 = types.SimpleNamespace(c='cookie') ns2 = types.SimpleNamespace() ns3 = types.SimpleNamespace(x=1) ns1.spam = ns1 ns2.spam = ns3 ns3.spam = ns2 name = "namespace" repr1 = "{name}(c='cookie', spam={name}(...))".format(name=name) repr2 = "{name}(spam={name}(x=1, spam={name}(...)))".format(name=name) self.assertEqual(repr(ns1), repr1) self.assertEqual(repr(ns2), repr2) def test_as_dict(self): ns = types.SimpleNamespace(spam='spamspamspam') with self.assertRaises(TypeError): len(ns) with self.assertRaises(TypeError): iter(ns) with self.assertRaises(TypeError): 'spam' in ns with self.assertRaises(TypeError): ns['spam'] def test_subclass(self): class Spam(types.SimpleNamespace): pass spam = Spam(ham=8, eggs=9) self.assertIs(type(spam), Spam) self.assertEqual(vars(spam), {'ham': 8, 'eggs': 9}) def test_pickle(self): ns = types.SimpleNamespace(breakfast="spam", lunch="spam") for protocol in range(pickle.HIGHEST_PROTOCOL + 1): pname = "protocol {}".format(protocol) try: ns_pickled = pickle.dumps(ns, protocol) except TypeError as e: raise TypeError(pname) from e ns_roundtrip = pickle.loads(ns_pickled) self.assertEqual(ns, ns_roundtrip, pname) def test_replace(self): ns = types.SimpleNamespace(x=11, y=22) ns2 = copy.replace(ns) self.assertEqual(ns2, ns) self.assertIsNot(ns2, ns) self.assertIs(type(ns2), types.SimpleNamespace) self.assertEqual(vars(ns2), {'x': 11, 'y': 22}) ns2.x = 3 self.assertEqual(ns.x, 11) ns.x = 4 self.assertEqual(ns2.x, 3) self.assertEqual(vars(copy.replace(ns, x=1)), {'x': 1, 'y': 22}) self.assertEqual(vars(copy.replace(ns, y=2)), {'x': 4, 'y': 2}) self.assertEqual(vars(copy.replace(ns, x=1, y=2)), {'x': 1, 'y': 2}) def test_replace_subclass(self): class Spam(types.SimpleNamespace): pass spam = Spam(ham=8, eggs=9) spam2 = copy.replace(spam, ham=5) self.assertIs(type(spam2), Spam) self.assertEqual(vars(spam2), {'ham': 5, 'eggs': 9}) def test_fake_namespace_compare(self): # Issue #24257: Incorrect use of PyObject_IsInstance() caused # SystemError. class FakeSimpleNamespace(str): __class__ = types.SimpleNamespace self.assertFalse(types.SimpleNamespace() == FakeSimpleNamespace()) self.assertTrue(types.SimpleNamespace() != FakeSimpleNamespace()) with self.assertRaises(TypeError): types.SimpleNamespace() < FakeSimpleNamespace() with self.assertRaises(TypeError): types.SimpleNamespace() <= FakeSimpleNamespace() with self.assertRaises(TypeError): types.SimpleNamespace() > FakeSimpleNamespace() with self.assertRaises(TypeError): types.SimpleNamespace() >= FakeSimpleNamespace() class CoroutineTests(unittest.TestCase): def test_wrong_args(self): samples = [None, 1, object()] for sample in samples: with self.assertRaisesRegex(TypeError, 'types.coroutine.*expects a callable'): types.coroutine(sample) def test_non_gen_values(self): @types.coroutine def foo(): return 'spam' self.assertEqual(foo(), 'spam') class Awaitable: def __await__(self): return () aw = Awaitable() @types.coroutine def foo(): return aw self.assertIs(aw, foo()) # decorate foo second time foo = types.coroutine(foo) self.assertIs(aw, foo()) def test_async_def(self): # Test that types.coroutine passes 'async def' coroutines # without modification async def foo(): pass foo_code = foo.__code__ foo_flags = foo.__code__.co_flags decorated_foo = types.coroutine(foo) self.assertIs(foo, decorated_foo) self.assertEqual(foo.__code__.co_flags, foo_flags) self.assertIs(decorated_foo.__code__, foo_code) foo_coro = foo() def bar(): return foo_coro for _ in range(2): bar = types.coroutine(bar) coro = bar() self.assertIs(foo_coro, coro) self.assertEqual(coro.cr_code.co_flags, foo_flags) coro.close() def test_duck_coro(self): class CoroLike: def send(self): pass def throw(self): pass def close(self): pass def __await__(self): return self coro = CoroLike() @types.coroutine def foo(): return coro self.assertIs(foo(), coro) self.assertIs(foo().__await__(), coro) def test_duck_corogen(self): class CoroGenLike: def send(self): pass def throw(self): pass def close(self): pass def __await__(self): return self def __iter__(self): return self def __next__(self): pass coro = CoroGenLike() @types.coroutine def foo(): return coro self.assertIs(foo(), coro) self.assertIs(foo().__await__(), coro) def test_duck_gen(self): class GenLike: def send(self): pass def throw(self): pass def close(self): pass def __iter__(self): pass def __next__(self): pass # Setup generator mock object gen = unittest.mock.MagicMock(GenLike) gen.__iter__ = lambda gen: gen gen.__name__ = 'gen' gen.__qualname__ = 'test.gen' self.assertIsInstance(gen, collections.abc.Generator) self.assertIs(gen, iter(gen)) @types.coroutine def foo(): return gen wrapper = foo() self.assertIsInstance(wrapper, types._GeneratorWrapper) self.assertIs(wrapper.__await__(), wrapper) # Wrapper proxies duck generators completely: self.assertIs(iter(wrapper), wrapper) self.assertIsInstance(wrapper, collections.abc.Coroutine) self.assertIsInstance(wrapper, collections.abc.Awaitable) self.assertIs(wrapper.__qualname__, gen.__qualname__) self.assertIs(wrapper.__name__, gen.__name__) # Test AttributeErrors for name in {'gi_running', 'gi_frame', 'gi_code', 'gi_yieldfrom', 'cr_running', 'cr_frame', 'cr_code', 'cr_await'}: with self.assertRaises(AttributeError): getattr(wrapper, name) # Test attributes pass-through gen.gi_running = object() gen.gi_frame = object() gen.gi_code = object() gen.gi_yieldfrom = object() self.assertIs(wrapper.gi_running, gen.gi_running) self.assertIs(wrapper.gi_frame, gen.gi_frame) self.assertIs(wrapper.gi_code, gen.gi_code) self.assertIs(wrapper.gi_yieldfrom, gen.gi_yieldfrom) self.assertIs(wrapper.cr_running, gen.gi_running) self.assertIs(wrapper.cr_frame, gen.gi_frame) self.assertIs(wrapper.cr_code, gen.gi_code) self.assertIs(wrapper.cr_await, gen.gi_yieldfrom) wrapper.close() gen.close.assert_called_once_with() wrapper.send(1) gen.send.assert_called_once_with(1) gen.reset_mock() next(wrapper) gen.__next__.assert_called_once_with() gen.reset_mock() wrapper.throw(1, 2, 3) gen.throw.assert_called_once_with(1, 2, 3) gen.reset_mock() wrapper.throw(1, 2) gen.throw.assert_called_once_with(1, 2) gen.reset_mock() wrapper.throw(1) gen.throw.assert_called_once_with(1) gen.reset_mock() # Test exceptions propagation error = Exception() gen.throw.side_effect = error try: wrapper.throw(1) except Exception as ex: self.assertIs(ex, error) else: self.fail('wrapper did not propagate an exception') # Test invalid args gen.reset_mock() with self.assertRaises(TypeError): wrapper.throw() self.assertFalse(gen.throw.called) with self.assertRaises(TypeError): wrapper.close(1) self.assertFalse(gen.close.called) with self.assertRaises(TypeError): wrapper.send() self.assertFalse(gen.send.called) # Test that we do not double wrap @types.coroutine def bar(): return wrapper self.assertIs(wrapper, bar()) # Test weakrefs support ref = weakref.ref(wrapper) self.assertIs(ref(), wrapper) def test_duck_functional_gen(self): class Generator: """Emulates the following generator (very clumsy): def gen(fut): result = yield fut return result * 2 """ def __init__(self, fut): self._i = 0 self._fut = fut def __iter__(self): return self def __next__(self): return self.send(None) def send(self, v): try: if self._i == 0: assert v is None return self._fut if self._i == 1: raise StopIteration(v * 2) if self._i > 1: raise StopIteration finally: self._i += 1 def throw(self, tp, *exc): self._i = 100 if tp is not GeneratorExit: raise tp def close(self): self.throw(GeneratorExit) @types.coroutine def foo(): return Generator('spam') wrapper = foo() self.assertIsInstance(wrapper, types._GeneratorWrapper) async def corofunc(): return await foo() + 100 coro = corofunc() self.assertEqual(coro.send(None), 'spam') try: coro.send(20) except StopIteration as ex: self.assertEqual(ex.args[0], 140) else: self.fail('StopIteration was expected') def test_gen(self): def gen_func(): yield 1 return (yield 2) gen = gen_func() @types.coroutine def foo(): return gen wrapper = foo() self.assertIsInstance(wrapper, types._GeneratorWrapper) self.assertIs(wrapper.__await__(), gen) for name in ('__name__', '__qualname__', 'gi_code', 'gi_running', 'gi_frame'): self.assertIs(getattr(foo(), name), getattr(gen, name)) self.assertIs(foo().cr_code, gen.gi_code) self.assertEqual(next(wrapper), 1) self.assertEqual(wrapper.send(None), 2) with self.assertRaisesRegex(StopIteration, 'spam'): wrapper.send('spam') gen = gen_func() wrapper = foo() wrapper.send(None) with self.assertRaisesRegex(Exception, 'ham'): wrapper.throw(Exception('ham')) # decorate foo second time foo = types.coroutine(foo) self.assertIs(foo().__await__(), gen) def test_returning_itercoro(self): @types.coroutine def gen(): yield gencoro = gen() @types.coroutine def foo(): return gencoro self.assertIs(foo(), gencoro) # decorate foo second time foo = types.coroutine(foo) self.assertIs(foo(), gencoro) def test_genfunc(self): def gen(): yield self.assertIs(types.coroutine(gen), gen) self.assertIs(types.coroutine(types.coroutine(gen)), gen) self.assertTrue(gen.__code__.co_flags & inspect.CO_ITERABLE_COROUTINE) self.assertFalse(gen.__code__.co_flags & inspect.CO_COROUTINE) g = gen() self.assertTrue(g.gi_code.co_flags & inspect.CO_ITERABLE_COROUTINE) self.assertFalse(g.gi_code.co_flags & inspect.CO_COROUTINE) self.assertIs(types.coroutine(gen), gen) def test_wrapper_object(self): def gen(): yield @types.coroutine def coro(): return gen() wrapper = coro() self.assertIn('GeneratorWrapper', repr(wrapper)) self.assertEqual(repr(wrapper), str(wrapper)) self.assertTrue(set(dir(wrapper)).issuperset({ '__await__', '__iter__', '__next__', 'cr_code', 'cr_running', 'cr_frame', 'gi_code', 'gi_frame', 'gi_running', 'send', 'close', 'throw'})) class FunctionTests(unittest.TestCase): def test_function_type_defaults(self): def ex(a, /, b, *, c): return a + b + c func = types.FunctionType( ex.__code__, {}, "func", (1, 2), None, {'c': 3}, ) self.assertEqual(func(), 6) self.assertEqual(func.__defaults__, (1, 2)) self.assertEqual(func.__kwdefaults__, {'c': 3}) func = types.FunctionType( ex.__code__, {}, "func", None, None, None, ) self.assertEqual(func.__defaults__, None) self.assertEqual(func.__kwdefaults__, None) def test_function_type_wrong_defaults(self): def ex(a, /, b, *, c): return a + b + c with self.assertRaisesRegex(TypeError, 'arg 4'): types.FunctionType( ex.__code__, {}, "func", 1, None, {'c': 3}, ) with self.assertRaisesRegex(TypeError, 'arg 6'): types.FunctionType( ex.__code__, {}, "func", None, None, 3, ) class SubinterpreterTests(unittest.TestCase): @classmethod def setUpClass(cls): global interpreters try: from test.support import interpreters except ModuleNotFoundError: raise unittest.SkipTest('subinterpreters required') import test.support.interpreters.channels @cpython_only @no_rerun('channels (and queues) might have a refleak; see gh-122199') def test_static_types_inherited_slots(self): rch, sch = interpreters.channels.create() slots = [] script = '' for cls in iter_builtin_types(): for slot, own in iter_slot_wrappers(cls): slots.append((cls, slot, own)) script += textwrap.dedent(f""" text = repr({cls.__name__}.{slot}) sch.send_nowait(({cls.__name__!r}, {slot!r}, text)) """) exec(script) all_expected = [] for cls, slot, _ in slots: result = rch.recv() assert result == (cls.__name__, slot, result[-1]), (cls, slot, result) all_expected.append(result) interp = interpreters.create() interp.exec('from test.support import interpreters') interp.prepare_main(sch=sch) interp.exec(script) for i, (cls, slot, _) in enumerate(slots): with self.subTest(cls=cls, slot=slot): expected = all_expected[i] result = rch.recv() self.assertEqual(result, expected) if __name__ == '__main__': unittest.main()