Строки, объединенные в Python

Question

Есть ли у Python пул из всех строк и являются ли они (строки) синглтонами?

Более точно, в следующем коде были созданы одна или две строки в памяти:

a = str(num) 
b = str(num) 

?

Answer 1

Строки неизменны в Python, так что реализация может принять решение о том, является ли интернировать (термин часто ассоциируется с C#, что некоторые строки хранятся в пуле) или нет.

В вашем примере вы динамически создаете строки. CPython делает не всегда Посмотрите в пул, чтобы определить, есть ли строка там - это также не имеет смысла, потому что вам сначала нужно зарезервировать память для создания строки, а затем сравнить ее с содержимым пула (неэффективно для длинных строк).

Но для строк длины 1, CPython выглядит в бассейн (см "stringobject.c"):

static PyStringObject *characters[UCHAR_MAX + 1]; 

... 

PyObject * 
PyString_FromStringAndSize(const char *str, Py_ssize_t size) 
{ 

... 

    if (size == 1 && str != NULL && 
    (op = characters[*str & UCHAR_MAX]) != NULL) 
    { 
     #ifdef COUNT_ALLOCS 
      one_strings++; 
     #endif 

     Py_INCREF(op); 
     return (PyObject *)op; 
    } 

... 

Итак:

a = str(num) 
b = str(num) 
print a is b # <-- this will print False in most cases (but try str(1) is str(1)) 

Но при использовании постоянных строк непосредственно в вашем коде, CPython использует один и тот же экземпляр строки:

a = "text" 
b = "text" 
print a is b # <-- this will print True 

Answer 2

Строки не являются интернированными в целом. В вашем примере будут созданы две строки (за исключением значений от 0 до 9). Чтобы проверить это, мы можем использовать оператор is, чтобы увидеть, если эти две строки и тот же объект:

>>> str(1056) is str(1056) 
False 

Answer 3

В общем, строки не интернировали в Python, но они иногда кажутся:

>>> str(5) is str(5) 
True 
>>> str(50) is str(50) 
False 

Это не редкость в Python, где общие объекты могут быть оптимизированы таким образом, что необычные, не являются:

>>> int(5+0) is int(5+0) 
True 
>>> int(50+0) is int(50+0) 
True 
>>> int(500+0) is int(500+0) 
False 

И имейте в виду, что все эти детали будут отличаться между реализациями Python и даже между версиями одной и той же реализации.