不變的集合

《集合(1)》中以set()來建立集合，這種方式所創(chuàng)立的集合都是可原處修改的集合，或者說是可變的，也可以說是unhashable

還有一種集合，不能在原處修改。這種集合的創(chuàng)建方法是用frozenset()，顧名思義，這是一個被凍結(jié)的集合，當(dāng)然是不能修改了，那么這種集合就是hashable類型——可哈希。

>>> f_set = frozenset("qiwsir")
>>> f_set
frozenset(['q', 'i', 's', 'r', 'w'])
>>> f_set.add("python")             #報錯，不能修改，則無此方法
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'frozenset' object has no attribute 'add'

>>> a_set = set("github")           #對比看一看，這是一個可以原處修改的set
>>> a_set
set(['b', 'g', 'i', 'h', 'u', 't'])
>>> a_set.add("python")
>>> a_set
set(['b', 'g', 'i', 'h', 'python', 'u', 't'])

集合運算

喚醒一下中學(xué)數(shù)學(xué)（準(zhǔn)確說是高中數(shù)學(xué)中的一點知識）中關(guān)于集合的一點知識，當(dāng)然，你如果是某個理工科的專業(yè)大學(xué)畢業(yè)，更應(yīng)該熟悉集合之間的關(guān)系。

元素與集合的關(guān)系

就一種關(guān)系，要么術(shù)語某個集合，要么不屬于。

>>> aset
set(['h', 'o', 'n', 'p', 't', 'y'])
>>> "a" in aset
False
>>> "h" in aset
True

集合與集合的關(guān)系

假設(shè)兩個集合A、B

• A是否等于B，即兩個集合的元素完全一樣

在交互模式下實驗

>>> a           
set(['q', 'i', 's', 'r', 'w'])
>>> b
set(['a', 'q', 'i', 'l', 'o'])
>>> a == b
False
>>> a != b
True

• A是否是B的子集，或者反過來，B是否是A的超集。即A的元素也都是B的元素，但是B的元素比A的元素數(shù)量多。

判斷集合A是否是集合B的子集，可以使用A<B，返回true則是子集，否則不是。另外，還可以使用函數(shù)A.issubset(B)判斷。

>>> a
set(['q', 'i', 's', 'r', 'w'])
>>> c
set(['q', 'i'])
>>> c<a     #c是a的子集
True
>>> c.issubset(a)   #或者用這種方法，判斷c是否是a的子集
True
>>> a.issuperset(c) #判斷a是否是c的超集
True

>>> b
set(['a', 'q', 'i', 'l', 'o'])
>>> a<b     #a不是b的子集
False
>>> a.issubset(b)   #或者這樣做
False

• A、B的并集，即A、B所有元素，如下圖所示

可以使用的符號是“|”，是一個半角狀態(tài)寫的豎線，輸入方法是在英文狀態(tài)下，按下"shift"加上右方括號右邊的那個鍵。找找吧。表達式是A | B.也可使用函數(shù)A.union(B)，得到的結(jié)果就是兩個集合并集，注意，這個結(jié)果是新生成的一個對象，不是將結(jié)合A擴充。

>>> a
set(['q', 'i', 's', 'r', 'w'])
>>> b
set(['a', 'q', 'i', 'l', 'o'])
>>> a | b                       #可以有兩種方式，結(jié)果一樣
set(['a', 'i', 'l', 'o', 'q', 's', 'r', 'w'])
>>> a.union(b)
set(['a', 'i', 'l', 'o', 'q', 's', 'r', 'w'])

• A、B的交集，即A、B所公有的元素，如下圖所示