Python3 Mehrfachbelegung und Speicheradresse

Question

Nach der Lektüre this und this, die auf meine Frage ziemlich ähnlich sind, kann ich noch nicht das folgende Verhalten verstehen:

a = 257 
b = 257 
print(a is b) #False 
a, b = 257, 257 
print(a is b) #True 

Wenn id(a) und id(b) Druck ich, dass die Variablen sehen kann, zu denen wurden die Werte in getrennten Leitungen zugeordnet sind, unterschiedliche IDs haben, während bei beiden Werten Mehrfachzuordnung die gleiche ID haben:

a = 257 
b = 257 
print(id(a)) #139828809414512 
print(id(b)) #139828809414224 
a, b = 257, 257 
print(id(a)) #139828809414416 
print(id(b)) #139828809414416 

Aber es ist unmöglich, dieses Verhalten zu erklären, daß eine Mehrfachzuordnung von gleichen Werten, da immer Zeiger auf die gleiche ID erstellt:

a, b = -1000, -1000 
print(id(a)) #139828809414448 
print(id(b)) #139828809414288 

Gibt es eine klare Regel, was erklärt, wenn die Variablen die gleichen id und, wenn sie nicht bekommen?

bearbeiten

relevante Informationen: Der Code in dieser Frage im interaktiven Modus ausgeführt wurde (ipython3)

Answer 1

Dies liegt an einer konstanten Faltungsoptimierung im Bytecode-Compiler. Wenn der Bytecode-Compiler einen Batch von Anweisungen kompiliert, behält er uses a dict, um die Konstanten zu verfolgen, die er sieht. Dieses Diktat führt automatisch äquivalente Konstanten zusammen.

Hier ist die Routine verantwortlich für die Aufzeichnung und Nummerierung Konstanten (sowie einige damit verbundenen Verantwortlichkeiten):

static int 
compiler_add_o(struct compiler *c, PyObject *dict, PyObject *o) 
{ 
    PyObject *t, *v; 
    Py_ssize_t arg; 

    t = _PyCode_ConstantKey(o); 
    if (t == NULL) 
     return -1; 

    v = PyDict_GetItem(dict, t); 
    if (!v) { 
     arg = PyDict_Size(dict); 
     v = PyInt_FromLong(arg); 
     if (!v) { 
      Py_DECREF(t); 
      return -1; 
     } 
     if (PyDict_SetItem(dict, t, v) < 0) { 
      Py_DECREF(t); 
      Py_DECREF(v); 
      return -1; 
     } 
     Py_DECREF(v); 
    } 
    else 
     arg = PyInt_AsLong(v); 
    Py_DECREF(t); 
    return arg; 
} 

Sie können sehen, dass es nur einen neuen Eintrag ergänzt und weist eine neue Nummer, wenn es nicht der Fall ist Finde eine äquivalente Konstante, die bereits vorhanden ist. (Das Bit _PyCode_ConstantKey stellt sicher, dass Dinge wie 0.0, -0.0 und 0 als nicht gleichwertig betrachtet werden.)

Im interaktiven Modus endet eine Charge jedes Mal, wenn der Dolmetscher muss tatsächlich Ihren Befehl ausführen, so konstantes Falten geschieht meist nicht über Befehle:

>>> a = 1000 
>>> b = 1000 
>>> a is b 
False 
>>> a = 1000; b = 1000 # 1 batch 
>>> a is b 
True 

In einem Skript alle Top-Level-Aussagen eine Charge ist, so more constant folding happens:

a = 257 
b = 257 
print a is b 

In einem Skript diese druckt True.

ein Code der Funktion erhält seine Konstanten getrennt von Code außerhalb der Funktion verfolgt, die Konstantenfaltung begrenzt:

a = 257 

def f(): 
    b = 257 
    print a is b 

f() 

Even in a script dieses druckt False.

Answer 2

Eine solche Regel Implementierung spezifisch ist. Beispielsweise weist CPython int Objekte für kleine ganze Zahlen (-5 bis 256) als Leistungsoptimierung vor.

Die einzige allgemeine Regel besteht darin, davon auszugehen, dass die Verwendung eines Literals ein neues Objekt erzeugt.

Answer 3

Das ist wegen der Python-Interpreter-Optimierung bei UNPACK_SEQUENCE Zeit, während des Ladens der Const-Werte. Wenn Python während des Entpackens auf eine iterierbare Zahl trifft, lädt es die doppelten Objekte nicht mehrfach, sondern behält nur das erste Objekt und weist alle Ihre Namen einer Objektadresse zu. Somit wären alle Ihre Variablen die gleichen Referenzen auf ein Objekt.

Eigentlich wäre Ihr auspacken zu folgendem Befehl gleichwertig sein:

a = b = 257 

Und über die negativen Zahlen in Python 2.x es keinen Unterschied, aber in Python 3.X, dass es scheint, für die Zahlen nicht kleiner machen als -5 Python wird beim Entpacken ein neues Objekt erzeugen:

>>> a, b = -6, -6 
>>> a is b 
False 
>>> a, b = -5, -5 
>>> 
>>> a is b 
True