元组和列表最核心的区别在于：元组是不可变对象，列表是可变对象。这意味着一旦创建，元组的元素不能被修改、添加或删除；而列表支持增删改查所有操作。这个“不可变性”不是语法限制，而是由Python对象模型决定的底层行为。
不可变 ≠ 不能包含可变对象
元组自身不可变，指的是它的元素个数和每个位置绑定的对象引用不能变。但它完全可以包含列表、字典等可变对象：
- t = ([1, 2], {"a": 3}) 是合法元组
- t[0].append(3) 可以执行——修改的是内部列表，元组指向该列表的引用没变
- t[0] = [4, 5] 会报错——这是试图替换元组中第0个位置的引用，违反不可变性
为什么设计不可变元组？
不可变性带来确定性和安全性，让元组天然适合做：
- 字典的键：因为哈希值稳定，{(1, 2): "point", (3, 4): "another"} 合法；而 {[1,2]: "bad"} 直接报错
- 函数参数默认值：避免可变默认参数陷阱（如 def f(x=[]) 的经典问题），用 def f(x=()) 更安全
- 多值返回与解包：a, b = 1, 2 实际返回元组 (1, 2)，解包过程依赖其结构稳定
如何判断一个对象是否真正不可变？
不能只看类型，要观察“是否能改变其逻辑内容而不新建对象”：
立即学习“Python免费学习笔记（深入）”；
- t = (1, 2); t += (3,) 看似“修改”，实则创建了新元组，原 t 已被重新赋值
- id(t) 在 += 前后通常不同，说明对象已更换
- 对比 l = [1,2]; l.append(3)：id(l) 不变，原地修改
实际使用建议
选元组还是列表，关键看语义意图：
- 表示“一组固定属性”，如坐标 (x, y)、RGB值 (r, g, b)、数据库记录字段 → 用元组
- 需要动态增减、排序、重复修改内容 → 用列表
- 不确定时，优先用列表；确认不会变且需作字典键/传参/解包时，显式转为元组：tuple(my_list)
