Почему два отдельно созданных неизменяемых объекта имеют одинаковые идентификаторы и изменяемые объекты, разные, хотя оба относятся к одинаковым значениям?

Question

Два индивидуально созданных изменяемых списка имеют разные идентификаторы.

Python SHELL: (изменяемые)

>>> mylist = ['spam', 'eggs'] 
>>> yourlist = ['spam', 'eggs'] 
>>> id(mylist), id(yourlist) 
(49624456, 48910408) 

В то время как две индивидуально созданные неизменные строки имеют одинаковые идентификаторы.

Python SHELL: (неизменное)

>>> a = 10 
>>> b = 10 
>>> id(a), id(b) 
(507099072, 507099072) 

Является a и b ссылки на тот же объект? Если нет, то почему идентификаторы похожи? Есть mylist и yourlist ссылки на разные объекты? Если да, то почему у них разные идентификаторы.

Answer 1

Python кэширует некоторые небольшие строки и число: http://docs.python.org/2/c-api/int.html#PyInt_FromLong

Текущая реализация хранит массив целых объектов для всех целых чисел от -5 до 256, при создании Int в этом диапазоне вы на самом деле просто верните ссылку на существующий объект.

И id(some_list) всегда дает адрес контейнера - список объектов в памяти, а не строки в списке!