深入解析Python中的集合類型操作符

1）標(biāo)準(zhǔn)類型操作符(所有的集合類型)
成員關(guān)系 (in, not in)
        就序列而言，Python中的in和not in操作符決定某個(gè)元素是否是一個(gè)集合中的成員。
集合等價(jià)/不等價(jià)
        等價(jià)/不等價(jià)被用于在相同或不同的集合之間做比較。兩個(gè)集合相等是指，對(duì)每個(gè)集合而言，當(dāng)且僅當(dāng)其中一個(gè)集合中的每個(gè)成員同時(shí)也是另一個(gè)集合中的成員。也可以說每個(gè)集合必須是另一個(gè)集合的一個(gè)子集， 即s <= t 和s>= t 的值均為真(True)，或(s <= t and s>= t) 的值為真(True)。集合等價(jià)/不等價(jià)與集合的類型或集合成員的順序無關(guān)，只與集合的元素有關(guān)。
子集/超集
        set用Python的比較操作符檢查某集合是否是其他集合的超集或子集?！靶∮凇狈?hào)（<、<=）用來判斷子集，“大于”符號(hào)（>、 >= ）用來判斷超集?！靶∮凇?和 “大于”意味著兩個(gè)集合在比較時(shí)不能相等。等于號(hào)允許非嚴(yán)格定義的子集和超集。
        set支持嚴(yán)格( < )子集和非嚴(yán)格 ( <= ) 子集，也支持嚴(yán)格( > )超集和非嚴(yán)格 ( >= )超集。只有當(dāng)?shù)谝粋€(gè)集合是第二個(gè)集合的嚴(yán)格子集時(shí)，我們才稱第一個(gè)集合“小于”第二個(gè)集合。同理，只有當(dāng)?shù)谝粋€(gè)集合是第二個(gè)集合的嚴(yán)格超集時(shí)，我們才稱第一個(gè)集合“大于”第二個(gè)集合。

    對(duì)象值的比較

任何相同類型的對(duì)象都可以比較，格式為:a == b，在python2.3之前類型不具有布爾值，返回值為1 0；2.3版本之后返回只為 True False

    對(duì)象身份的比較

obj1 is obj2  --obj 與obj2是同一個(gè)對(duì)象  return True False

obj1 is not obj2 --obj 與obj2是同一個(gè)對(duì)象  return True False

    布爾類型--python中的與、或、非

布爾類型的優(yōu)先級(jí)依次為：not

　　　　　　　　　　　  and

　　　　　　　　　　　　or

　　　　　　　　　　　　　　--實(shí)現(xiàn)功能為邏輯 非 與 或

    標(biāo)準(zhǔn)類型的內(nèi)建函數(shù)    
cmp(obj1, obj2)--1>2 return i>0
 
　　　　　　　　  1<2 return i<0
 
　　　　　　　　 　1==2 return i=0

repr(obj)/repr('obj')--返回一個(gè)對(duì)象的字符串表示

str(obj)--返回對(duì)象可讀性好的字符串表示

type(obj)--返回對(duì)象的類型

（2）集合類型操作符(所有的集合類型)
聯(lián)合( | )
        聯(lián)合(union)操作和集合的 OR(又稱可兼析取(inclusive disjunction))其實(shí)是等價(jià)的，兩個(gè)集合的聯(lián)合是一個(gè)新集合，該集合中的每個(gè)元素都至少是其中一個(gè)集合的成員，即屬于兩個(gè)集合其中之一的成員。聯(lián)合符號(hào)有一個(gè)等價(jià)的方法：union()。
交集( & )
       可以把交集操作比做集合的AND(或合取)操作。兩個(gè)集合的交集是一個(gè)新集合，該集合中的每個(gè)元素同時(shí)是兩個(gè)集合中的成員，即屬于兩個(gè)集合的成員。交集符號(hào)有一個(gè)等價(jià)的方法：intersection()。
差補(bǔ)/相對(duì)補(bǔ)集( – )
        兩個(gè)集合(s 和 t)的差補(bǔ)或相對(duì)補(bǔ)集是指一個(gè)集合 C，該集合中的元素，只屬于集合 s，而不屬于集合 t。差符號(hào)有一個(gè)等價(jià)的方法：difference()。
對(duì)稱差分( ^ )
       和其他的布爾集合操作相似，對(duì)稱差分是集合的XOR（又稱“異或” (exclusive disjunction)）。兩個(gè)集合(s 和 t)的對(duì)稱差分是指另外一個(gè)集合C，該集合中的元素，只能是屬于集合 s 或者集合t的成員，不能同時(shí)屬于兩個(gè)集合。對(duì)稱差分有一個(gè)等價(jià)的方法：symmetric_difference()。
混合集合類型操作
        如果左右兩個(gè)操作數(shù)的類型相同，既都是可變集合或不可變集合，則所產(chǎn)生的結(jié)果類型是相同的。但如果左右兩個(gè)操作數(shù)的類型不相同（左操作數(shù)是 set，右操作數(shù)是 frozenset，或相反情況），則所產(chǎn)生的結(jié)果類型與左操作數(shù)的類型相同 。

       注意：加號(hào)不是集合類型的運(yùn)算符。
    
>>> t | s
frozenset(['c', 'b', 'e', 'h', 'k', 'o', 'p', 's'])
>>> t ^ s
frozenset(['c', 'b', 'e', 'k', 'p'])
>>> s | t
set(['c', 'b', 'e', 'h', 'k', 'o', 'p', 's'])
>>> s ^ t
set(['p', 'b', 'e', 'k', 'c'])

（3）集合類型操作符(僅適用于可變集合)
(Union) Update ( |= )
       這個(gè)更新方法從已存在的集合中添加（可能多個(gè)）成員，此方法和update()等價(jià)。
    
>>> s = set('cheeseshop')
>>> s |= set('pypi')
>>> s
set(['c', 'e', 'i', 'h', 'o', 'p', 's', 'y'])

保留/交集更新( &= )
       保留（或交集更新）操作保留與其他集合的共有成員，此方法和 intersection_update()等價(jià)。
差更新 ( –= )
       對(duì)集合s和t進(jìn)行差更新操作s-=t，差更新操作會(huì)返回一個(gè)集合，該集合中的成員是集合s去除掉集合t中元素后剩余的元素。此方法
和difference_update()等價(jià)。
對(duì)稱差分更新( ^= )
        對(duì)集合s和t進(jìn)行對(duì)稱差分更新操作(s^=t)，對(duì)稱差分更新操作會(huì)返回一個(gè)集合，該集合中的成員僅是原集合s或僅是另一集合t中的成員。此方法和symmetric_difference_update()等價(jià)。