Как `is` работает в случае эфемерных объектов, использующих один и тот же адрес памяти?

Обратите внимание, что этот вопрос может быть (является ли?) специфичным для CPython.

Скажем, у вас есть какой-то список, и проверьте копии списка на идентичность друг с другом:

>>> a=list(range(10))
>>> b,c=a[:],a[:]
>>> b is c
False
>>> id(b), id(c)
(3157888272304, 3157888272256)

Там нет сильных толчков. Но если мы сделаем это более эфемерным способом, поначалу все может показаться немного странным:

>>> a[:] is a[:]
False  # <- two ephemeral copies not the same object (duh)
>>> id(a[:]),id(a[:])
(3157888272544, 3157888272544)   # <- but two other ephemerals share the same id..? hmm....

...пока мы не поймем, что, вероятно, здесь происходит. Я не подтвердил это, посмотрев на реализацию CPython (я едва умею читать C++, так что, если честно, это было бы пустой тратой времени), но, по крайней мере, кажется очевидным, что даже если два объекта имеют одинаковый идентификатор, CPython умен. достаточно знать, что это не один и тот же объект.

Предполагая, что это правильно, мой вопрос: какие критерии использует CPython, чтобы определить, являются ли два эфемерных объекта разными объектами, учитывая, что они имеют один и тот же идентификатор (предположительно, из соображений эффективности - см. ниже)? Возможно, он смотрит на время, когда он был отмечен как сборщик мусора? Время создания? Или что-то другое...?

Моя теория о том, почему у них один и тот же идентификатор, заключается в том, что, вероятно, CPython знает, что эфемерная копия списка уже была создана и ожидает сборки мусора, и он просто эффективно повторно использует ту же память. место нахождения. Было бы здорово, если бы ответ мог прояснить/подтвердить и это.