Wann beeinflusst die Änderbarkeit von Python-Klassenobjekten Zuweisungen?

Question

Mein Verständnis von Pythons veränderbarer Funktion für Klassen/Objekte ist, dass, wenn Sie eine Zuweisung machen, jede Änderung am Original auch die zugewiesene Variable/das Objekt ändert. Ich habe darüber verwirrt piece of code below.

# Recursive solution to Flatten Binary Tree to Linked List by LeetCode 

# Definition for a binary tree node 
# class TreeNode: 
#  def __init__(self, x): 
#   self.val = x 
#   self.left = None 
#   self.right = None 

class Solution: 
    # @param root, a tree node 
    # @return root, a tree node 
    def flattenHelper(self, root): 
     if root == None: 
      return None 
     else: 
      left = root.left 
      right = root.right 
      root.left = None # Truncate the left subtree 
      current = root 

      # Flatten the left subtree 
      current.right = self.flattenHelper(left) 
      while current.right != None: current = current.right 

      # Flatten the right subtree 
      current.right = self.flattenHelper(right) 
      return root 

    # @param root, a tree node 
    # @return nothing, do it in place 
    def flatten(self, root): 
     self.flattenHelper(root) 
     return 

Frage: Wie kommen die Variable left nicht automatisch None einmal root.left = None fertig ausgeführt wird?

Answer 1

Zuweisung in Python funktioniert immer auf die gleiche Weise. Es ändert das Ding auf der linken Seite des = Zeichen, um auf den Wert des Ausdrucks auf der rechten Seite zu verweisen. Es gibt absolut überhaupt nichts "anders in der Implementierung", wie Sie in einem Kommentar fragen.

Manchmal ist das Element auf der linken Seite ein Slot in einem Container (eine Liste, ein Wörterbuch, ein Objekt). Diese Objekte sind veränderbar (können geändert werden), sodass Sie ändern können, worauf sich ihre Slots beziehen. Wenn Sie das tun, zum Beispiel:

a = b = [0] 

Jetzt a und b sind zwei verschiedene Namen für das gleiche Objekt. Wenn Sie a[0] = 1 tun, wird b[0] auch 1, weil a und b das gleiche Objekt sind, und die Zuweisung ändert dies nicht, weil Sie Slot 0 innerhalb des Objekts zuweisen, das von a referenziert wird; Sie ändern nicht, was a sich bezieht. Aber wenn Sie stattdessen a = [1] tun, dann bleibt b[0] 0, weil a jetzt auf eine andere Liste von b zeigt.

Dies ist, was in Ihrem Beispiel passiert. Die Namen left und root.left verweisen zunächst auf das gleiche Objekt. Wenn Sie root.left ändern, um auf ein anderes Objekt zu verweisen, wird left nicht geändert, um auf dasselbe Objekt zu zeigen. Um das zu erreichen, würde left haben einen Behälter sein, und es wäre nichtroot.left, der gleiche Behälter wie root, sein und wäre left.left was würde sich ändern, nicht left selbst. Weil Sie den Wert eines Namens nicht anders als durch Zuweisung ändern können.