Niezmienność ciągów w CPython naruszone

Question

Jest to bardziej "interesujące" zjawisko, które napotkałem w module Pythona, który próbuję zrozumieć, niż prośbę o pomoc (choć byłoby również przydatne rozwiązanie).

>>> import fuzzy 
>>> s = fuzzy.Soundex(4) 
>>> a = "apple" 
>>> b = a 
>>> sdx_a = s(a) 
>>> sdx_a 
'A140' 
>>> a 
'APPLE' 
>>> b 
'APPLE' 

Tak więc moduł fuzzy całkowicie narusza niezmienność ciągi w Pythonie. Czy jest to możliwe, ponieważ jest to rozszerzenie C? Czy stanowi to błąd w CPython, a także w module, a nawet w ryzyku bezpieczeństwa?

Czy ktoś może wymyślić sposób na obejście tego zachowania? Chciałbym móc zachować oryginalną wielkość liter w łańcuchu.

Cheers,

Alex

Answer 1

Ten błąd został rozwiązany back in February; zaktualizuj swoją wersję.

Aby odpowiedzieć na pytanie, tak, istnieje kilka sposobów modyfikacji typów niezmiennych na poziomie C. Implikacje związane z bezpieczeństwem są w tym momencie nieznane i być może nawet niepoznane.

Answer 2

nie mam moduł fuzzy dostępne przetestować teraz, ale dodaje tworzy ciąg z nową tożsamością:

>>> a = "hello" 
>>> b = ''.join(a) 
>>> b 
'hello' 
>>> id(a), id(b) 
(182894286096, 182894559280) 

Answer 3

Jeśli zmienia niezmienny ciąg, to błąd, możesz obejść to przez:

s(a.upper()) 

Answer 4

Nie wiem zbyt wiele na temat CPython, ale wygląda na to, że w fuzzy.c deklaruje char *cs = s, gdzie s jest wejściem do __call__. Następnie mutuje on cs[i], co oczywiście zmutuje s[i], a zatem oryginalny ciąg. Jest to z pewnością błąd w Fuzzy i powinieneś go złożyć na bitbucket. Zgodnie z odpowiedzią Grega, użycie ''.join(a) spowoduje utworzenie nowej kopii.