前面已经提到，这种差异主要是语义上的:人们期望元组和列表表示不同的信息。但这不仅仅是一个指导方针;一些库实际上根据传递的内容表现不同。以NumPy为例(复制自另一篇文章，我要求更多的例子):

>>> import numpy as np
>>> a = np.arange(9).reshape(3,3)
>>> a
array([[0, 1, 2],
       [3, 4, 5],
       [6, 7, 8]])
>>> idx = (1,1)
>>> a[idx]
4
>>> idx = [1,1]
>>> a[idx]
array([[3, 4, 5],
       [3, 4, 5]])

关键是，虽然NumPy可能不是标准库的一部分，但它是一个主要的Python库，在NumPy中，列表和元组是完全不同的东西。

列表用于循环，元组用于结构。“%s %s”%元组。

列表通常是同构的，元组通常是异构的。

列表是可变长度的，元组是固定长度的。

PEP 484——类型提示说元组元素的类型可以单独类型化;这样你就可以说Tuple[str, int, float];但是一个带有list类型类的列表只能接受一个类型参数:list [str]，这暗示了两者的区别实际上是前者是异构的，而后者本质上是同构的。

此外，标准库通常使用tuple作为这些标准函数的返回值，而C将返回结构体。

从5.3的文档中引证的方向。元组和序列:

虽然元组可能看起来类似于列表，但它们通常用于不同的情况和不同的目的。元组是不可变的，通常包含不同的元素序列，可以通过解包(参见本节后面的内容)或索引(对于namedtuples，甚至可以通过属性访问)访问这些元素。列表是可变的，它们的元素通常是同构的，并通过遍历列表来访问。

列表是可变的，元组是不可变的。 考虑一下这个例子。

a = ["1", "2", "ra", "sa"]    #list
b = ("1", "2", "ra", "sa")    #tuple

现在改变list和tuple的索引值。

a[2] = 1000
print a     #output : ['1', '2', 1000, 'sa']
b[2] = 1000
print b     #output : TypeError: 'tuple' object does not support item assignment.

因此证明下面的代码是无效的元组，因为我们试图更新一个元组，这是不允许的。

列表是同构序列，而元组是异构数据结构。