Выбор, сделанный Python 3.5, чтобы выбрать ключи при сравнении их в словаре

словари реализованы в виде хэш-таблиц и есть два важных понятия при добавлении ключей / значений здесь:хеширования и равенство.

чтобы вставить определенный ключ / значение, Python сначала вычисляет хэш значение ключа. Это хэш-значение используется для определения строки таблицы, где Python должен сначала попытаться поместить ключ/значение.

если строка хэш-таблицы пуста, отлично: новый ключ / значение может вставляться в словарь, заполняя пустую строку.

однако, если в этой строке уже что-то есть, Python должен проверить ключи на равенство. Если ключи равны (с помощью ==) тогда они считаются одним и тем же ключом, и Python просто нужно обновить соответствующее значение в этой строке.

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

---

когда вы пишите {True: 'yes', 1: 'No'}, вы говорите Python, чтобы создать новый словарь, а затем заполнить его с двумя парами ключ/значение. Они обрабатываются слева направо: True: 'yes' затем 1: 'No'.

у нас есть hash(True) равен 1. Ключ True входит в строку 1 в хэш-таблице и строку 'yes' - это его стоимость.

для следующей пары Python видит, что hash(1) также 1 и так смотрит на строку 1 таблицы. Там что-то уже есть, так что теперь Python проверяет ключи на равенство. У нас есть 1 == True так 1 считается тем же ключом, что и True и так его соответствующее значение изменяется на строку 'No'.

это приводит к словарю с одной записью:{True: 'No'}.

---

если вы хотите посмотреть на кишки CPython 3.5, чтобы увидеть, что создание словаря выглядит ниже уровня surface-Python, вот более подробно.

• Python-код {True: 'yes', 1: 'No'} разбирается в токены и отдаются компилятору. Учитывая синтаксис, Python знает, что словарь должен быть создан с использованием значений внутри фигурных скобок. Байтовый код для загрузки четырех значений в стек виртуальной машины (LOAD_CONST), а затем построить словарь (BUILD_MAP) стоит в очереди.

• четыре постоянных значения помещаются в верхнюю часть стека в том порядке, в котором они видны:
  
  

  'No'
  1
  'yes'
  True
  

• код BUILD_MAP затем вызывается с аргументом 2 (Python насчитал две пары ключ / значение). Этот опкод отвечает за создание словаря из элементов в стеке. Это выглядит как этой:
  
  

  TARGET(BUILD_MAP) {
      int i;
      PyObject *map = _PyDict_NewPresized((Py_ssize_t)oparg);
      if (map == NULL)
          goto error;
      for (i = oparg; i > 0; i--) {
          int err;
          PyObject *key = PEEK(2*i);
          PyObject *value = PEEK(2*i - 1);
          err = PyDict_SetItem(map, key, value);
          if (err != 0) {
              Py_DECREF(map);
              goto error;
          }
      }
  
      while (oparg--) {
          Py_DECREF(POP());
          Py_DECREF(POP());
      }
      PUSH(map);
      DISPATCH();
  }
  

три ключевых шага здесь заключаются в следующем:

1. пустая хэш-таблица создается с помощью _PyDict_NewPresized. Небольшие словари (всего несколько элементов, как 2 в этом случае) нужна таблица с восемью строками.

2. The for цикла, начиная с 2 (в данном случае) и отсчет до 0. PEEK(n) - это макрос, который указывает на N-й элемент в стеке. Поэтому на первой итерации цикла мы будем иметь

PyObject *key = PEEK(2*2);       /* item 4 down the stack */  
PyObject *value = PEEK(2*2 - 1); /* item 3 down the stack */

это означает, что *key будет True и *value будет 'yes' на первом цикле. На втором это будет 1 и 'No'.

1. PyDict_SetItem вызывается в каждом цикле поставить тег *key и *value в словарь. Это та же функция, которая вызывается при записи dictionary[key] = value. Он вычисляет хэш ключа, чтобы определить, где искать сначала в хэш-таблице, а затем, если необходимо, сравнить ключ с любым существующим ключом в этой строке (как описано выше).