python - 列表用于同类数据，元组用于异构数据……为什么？

Question

我觉得之前一定有人问过这个问题(可能不止一次)，所以可能会提前道歉，但我在任何地方都找不到(在这里或通过谷歌)。

无论如何，在解释 Python 中列表和元组的区别时，提到的第二件事是，在元组不可变之后，列表最适契约(Contract)质数据，而元组最适合异构数据。但似乎没有人想解释为什么会是这样。那么为什么会这样呢？

Answer 1

首先，该准则只是在某种程度上是正确的。您可以自由地将元组用于同质数据，将列表用于异质数据，在某些情况下这可能是一件好事。一个重要的情况是，如果您需要将集合设置为可哈希的，那么您可以将其用作字典键；在这种情况下，您必须使用元组，即使所有元素本质上都是同质的。

另请注意，同质/异质的区别实际上与数据的语义有关，而不仅仅是类型。姓名、职业和地址的序列可能被认为是异构的，即使这三者都可以表示为字符串。因此，考虑您将如何处理数据(即，您实际上是否会以相同的方式对待这些元素)比考虑它们是什么类型更为重要。

也就是说，我认为列表更适契约(Contract)质数据的原因之一是它们是可变的。如果你有一个包含几件同类事物的 list ，向 list 中添加另一个或拿走一个可能是有意义的；当您这样做时，您仍然会看到同类事物的列表。

相比之下，如果你有一组不同种类的东西，通常是因为你对它们有固定的结构或“模式”(例如，第一个是身份证号码，第二个是名字，第三个是地址，或其他)。在这种情况下，从集合中添加或删除元素是没有意义的，因为集合是一个集成的整体，每个元素都有指定的角色。如果不更改元素所代表的整个架构，就无法添加元素。

简而言之，同质集合的大小变化比异构集合更自然，因此可变类型对于同质集合更自然。