W jaki sposób Python robi ciąg magii?

Question

Byłem zdezorientowany dzisiaj przez porównanie łańcuchowe: wydaje się, że Python ponownie używa ciągów (co jest sensowną rzeczą, ponieważ są one niezmienne). Aby sprawdzić ten fakt, zrobiłem co następuje:

>>> a = 'xxx' 
>>> b = 'xxx' 
>>> a == b 
True 
>>> a is b 
True 
>>> id(a) 
140141339783816 
>>> id(b) 
140141339783816 
>>> c = 'x' * 3 
>>> id(c) 
140141339783816 
>>> d = ''.join(['x', 'x', 'x']) 
>>> id(d) 
140141339704576 

Co jest nieco zaskakujące. kilka pytań:

• Czy python sprawdza całą zawartość swojej tablicy łańcuchów podczas definiowania nowych ciągów?
• Czy istnieje ograniczenie rozmiaru łańcucha?
• Jak działa ten mechanizm (porównywanie skrótów łańcuchów?)
• Nie wydaje się jednak, aby był używany dla wszystkich rodzajów generowanych ciągów. Jaka jest tu zasada?

Answer 1

Ponieważ pytanie ma kilka upvotes (choć jest to nieco z dwóch egzemplarzach), odpowiem tutaj moje oryginalne pytania (dzięki komentarze powyżej):

1. Tak, sprawdza python całej zawartości tabeli wewnętrznej: ale tylko dla niektórych ciągów znaków, głównie tych, które mogą być również używane jako identyfikatory. Chodzi o to, że sztuczka przyśpieszenia używana do obsługi identyfikatorów przez interpreter python (kompilator?) Jest również przydatna do ogólnego zarządzania ciągami znaków. Proces ten nazywany jest interning
2. O ile wiem, nie ma ograniczeń co do wielkości strun, ale istnieją inne zasady struny do ponownego wykorzystania (głównie: muszą wyglądać identyfikatorów Pythona)
3. Tak, tabela jest normalnym pythonem, a łańcuchy mają skrót do wyszukiwania.
4. Służy tylko do literałów ciągłych i wyrażeń stałych. Zasadniczo dla wszystkich rzeczy, które interpreter Pythona może wywnioskować podczas fazy kompilacji.

Aby wyjaśnić ostatni punkt, poniższe fragmenty ocenia się we wszystkich przypadkach jako ciąg 'xxx', ale są one traktowane inaczej w odniesieniu do interningu.

Jest stałym wyrażeniem:

'x' * 3 

Ale to nie jest:

a = 'x' 
a * 3 # this is no constant expression, so no interning can be applied. 

I to nie jest wyrażenie:

''.join(['x', 'x', 'x']) # this is no expression (a function is called)