python字符串不可变性保障驻留安全、哈希稳定、线程安全及内存布局刚性，避免并发问题与数据损坏，但使拼接操作产生o(n²)开销。
字符串驻留（interning）依赖不可变性才能安全生效
Python对短字符串（如标识符、常量）自动做驻留，让相同内容的"abc"只存一份内存，多个变量a和b通过is判断会返回True。但这只有在字符串不可变的前提下才成立——如果a[0] = "x"能成功，b的内容就意外变了。
驻留不是总发生：长字符串、运行时拼接出的字符串（如"a" + "b"）通常不驻留；显式调用sys.intern()可强制驻留，但传入对象必须是不可变的，否则会报TypeError。
- 小写字母+数字组成的短字符串（≤20字符）更可能被自动驻留
-
exec()或eval()中动态生成的字符串一般不驻留 - 使用
sys.intern()前，确保字符串已完全构造完毕，不能对中间结果驻留
哈希缓存需要字符串内容终身不变
字典键和集合元素要求哈希值稳定。hash("hello")在对象创建时就算好并缓存在对象头里（ob_shash字段），后续直接复用。如果字符串可变，s = "hello"放进字典后，再执行s.replace("h", "H")（假设允许原地改），哈希值就变了，但字典槽位不会跟着挪——查不到、删不掉、还可能破坏内部结构。
你可以验证：id(s)和hash(s)在任何“修改”操作前后都保持一致，但id()会变（说明对象已换），而hash()不变（因为新对象重新计算了同值哈希）。
- 所有作为字典键的字符串，其
hash()必须在生命周期内恒定 - 浮点数、元组等其他不可变类型也遵循同样规则，但字符串因高频使用，优化更激进
- 自定义类若想支持哈希，
__hash__必须与__eq__逻辑一致，且对象状态不能变
线程读取无需加锁，靠的是底层内存布局刚性
CPython中字符串对象内存结构固定：16字节对象头 + 4字节长度 + 连续字符数据区。这个布局一旦分配，地址、大小、内容全锁定。多线程同时读s[5]或len(s)，不会触发写竞争，也不用担心某线程正往里面塞字符导致越界。
对比list：它有容量（capacity）、长度（size）、指针三部分，插入时可能 realloc 内存，此时其他线程若正在遍历，就可能读到野指针或半更新状态。
- 不可变性让字符串天然满足“只读共享”条件，这是并发场景下的隐性性能红利
- 即使你没写多线程代码，第三方库（如
requests解析HTTP头）内部也受益于此 - 试图绕过不可变性（如用
ctypes强行写内存）会导致解释器崩溃或静默数据损坏
频繁拼接时的性能陷阱其实源于不可变性的物理代价
s += char在循环里看着简洁，但每次都在堆上分配新内存块、拷贝旧内容、再追加，时间复杂度趋近O(n²)。这不是设计缺陷，而是把“开销可见性”交给你判断：如果你真需要高频修改，就该主动转成list或io.StringIO。
例如处理日志行拼接："".join(lines)比result += line快一个数量级，因为join能预估总长、一次分配、顺序拷贝。
-
+=对两个短字符串（都 -
str.format()和f-string在编译期或运行期做批量构造，比多次+高效 - 真正要“编辑”文本（如语法高亮、模板渲染），用
bytearray或第三方库（regex）更合适
不可变性不是枷锁，是Python把内存安全、哈希稳定性、并发友好这些复杂问题，在字符串这一层就封死了边界。你不需要记住“为什么不能改”，只需要习惯“改完要赋新值”，以及在性能敏感路径上，主动选对工具。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
