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

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

关键的区别是元组是不可变的。这意味着一旦创建了元组，就不能更改其中的值。

因此，如果您需要更改值，请使用List。

元组的好处:

性能略有改善。 元组是不可变的，可以用作字典中的键。 如果你不能改变它，其他人也不能，也就是说你不需要担心任何API函数等改变你的元组没有被要求。

换句话说，TUPLES用于存储一组元素，其中组的内容/成员不会改变，而list用于存储一组元素，其中组的成员可以改变。

例如，如果我想在一个变量中存储我的网络IP，最好使用一个元组，因为IP是固定的。my_ip =('192.168.0.15'， 33,60)。但是，如果我想存储一组未来6个月我将访问的地方的IP，那么我应该使用LIST，因为我会不断更新和添加新的IP到组中。像这样

places_to_visit = [
    ('192.168.0.15', 33, 60), 
    ('192.168.0.22', 34, 60), 
    ('192.168.0.1', 34, 60), 
    ('192.168.0.2', 34, 60), 
    ('192.168.0.8', 34, 60), 
    ('192.168.0.11', 34, 60)
] 

List是可变的，tuples是不可变的。可变和不可变之间的主要区别是当您试图追加一个项时内存的使用。

当你创建一个变量时，一些固定的内存被分配给变量。如果它是一个列表，则分配的内存比实际使用的要多。例如，如果当前内存分配是100个字节，当你想追加第101个字节时，可能会再分配100个字节(在这种情况下总共是200个字节)。

然而，如果你知道你不经常添加新元素，那么你应该使用元组。Tuples精确地分配所需的内存大小，从而节省内存，特别是当您使用大块内存时。

正如人们已经提到的区别，我将写一下为什么是元组。

为什么首选元组?

小元组的分配优化 为了减少内存碎片和加快分配速度，Python重用旧元组。如果一个 元组不再需要，并且只有少于20个项而不是删除 Python会永久地将它移到一个空闲列表中。 一个空闲列表被分为20个组，每个组代表一个 长度为n的元组列表，从0到20。每组都可以储存 到2000个元组。第一个(零)组只包含一个元素和 表示空元组。

>>> a = (1,2,3)
>>> id(a)
4427578104
>>> del a
>>> b = (1,2,4)
>>> id(b)
4427578104

在上面的例子中，我们可以看到a和b有相同的id。这是 因为我们立即占用了一个被破坏的元组 空闲列表。 列表的分配优化 由于列表可以被修改，Python不会像元组那样使用相同的优化方法。然而, Python列表也有一个free列表，但它只用于空列表 对象。如果一个空列表被GC删除或收集，它可以被删除 以后重用。

>>> a = []
>>> id(a)
4465566792
>>> del a
>>> b = []
>>> id(b)
4465566792

来源:https://rushter.com/blog/python-lists-and-tuples/

为什么元组比列表更高效?- > https://stackoverflow.com/a/22140115

除了元组是不可变的之外，还有一个语义上的区别应该指导它们的使用。元组是异构数据结构(即，它们的条目有不同的含义)，而列表是同构序列。元组有结构，列表有顺序。

使用这种区别可以使代码更加明确和易于理解。

一个例子是用页码和行号对来引用书中的位置，例如:

my_location = (42, 11)  # page number, line number

然后，您可以使用它作为字典中的键来存储关于位置的注释。另一方面，列表可用于存储多个位置。自然，人们可能想要从列表中添加或删除位置，所以列表是可变的是有道理的。另一方面，从现有位置添加或删除项没有意义——因此元组是不可变的。

在某些情况下，您可能希望更改现有位置元组中的项，例如在遍历页面的行时。但是元组不可变性迫使您为每个新值创建一个新的位置元组。从表面上看，这似乎不太方便，但像这样使用不可变数据是值类型和函数式编程技术的基础，具有很大的优势。

关于这个问题有一些有趣的文章。“Python元组不仅仅是常量列表”或“理解Python中的元组与列表”。Python官方文档也提到了这一点

元组是不可变的，通常包含异构序列…

在像Haskell这样的静态类型语言中，元组中的值通常具有不同的类型，并且元组的长度必须是固定的。在列表中，所有值都具有相同的类型，长度也不是固定的。所以区别非常明显。

最后是Python中的namedtuple，这是有意义的，因为tuple已经被认为具有结构。这强调了元组是类和实例的轻量级替代品的观点。