Python 3 Index ist len ​​(l) bedingte Auswertung Fehler

Question

Ich habe die folgende Merge-Code. Wenn die Zeile if ib is len(b) or ... so geändert wird, dass sie doppelt gleich ==: if ib == len(b) or ... verwendet, löst der Code keine IndexError Ausnahme aus.

Dies ist sehr unerwartet, weil:

• len (b) auf eine Zahl ausgewertet wird und is entspricht == für ganze Zahlen. Sie können es testen: ein Python-Ausdruck

  (1 is len([0])) 
  

  ausgewertet True zu sein.

• Die Eingabe für die Funktion ist range(1500, -1, -1), und Bereichsobjekte werden in python3 anders behandelt. Ich vermutete, dass, da die Eingabe als Bereichsinstanz behandelt wurde, die Längenauswertung möglicherweise eine Instanz anstelle eines ganzzahligen Primitivs war. Dies ist wieder seltsam weil

  1 is len(range(1)) 
  

  Sie auch True als Ergebnis gibt.

Ist das ein Fehler bei der bedingten Auswertung in Python3?

Tom Caswell geliefert diese folgenden Nutzungs ausdrücklich in unserer Diskussion, ich bin Kopie einfügen es hier für Ihre Nachricht:

tt = [j is int(str(j)) for j in range(15000)] 

nur die ersten 256 Artikel sind True. Der Rest sind False hahahaha.

---

Das ursprüngliche Skript:

def merge_sort(arr): 
    if len(arr) >= 2: 
     s = int(len(arr)/2) 
     a = merge_sort(arr[:s]) 
     b = merge_sort(arr[s:]) 
     ia = 0 
     ib = 0 
     new_arr = [] 
     while len(new_arr) < len(arr): 
      try: 
       if ib is len(b) or a[ia] <= b[ib]: 
        new_arr.append(a[ia]) 
        ia += 1 
       else: 
        new_arr.append(b[ib]) 
        ib += 1 
      except IndexError: 
       print(len(a), len(b), ia, ib) 
       raise IndexError 
     return new_arr 
    else: 
     return arr 

print(merge_sort(range(1500, -1, -1))) 

Answer 1

Python garantiert nicht, dass zwei Ganzzahl-Instanzen mit gleichem Wert die gleiche Instanz sind. Im folgenden Beispiel liegt der Grund für die Gleichheit der ersten 256 Vergleiche darin, dass Python -5 in 256 in Long zwischenspeichert. Dieses Verhalten ist hier beschrieben: https://docs.python.org/3/c-api/long.html#c.PyLong_FromLong

Beispiel:

tt = [j is int(str(j)) for j in range(500)] 
plt.plot(tt) 

IIRC, die jeder von ihnen passieren die is Test eine Implementierung spezifische Optimierung Detail.

Answer 2

is prüft, ob zwei Argumente beziehen sich auf das gleiche Objekt , == prüft, ob zwei Argumente denselben Wert haben. Sie können nicht davon ausgehen, dass sie dasselbe bedeuten, sie haben unterschiedliche Verwendungszwecke und Sie erhalten eine Fehlermeldung, wenn Sie versuchen, sie synonym zu verwenden.