Python笔记｜不可变序列之元组

列表和字符串这两种数据类型都是序列 。随着 Python 语言的发展，其他的序列类型也被加入其中。比如元组。

元组是不可变序列，通常用于储存异构数据的多项集（例如由 enumerate() 内置函数所产生的二元组）。
元组也被用于需要同构数据的不可变序列的情况（例如允许存储到 set 或 dict 的实例）。
元组实现了所有一般序列的操作。

可以用多种方式构建元组：
class tuple([iterable])

• 使用一对圆括号来表示空元组: ()

• 使用一个后缀的逗号来表示单元组: a, 或 (a,)

• 使用以逗号分隔的多个项: a, b, c or (a, b, c)

• 使用内置的 tuple(): tuple() 或 tuple(iterable)

构造器将构造一个元组，其中的项与 iterable 中的项具有相同的值与顺序。 iterable可以是序列、支持迭代的容器或其他可迭代对象。 如果 iterable 已经是一个元组，会不加改变地将其返回。

例如，tuple(‘abc’) 返回 (‘a’, ‘b’, ‘c’) 而 tuple( [1, 2, 3] ) 返回 (1, 2, 3)。如果没有给出参数，构造器将创建一个空元组 ()。

决定生成元组的其实是逗号而不是圆括号。 圆括号是可选的，生成空元组或需要避免语法歧义的情况除外。 例如，f(a, b, c)
是在调用函数时附带三个参数，而 f((a, b, c)) 则是在调用函数时附带一个三元组。

元组由多个用逗号隔开的值组成，不允许为元组中的单个元素赋值，但可以创建含列表等可变对象的元组。

>>> t = 12345, 54321, 'hello!'
>>> t[0]
12345
>>> t
(12345, 54321, 'hello!')

# 元组可以嵌套
>>> u = t, (1, 2, 3, 4, 5)
>>> u
((12345, 54321, 'hello!'), (1, 2, 3, 4, 5))
# 元组是不可变的
>>>  t[0] = 88888
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: 'tuple' object does not support item assignment

# 但是它们可以包含可变对象
>>> v = ([1, 2, 3], [3, 2, 1])
>>> v
([1, 2, 3], [3, 2, 1])

虽然，元组与列表很像，但使用场景不同，用途也不同。元组是不可变的，一般可包含异质元素序列，通过解包或索引访问。列表是可变的，列表元素一般为同质类型，可迭代访问。

构造 0 个或 1 个元素的元组比较特殊。用一对空圆括号可以创建空元组，只有一个元素的元组可以通过在这个元素后添加逗号来构建（圆括号里只有一个值的话不够明确）。例如：

>>> empty = ()
>>> singleton = 'hello',    
>>> len(empty)
0
>>> len(singleton)
1
>>> singleton
('hello',)