相同的不可变元组指向不同的对象

Question

据我所知，python将通过指向两个等价对象的内存中的相同对象来节省某些不可变类型。如声明变量，以相同数量的（-5和边界256内）：

i = 5 
j = 5 
i is j 
>> True 

...和集：

tuple1 =() 
tuple2 =() 
tuple1 == tuple2 
>> True 
tuple1 is tuple2 
>> True 

由于集（不可变型）可以包含可变类型，例如作为可修改的列表，我明白了Python不想指向同一个对象的情况一样：

tuple3 = ([1, 2, 3], a, b) 
tuple4 = ([1, 2, 3], a, b) 
tuple3 is tuple4 
>> False 

...为什么下面的元组不会指向同一个对象Ť据我所知，嘿都是在所有条件下都不变的？

tuple5 = ((),()) 
tuple6 = ((),()) 
tuple5 == tuple6 
>> True 
tuple5 is tuple6 
>> False 

Answer 1

当Python引擎认为该对象足够简单以保证在简单常量的运行时表中进入时，指针被折叠。这个表格通常包含小整数（例如-256到255），内置类型的空/空对象以及类似的琐事。

更复杂的对象 - 由设计Python实现者定义 - 在每个引用处重建。因此，你可能会发现，

a = 1 
b = 1 

指同一对象，但

a = 123456798 
b = 123456798 

有独立的分配。