Python字符串不可变是因其被设计为不可变序列类型，底层用固定内存块存储，任何修改操作都会生成新对象；这支持字符串驻留、哈希缓存和线程安全，但需避免循环拼接等低效操作。
Python 字符串不可变，是因为设计上把字符串定义为**不可变序列类型**，底层用固定内存块存储字符数据，一旦创建就不能修改内容——任何“修改”操作（比如拼接、替换、切片）都会生成一个新字符串对象，原对象保持不变。
内存和性能的权衡
字符串不可变让 Python 能安全地做很多优化：
- 相同内容的字符串可共享同一块内存（即字符串驻留，interning），节省空间；比如 a = "hello" 和 b = "hello" 很可能指向同一个对象
- 哈希值可在创建时计算并缓存，使字符串能作为字典键或集合元素——可变对象无法保证哈希稳定性
- 多线程环境下无需加锁，多个线程读取同一字符串不会引发竞态问题
和可变类型的直观对比
对比列表（list）就容易理解：
- s = "abc" → 执行 s[0] = "x" 会报 TypeError，因为不支持项赋值
- lst = ["a", "b", "c"] → lst[0] = "x" 是合法的，列表是可变的
- 想“改”字符串？实际是新建：s = s.replace("a", "x") 或 s = "x" + s[1:]，旧字符串若无引用会被垃圾回收
不可变带来的常见注意事项
写代码时容易踩的坑，本质都源于没意识到“每次操作都产生新对象”：
立即学习“Python免费学习笔记（深入）”；
- 循环中反复拼接字符串（如 s += char）效率低——每次 += 都新建对象，时间复杂度接近 O(n²)；应改用 list.append() 收集再 "".join()
- id(s) 在“修改”前后一定不同，可用它验证是否真产生了新对象
- 函数传参时，字符串是“按对象引用传递”，但由于不可变，函数内重新赋值不影响外部变量（这点常被误认为“传值”）
不是为了限制你，而是让字符串在各种场景下更可靠、更高效。需要频繁修改文本时，用 list 或 io.StringIO 更合适。
