Почему этот простой код Python приводит к пустому словарю?

выходные данные будут пустым словарем, поскольку список, связанный с ключом «old_key», был перемещен в новый ключ «old_key», а затем исходный ключ «old_key» удален. Следовательно, после этих операций словарь dict1 будет пустым.

Метод pop вернет список, связанный с old_key, который будет передан методу расширения. Метод расширения снова установит old_key; поскольку к этому моменту он не будет существовать, он инициализирует его пустым списком и расширит этот пустой список списком, полученным из метода pop.

Код выполняется не так. Python обычно выполняется строго слева направо, поэтому порядок вычислений следующий:

• загрузить dict1
• получить товар 'old_key'
• получить атрибут extend
• загрузить dict1
• получить атрибут pop
• позвони pop
• позвони extend

Итак, extend работает с dict['old_key'], который впоследствии был извлечен из словаря, создавая циклический список, который затем сбрасывается на землю. По сути, ваш код делает это:

f = dict1['old_key'].extend
f(dict1.pop('old_key'))

Теперь вы понимаете, почему это не работает?

Вы можете подтвердить это, декомпилировав код через dis:

>>> dis.dis("dict1['old_key'].extend(dict1.pop('old_key'))")
  0           0 RESUME                   0

  1           2 LOAD_NAME                0 (dict1)
              4 LOAD_CONST               0 ('old_key')
              6 BINARY_SUBSCR
             10 LOAD_ATTR                3 (NULL|self + extend)
             30 LOAD_NAME                0 (dict1)
             32 LOAD_ATTR                5 (NULL|self + pop)
             52 LOAD_CONST               0 ('old_key')
             54 CALL                     1
             62 CALL                     1
             70 RETURN_VALUE

Объяснение @Aaron прояснило это, и я проверил это, написав пример кода, чтобы продемонстрировать, что операция расширения действительно завершена, как ожидалось, но на расширенный список не ссылается ни один ключ в словаре.

Чтобы проверить это, я написал собственный класс и функцию, которая не только расширяет список, но и возвращает расширенный список, а затем я использую присваивание в той же строке, чтобы переназначить расширенный список той же клавише. Я не смог бы сделать это с помощью метода list.extend без написания собственного класса, поскольку метод расширения возвращает None.

class MyList(list):
    def extend_and_return(self, iterable):
        self.extend(iterable)
        return self

def my_list_factory():
    return MyList()

dict2 = defaultdict(my_list_factory)

dict2['old_key'] = MyList([{'name': 'A'}])
dict2['old_key'] = dict2['old_key'].extend_and_return(dict2.pop('old_key'))
print(dict2)

TLDR; Я думаю, что это самый простой способ объяснить, что происходит:

temp1 = dict1["old_key"]
temp2 = dict1.pop("old_key")
temp1.extend(temp2)
print(dict1)

Просматривая байт-код и учитывая, что сейчас находится в стеке, можно расшифровать выходные данные dis.dis.

1: dict1["old_key"] сначала упрощается до значения, на которое он указывает, то есть изначально созданного списка:

2 LOAD_NAME                0 (dict1)
4 LOAD_CONST               0 ('old_key')
6 BINARY_SUBSCR

Стек интерпретатора на этом этапе будет выглядеть примерно так:

<builtins.list object at 0x1234>

2: Затем ищется атрибут extend:

10 LOAD_ATTR                3 (NULL|self + extend)

куча:

<built-in method extend of list object at 0x1234>

3: Загрузите диктовку и получите атрибут pop. а также загрузите значение «old_key».

30 LOAD_NAME                0 (dict1)
32 LOAD_ATTR                5 (NULL|self + pop)
52 LOAD_CONST               0 ('old_key')

<built-in method extend of list object at 0x1234>
<built-in method pop of collections.defaultdict object at 0x4321>
"old_key"

4: всплывающий вызов («old_key» удаляется из <dict at 4321> и возвращается <list at 1234>)

54 CALL                     1

<built-in method extend of list object at 0x1234>
<builtins.list object at 0x1234>

5: вызов расширения (<list at 1234> модифицируется на месте методом расширения (возвратное значение не помещается в стек))

62 CALL                     1