python字符串不可变是设计特性而非bug，旨在保障字典键安全、内存共享、线程安全及哈希一致性；所有“修改”实为新建对象，应使用replace()、upper()等方法高效构造新串。
为什么修改字符串会报 TypeError: 'str' object does not support item assignment
因为 Python 的 str 类型在设计上是不可变（immutable）的——这不是 bug，是刻意为之。当你写 s[0] = 'X'，解释器直接拒绝，连尝试复制底层内存的机会都不给。
常见错误现象：想原地大写某个字符、拼接时反复用 +=、或误以为 list(s) 改完再 ''.join() 是“绕过”不可变性——其实只是换种方式新建对象。
- 不可变性让字符串能安全用作字典键（
{'name': 'alice'}中的'name'就靠这点） - 同一内容的字符串字面量可能共享内存（
a = "hello"; b = "hello"; a is b通常为True），可变就做不到 - 多线程下无需加锁读取字符串，省去同步开销
+= 拼接字符串真的慢吗？看 Python 版本
在 CPython 3.12 之前，s += 'x' 在循环里确实可能退化成 O(n²)，因为每次都要分配新字符串并拷贝旧内容；但从 3.12 开始，解释器对连续 += 做了优化，只要没有其他引用指向该字符串，就地扩展缓冲区（类似 list.append）。
- 兼容写法仍是
''.join(list_of_parts)，尤其当部件数量不确定时 - 如果部件是生成器（比如文件逐行读取），
''.join(line.strip() for line in f)不会提前展开全部内容，更省内存 - 用
f-string或%格式化时，底层仍会新建字符串对象，不可变性没被绕过，只是语法糖藏得深
想“改”字符串？先确认你真需要“改”
多数所谓“修改”，其实是构造新字符串。别纠结“怎么改”，转而问“怎么高效构造”。比如替换子串、大小写转换、去除空格——这些都有专用方法，且返回新对象：
立即学习“Python免费学习笔记（深入）”；
-
s.replace('a', 'b')返回新字符串，原s不变 -
s.upper()和s.strip()同理，不接受inplace=True参数（不像pandas.DataFrame） - 正则替换
re.sub(pattern, repl, s)也是纯函数式：输入旧串，输出新串
唯一例外是 bytearray（对应 bytes 的可变版本），但那是二进制场景，和文本处理无关。
不可变性对编码实践的真实影响
它逼你写更函数式的代码：少依赖状态变更，多用表达式组合。比如解析日志行：parts = line.strip().split('|'); user_id = parts[0].upper() —— 每一步都产生新对象，但逻辑清晰、无副作用。
- 调试时打印
id(s)会发现每次操作后值都不同，这是正常现象，不是内存泄漏 - 传字符串进函数不用担心被意外篡改，调用方变量始终安全
- 序列化（如
pickle）和哈希（hash(s)）依赖不可变性，一旦允许修改，哈希值就失效，字典会崩
真正容易被忽略的点：字符串不可变，但容器可以变。比如 lst = ['a', 'b']; lst[0] += 'x' 是合法的，因为变的是列表元素引用，不是字符串本身。
