Выполняется ли простое задание в Python дважды?

На этой странице официального справочника Python есть следующее предложение:

Оператор расширенного присваивания, например x += 1, можно переписать как x = x + 1, чтобы добиться аналогичного, но не совсем равного эффекта. В расширенная версия, x оценивается только один раз.

Кажется, это предполагает, что простое задание будет оцениваться x дважды. Я хотел проверить это, поэтому создал следующий пример кода:

X = [print("\t\tHello X"), 0 ]
X = X + [1]

Фактически это печатает «Hello X» только один раз, при первом задании. Я попробовал создать X[0] функцию, которая вместо этого что-то печатает, но она не работает.

Вот небольшой пример с сеттерами и геттерами:

class X:
    def __init__(self, value:int = 0):
        self._value = value

    @property 
    def value(self):
        print("HEllo X!")
        return self._value

    @value.setter
    def value(self, value):
        self._value = value

Теперь я экспериментирую с кодом ниже:

x = X(1)
x.value = x.value +1 
x.value

Это напечатает «Hello X!» дважды. Я ожидал, что это будет трижды.

x = X(1)
x.value +=1 
x.value

Это напечатает «Hello X!» дважды, столько же раз, сколько и при простом задании.

Есть ли способ проверить, действительно ли Python вычисляет x дважды с помощью простого присваивания?

🤔 А знаете ли вы, что...
Python поддерживает параллельное и асинхронное программирование с помощью модулей asyncio и multiprocessing.


69
5

Ответы:

# List example
x = [1, 2, 3]
y = x
x += [4]   # This modifies the original list `x` in-place.
print(x)   # Output: [1, 2, 3, 4]
print(y)   # Output: [1, 2, 3, 4] — `y` is still pointing to the same list.

# Reset for comparison
x = [1, 2, 3]
y = x
x = x + [4] # This creates a new list and assigns it to `x`.
print(x)   # Output: [1, 2, 3, 4]
print(y)   # Output: [1, 2, 3] — `y` is still pointing to the old list.

Может быть, во время разбора?

Похоже, это один и тот же байт-код:

>>> import dis
>>> def foo():
...     x = 0
...     x += 1
...
>>> def bar():
...     x = 0
...     x = x + 1
...
>>> dis.dis(foo)
  1           0 RESUME                   0

  2           2 LOAD_CONST               1 (0)
              4 STORE_FAST               0 (x)

  3           6 LOAD_FAST                0 (x)
              8 LOAD_CONST               2 (1)
             10 BINARY_OP               13 (+=)
             14 STORE_FAST               0 (x)
             16 RETURN_CONST             0 (None)
>>> dis.dis(bar)
  1           0 RESUME                   0

  2           2 LOAD_CONST               1 (0)
              4 STORE_FAST               0 (x)

  3           6 LOAD_FAST                0 (x)
              8 LOAD_CONST               2 (1)
             10 BINARY_OP                0 (+)
             14 STORE_FAST               0 (x)
             16 RETURN_CONST             0 (None)

Единственная разница в том,

10 BINARY_OP 13 (+=)

и

10 BINARY_OP 0 (+)

Я думаю, вам нужно посмотреть, как они реализованы.


Вы, кажется, неправильно поняли, что они имеют в виду под

x оценивается только один раз

в этом предложении x предполагается как выражение (которое можно вычислить)

В примере, который вы написали, выражение, которое вычисляется дважды, — это просто X, поэтому единственное, что «происходит дважды», — это разрешение имени.


Обратите внимание, что это все еще не эквивалентно, поскольку X = X + [1] вызывает функцию list.__add__, которая создает совершенно новый список, а затем устанавливает X в этот новый список,

тогда как X += [1] вызывает метод list.__iadd__, который изменяет X на месте (и, следовательно, во многих случаях он должен быть намного быстрее)


В документации также дается хорошее объяснение:

Оператор расширенного присваивания, например x += 1, можно переписать как x = x + 1, чтобы добиться аналогичного, но не совсем равного эффекта. В расширенной версии x оценивается только один раз. Кроме того, когда это возможно, фактическая операция выполняется на месте, а это означает, что вместо создания нового объекта и назначения его целевому объекту вместо этого модифицируется старый объект.

В отличие от обычных заданий, расширенные задания оценивают левую часть перед оценкой правой части. Например, a[i] += f(x) сначала ищет a[i], затем оценивает f(x) и выполняет сложение, и, наконец, записывает результат обратно в a[i].


Решено

Пример, где вы можете увидеть разницу:

d = {None: 0}
d[print('hello')] += 1

d = {None: 0}
d[print('world')] = d[print('world')] + 1

Результат (Попробуйте это онлайн!):

hello
world
world