Python中列表与元组的本质区别：同质与异构的应用场景

了解Python基础数据类型的读者通常知道，相较于列表，元组具有不可变性，即其内部元素无法被直接修改。除了列表使用中括号[]而元组使用小括号()这一语法差异外，二者似乎都用于存储一系列数据。那么，它们之间是否真的没有其他区别？

a = [1, 3, 5, 7, 'a']
b = (1, 3, 5, 7, 'b')
# 现在改变b中的值
b[2] = 4

TypeError                 Traceback (most recent call last)
<ipython-input-2-96f3d2fefb53> in <module>()
   4 
   5 # 现在改变b中数据的值
----> 6 b[2] = 4
TypeError: 'tuple' object does not support item assignment

表面上看，既然元组不可变，列表似乎可以完全替代它。然而，元组的存在有着更深层的设计含义：列表通常用于表示一组类型相同、价值等同的数据（即同质数据），而元组则用于存放类型不同、各自具有特定含义的数据（即异构数据）。简而言之，列表强调同质性，而元组强调异构性。

例如，假设有一本书包含若干批注，我们可以使用元组来记录每处批注的具体位置，格式为(position = (page, line))，并将其作为字典的键，表示该页行位置存在批注。同时，使用列表来动态管理这些位置集合，以便随时添加新位置。这符合列表可变的特点。反之，若尝试修改元组内的坐标值则毫无意义，因为这些坐标是固定存在的。

在Python标准库及模块中，可以找到大量体现这一设计思想的实例：

range(10)

range(0, 10)

例如，函数用于生成一系列有序且等价的数据，这些数据功能一致，因此使用列表（或类似序列）表示最为合适。再看下面的例子：

from datetime import datetime
datetime.now()

datetime.datetime(2017, 12, 17, 20, 23, 13, 578752)

当前时间信息适合使用元组来表示，因为元组中的每个元素具有不同的功能和价值，例如第一个元素代表年份，第二个代表月份等。

由此联想到之前提到的具名元组（namedtuple），它能够快速生成一个轻量级的类，可视为类的简化替代方案。这也完美契合了上述关于元组用于存储异构数据的观点。