Les tuples identiques non modifiables pointent vers différents objets

Question

Je comprends que python économisera avec certains types immuables en pointant vers le même objet en mémoire pour deux objets équivalents. Tels que la déclaration des variables au même nombre (dans les limites de -5 et 256):

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

... et ensembles:

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

ensembles Parce que (type immuable) peuvent contenir des types mutables tels sous forme de listes qui peuvent être modifiés, je comprends que Python ne voudrais pas pointer vers le même objet que dans le cas:

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

... Comment viennent les tuples suivants ne pointent pas vers le même objet que t Ils sont tous les deux, à ma connaissance, immuables dans toutes les conditions?

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

Answer 1

Les pointeurs sont pliés lorsque, de l'avis du moteur Python, l'objet est assez simple pour justifier l'entrée dans la table de l'exécution des constantes simples. Cette table inclut souvent de petits entiers (tels que -256 à 255), des objets vides/nuls de types prédéfinis et des trivialités similaires.

Des objets plus complexes - tels que définis par ceux qui ont conçu l'implémentation Python - sont reconstruits à chaque référence. Ainsi, vous trouverez peut-être que

a = 1 
b = 1 

Référez-vous au même objet, mais

a = 123456798 
b = 123456798 

allocations distinctes Avoir.