Далее компилятор Python также обработает любую строку Python, хранящуюся как константу, при условии, что она достаточно похожа на действительный идентификатор. Функция фабрики объектов кода Python PyCode_New будет интернировать любой строковый объект, содержащий только буквы ASCII, цифры или символы подчеркивания, путем вызова intern_string_constants() . Эта функция выполняет рекурсию через структуры констант и для любого v найденного там строкового объекта выполняет:

 if (all_name_chars(v)) {
    PyObject *w = v;
    PyUnicode_InternInPlace(amp;v);
    if (w != v) {
        PyTuple_SET_ITEM(tuple, i, v);
        modified = 1;
    }
}
  

где all_name_chars() задокументировано как

 /* all_name_chars(s): true iff s matches [a-zA-Z0-9_]* */
  

Поскольку вы создали строки, соответствующие этому критерию, они интернированы, поэтому вы видите, что тот же идентификатор используется для 'so' строки во втором тесте: пока сохраняется ссылка на интернированную версию, интернирование приведет к тому, что будущие 'so' литералы будут повторно использовать интернированный строковый объект, даже в новых блоках кода ипривязан к разным идентификаторам. В вашем первом тесте вы не сохраняете ссылку на строку, поэтому интернированные строки отбрасываются, прежде чем их можно будет использовать повторно.

Кстати, ваше новое имя so = 'so' привязывает строку к имени, которое содержит те же символы. Другими словами, вы создаете глобальный файл, имя и значение которого равны. Поскольку Python использует как идентификаторы, так и уточняющие константы, в конечном итоге вы используете один и тот же объект string как для идентификатора, так и для его значения:

 >>> compile("so = 'so'", '<stdin>', 'single').co_names[0] is compile("so = 'so'", '<stdin>', 'single').co_consts[0]
True
  

Если вы создаете строки, которые либо не являются константами объекта кода, либо содержат символы за пределами диапазона букв цифр подчеркивания, вы увидите id() , что значение не используется повторно:

 >>> some_var = 'Look ma, spaces and punctuation!'
>>> some_other_var = 'Look ma, spaces and punctuation!'
>>> id(some_var)
4493058384
>>> id(some_other_var)
4493058456
>>> foo = 'Concatenating_'   'also_helps_if_long_enough'
>>> bar = 'Concatenating_'   'also_helps_if_long_enough'
>>> foo is bar
False
>>> foo == bar
True
  

Компилятор Python использует либо оптимизатор peephole (версии Python <3.7), либо более эффективный оптимизатор AST (версии 3.7 и новее) для предварительного вычисления (сворачивания) результатов простых выражений, включающих константы. Глазок ограничивает его вывод последовательностью длиной 20 или менее (чтобы предотвратить раздувание объектов кода и использование памяти), в то время как оптимизатор AST использует отдельное ограничение для строк из 4096 символов. Это означает, что объединение более коротких строк, состоящих только из символов имени, все равно может привести к интернированным строкам, если результирующая строка соответствует ограничениям оптимизатора вашей текущей версии Python.

Например, на Python 3.7 'foo' * 20 это приведет к созданию одной интернированной строки, потому что постоянное сворачивание превращает это в одно значение, в то время как на Python 3.6 или старше 'foo' * 6 будет свернуто только:

 >>> import dis, sys
>>> sys.version_info
sys.version_info(major=3, minor=7, micro=4, releaselevel='final', serial=0)
>>> dis.dis("'foo' * 20")
  1           0 LOAD_CONST               0 ('foofoofoofoofoofoofoofoofoofoofoofoofoofoofoofoofoofoofoofoo')
              2 RETURN_VALUE
  

и

 >>> dis.dis("'foo' * 6")
  1           0 LOAD_CONST               2 ('foofoofoofoofoofoo')
              2 RETURN_VALUE
>>> dis.dis("'foo' * 7")
  1           0 LOAD_CONST               0 ('foo')
              2 LOAD_CONST               1 (7)
              4 BINARY_MULTIPLY
              6 RETURN_VALUE