Na czym polega cecha niezmienności łańcuchów w Pythonie i dlaczego nie mogą być zmienione po utworzeniu?

W Pythonie łańcuchy znaków są obiektami niemodyfikowalnymi (immutable). Oznacza to, że po utworzeniu łańcucha jego zawartość nie może zostać zmieniona.

Przyczyny takiej cechy:

• Optymalizacja pamięci i wydajności. Niemodyfikowalność pozwala na internowanie łańcuchów — przechowywanie jednej kopii identycznych łańcuchów w pamięci, co oszczędza zasoby.
• Bezpieczeństwo i przewidywalność. Jeśli łańcuchy nie mogą być zmieniane, zapobiega to przypadkowym lub niepożądanym zmianom danych, szczególnie podczas przekazywania łańcuchów między funkcjami.

Na przykład, próbując bezpośrednio zmienić znak w łańcuchu:

s = "hello"
s[0] = 'H'  # Błąd TypeError: 'str' object does not support item assignment

Aby zmienić łańcuch, trzeba utworzyć nowy:

s = "hello"
s = 'H' + s[1:]  # Teraz s == "Hello"

W ten sposób, łańcuchy w Pythonie są zaimplementowane jako obiekty niemodyfikowalne, co zwiększa wydajność i bezpieczeństwo kodu.