В качестве игрушечной задачи я попытался придумать объекты a, b такие, что
type(a) == type(b) == int # True
a + 1 == b + 1 == 1 # True
a is b # False
Кажется, что deepcopy возвращается к _deepcopy_atomic, как обсуждалось ">здесь.
Можно ли создать копию небольшого int в Python?
Да, это возможно, и без низкоуровневых хаков или читов:
>>> a = 0
>>> b = 9**99 % 9**99
>>> type(a) == type(b) == int
True
>>> a + 1 == b + 1 == 1
True
>>> a is b
False
Я делаю это локально с Python 3.8.1, но вы также можете воспроизвести его на repl.it и на www.python.org/shell/.
Для небольших плюсов:
>>> a = 7
>>> b = (9**99 + a) % 9**99
>>> b, type(b), a == b, a is b
(7, <class 'int'>, True, False)
Для небольших минусов:
>>> a = -2
>>> b = (9**99 + a) % -9**99
>>> b, type(b), a == b, a is b
(-2, <class 'int'>, True, False)
Ответ на ваш вопрос зависит от того, что вы считаете small int. Согласно документации:
Текущая реализация хранит массив целочисленных объектов для всех целых чисел от -5 до 256, когда вы создаете int в этом диапазоне, вы фактически просто возвращаете ссылку на существующий объект.
В случае целых чисел строка a is b эквивалентна id(a) == id(b). Для диапазона [-5, 256] идентификаторы для всех номеров предопределены, что означает, что a и b действуют как псевдонимы для существующего объекта.
Единственный способ, которым a, b удовлетворит вашему условию a + 1 == b + 1 == 1, это когда a = b = 0. Поскольку 0 находится в вышеупомянутом диапазоне, невозможно заставить a is b возвращать False.
Вероятно, это не является целью вопроса, но 3 утверждения в вопросе могут быть удовлетворены, если int разрешено переопределять, так что следующий код будет проходить:
int = type('', (int,), dict(vars(int)))
a = int(0)
b = int(0)
assert type(a) == type(b) == int
assert a + 1 == b + 1 == 1
assert a is not b
type = lambda x: int и использовать пользовательские классы для a и b. 07.03.2020 Мне удалось заставить работать для CPython следующее:
import ctypes
x = 2
y = 3
ctypes.c_int.from_address(id(y) + 24).value = x
print(x == y) # True
print(x is y) # False
Я не мог обойтись без x = 0 или x = 1 без сбоя интерпретатора.
