Python中字符串和元组不可变是设计选择而非技术限制，旨在提升安全性、效率及支持哈希、缓存等机制；元组内可变对象仍可修改，因元组仅存储引用；CPython底层通过只读结构体实现约束。
Python中的不可变对象（如字符串和元组）一旦创建就不能被修改，这不是语言限制，而是设计选择——它让对象更安全、更高效，也支撑了哈希、缓存、内存复用等关键机制。
字符串为什么不可变？从内存和优化说起
字符串在Python中是不可变的序列类型。你不能通过索引赋值改变某个字符，比如 s[0] = 'X' 会直接报错 TypeError。这不是因为技术做不到，而是因为CPython对字符串做了深度优化：
- 字符串字面量（如 "hello"）在编译期就进入常量池，相同内容的字符串通常指向同一块内存（即“字符串驻留”），节省空间；
- 不可变性保证了字符串可被安全地用作字典键、集合元素，也支持快速哈希计算（哈希值只需算一次，后续复用）；
- 所有“修改”操作（如 s.upper()、s.replace()）其实都返回新字符串对象，原对象不变。
元组不可变 ≠ 里面所有东西都不可变
元组本身不可变，指的是它的长度和元素引用不可更改：你不能 append、remove 或给某个索引重新赋值。但要注意——如果元组里存的是可变对象（比如列表、字典），那个对象内部仍可变：
- t = ([1, 2], "abc") 是合法元组；
- t[0].append(3) 可以成功，此时 t 还是同一个元组，但第一个元素的内容变了；
- 这种“外层不可变、内层可变”的特性，源于元组存储的是对象引用，而非对象副本。
底层视角：C源码里的关键约束
在CPython实现中，字符串（PyUnicodeObject）和元组（PyTupleObject）结构体都没有提供公开的修改接口。例如：
立即学习“Python免费学习笔记（深入）”；
- 元组对象的 ob_item 是只读数组指针，所有构造函数（如 PyTuple_New）分配后就锁定；
- 字符串对象有 unicodeobject.c 中的 PyUnicode_Modify 内部函数，但仅用于解释器内部极少数场景（如格式化），不对外暴露；
- 试图绕过API直接写内存，不仅违反Python语义，还会破坏GC引用计数、导致崩溃或未定义行为。
什么时候该用不可变对象？实用建议
理解不可变性不是为了背规则，而是为了写出更健壮、更易推理的代码：
- 用字符串代替字节拼接做路径/SQL/HTML生成时，优先考虑 join() 而非 +=（避免频繁新建对象）；
- 函数参数传元组，能天然防止误改结构（比如表示坐标 (x, y) 或RGB值 (r, g, b)）；
- 自定义类中，若实例状态不应变化，可把关键字段存在元组或frozenset中，并在 __hash__ 和 __eq__ 中合理使用；
- 调试时怀疑对象被意外修改？先检查它是不是真的不可变类型，再看是否持有可变子对象。
