这是一个很好的问题。

关键的见解是元组无法知道其中的对象是否是可变的。使对象可变的唯一方法是拥有一个更改其数据的方法。一般来说，没有办法检测到这一点。

另一个见解是 Python 的容器实际上并不包含任何东西。相反，它们保留对其他对象的引用。同样，Python
的变量与编译语言中的变量不同。相反，变量名称只是名称空间字典中的键，它们与相应的对象相关联。Ned Batchhelder
在他的博客文章中很好地解释了这一点。无论哪种方式，对象只知道它们的引用计数；他们不知道这些引用是什么（变量、容器或
Python 内部）。

这两个见解一起解释了您的谜团（为什么当基础列表更改时，“包含”列表的不可变元组似乎会发生变化）。事实上，元组并没有改变（它对其他对象的引用仍然与之前相同）。元组不能改变（因为它没有变异方法）。当列表更改时，元组没有收到更改通知（列表不知道它是由变量、元组还是另一个列表引用）。

当我们谈到这个话题时，这里有一些其他的想法可以帮助你完成关于元组是什么、它们如何工作以及它们的预期用途的心理模型：

1. 元组的特征较少在于它们的不变性，而更多地在于它们的预期目的。
   元组是 Python 在一个屋檐下收集异构信息的一种方式。例如， s = ('www.python.org', 80)
   将一个字符串和一个数字组合在一起，以便主机/端口对可以作为套接字、复合对象传递。从这个角度来看，拥有可变组件是完全合理的。

2. 不变性与另一个属性hashability 密切相关。但是哈希性并不是一个绝对的属性。如果元组的组件之一不可散列，则整个元组也不可散列。例如，t = ('red', [10, 20, 30])不可散列。

最后一个示例显示了一个包含字符串和列表的 2
元组。元组本身不是可变的（即它没有任何改变其内容的方法）。同样，字符串是不可变的，因为字符串没有任何变异方法。列表对象确实具有变异方法，因此可以更改。这表明可变性是对象类型的一个属性——有些对象具有可变方法，有些则没有。这不会因为对象是嵌套的而改变。

记住两件事。首先，不变性不是魔术——它只是缺少变异方法。其次，对象不知道哪些变量或容器引用了它们——它们只知道引用计数。

希望，这对你有用:-)