集合类型简介

集合也是容器，其内元素都是无序、唯一、不可变的。它常用来做成员测试、移除重复数据、数据计算(比如交集、并集、差集)。

集合Set是dict的无value版。集合也使用大括号包围：

>>> s = {'a','b','c'}
>>> type(s)
<class 'set'>

Set中的元素和dict一样也是通过hash值来存储的：将元素hash()得到hash值，存储到Set中。所以，Set中的元素必须是不可变数据(例如列表不能放进集合中)。但集合自身是可变的，可以修改其中的元素。此外，python提供了另一种不可变的集合类型frozenset。

使用大括号或set()构造方法可以构造集合。

s = {'a','b','c'}
s = set("abc")
s = frozenset("abc")

需要注意的是，空的{}表示的字典，而不是集合，如果想要构造空集合，可以使用不带参数的set()来构造。

由于集合是通过hash值来存储的，没有位置索引。所以没法对集合进行单元素的检索，只能对集合进行修改操作，或迭代、遍历。

集合运算操作

>>> x = set("abcde")
>>> y = set("defgh")
>>> z = set("opq")
>>> x
{'b', 'e', 'c', 'a', 'd'}
>>> y
{'e', 'h', 'f', 'g', 'd'}

集合的运算有交集、并集、差集等操作。它们都有两种方式：操作符号版的，方法函数版的。符号版的都只能集合对集合，函数版的可以集合和其它比较，比如列表。

交集&或intersection()方法：

>>> x & y
{'e', 'd'}>>> x.intersection(y)
{'e', 'd'}>>> x & ["a", "c"]
Traceback (most recent call last):File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for &: 'set' and 'list'>>> x.intersection(["a","c"])
{'c', 'a'}

并集|或union()方法：

>>> x | y
{'b', 'e', 'h', 'c', 'a', 'f', 'g', 'd'}
>>> x | y | z>>> x.union(y)
>>> x.union(["x", "y"])
>>> x.union(["x", "y"], ["o", "p"])

差集-或difference()：

>>> x-y
{'c', 'a', 'b'}
>>> y-x
{'g', 'f', 'h'}>>> x.difference(y)
{'c', 'a', 'b'}
>>> y.difference(x)
{'g', 'f', 'h'}

还有XOR操作，取集合1、集合2中非交集的部分：

>>> x ^ y
{'f', 'a', 'h', 'b', 'c', 'g'}>>> x.symmetric_difference(y)

下面是测试两个集合之间是否是子集、真子集、超集的关系，s1和s2都是集合。同样，使用函数版的可以是其它类型。

# 子集
s1 <= s2
s1.issubset(s2)
s1.issubset(other_type)# 真子集
s1 < s2# 超集
s1 >= s2
s1.issuperset(s2)
s1.issuperset(other_type)# 真超集
s1 > s2

s1.isdisjoint(other_type)测试集合和另一个数据容器(如集合、列表)是否存在相交数据。即集合中的元素和其它容器是否有共同数据，如果有则返回False，否则返回True。

>>> x.isdisjoint(y)
False>>> x.isdisjoint(z)
True>>> x.isdisjoint(list("ab"))
False
>>> x.isdisjoint(list("opq"))
True

集合基本操作

集合类型(不是frozenset)是可变的容器类型，可以修改它(但没法检索它)、测试、迭代它，但不能检索它(除非迭代、遍历)。

s1.add(elem)添加元素到集合s1中。因为集合中的元素都唯一，所以添加已存在的元素不会有任何效果，但也不会报错。

s1.remove(elem)移除集合s1中的元素。

s1.pop()随机移除一个元素并返回这个元素。

s1.clear()清空集合。

s1.discard(elem)移除已存在的某个元素，如果不存在则无视(返回None)。

s1.copy()拷贝(浅拷贝)集合s1。

len(s1)返回集合s1长度。

i in s1测试元素i是否在集合s1中。

除了这些基本操作外，还有基于集合运算的修改操作。

取得并集后覆盖集合s1：

s1.update(*others)
s1 |= other |...

取得交集后覆盖集合s1：

s1.intersection_update(*others)
s1 &= other & ...

取得差集后覆盖集合s1：

s1.difference_update(*others)
s1 -= other |...

取得XOR运算后的结果覆盖集合s1：

s1.symmetric_difference_update(other)
s1 ^= other

集合解析

到目前为止，各种解析表达式的方式已经很清晰了。所以看示例即可：

>>> {x for x in 'abcde'}
{'b', 'e', 'c', 'a', 'd'}>>> {c*2 for c in "abcde"}
{'ee', 'bb', 'cc', 'dd', 'aa'}