摘要：之所以想寫這個(gè)文章是因?yàn)榕銮煽吹骄W(wǎng)上一篇關(guān)于中類屬性及實(shí)例屬性區(qū)別的帖子。中屬性的獲取對于屬性，我們通常采用類屬性或?qū)嵗龑傩缘男问秸{(diào)用。最關(guān)鍵的地方在于兩點(diǎn)理解是如何利用查找樹的機(jī)制來模仿類及實(shí)例之間的關(guān)系理解動(dòng)態(tài)語言是可以動(dòng)態(tài)設(shè)置屬性的

標(biāo)題名字有點(diǎn)長。
之所以想寫這個(gè)文章是因?yàn)榕銮煽吹骄W(wǎng)上一篇關(guān)于Pyhon中類屬性及實(shí)例屬性區(qū)別的帖子。因?yàn)槲抑耙脖贿@個(gè)問題困擾過，今天碰巧看到了這篇帖子，發(fā)現(xiàn)帖子的作者只是描述了現(xiàn)象，然后對原因的解釋比較含糊，并沒有從根本上解釋這個(gè)問題，所以才想寫一下我對這個(gè)問題的想法。

性子急的可以直接跳到最后看總結(jié)。
原帖子地址

為了方便對比，我還是使用原帖子的例子：

class AAA():  
    aaa = 10  

# 情形1   
obj1 = AAA()  
obj2 = AAA()   
print obj1.aaa, obj2.aaa, AAA.aaa   

# 情形2  
obj1.aaa += 2  
print obj1.aaa, obj2.aaa, AAA.aaa   

# 情形3  
AAA.aaa += 3  
print obj1.aaa, obj2.aaa, AAA.aaa  

情形1的結(jié)果是：10 10 10；
情形2的結(jié)果是：12 10 10；
情形3的結(jié)果是：12 13 13；

首先為什么會有這個(gè)問題呢？
因?yàn)?b>aaa屬性被稱為類屬性，既然是類屬性，那么根據(jù)從C++/Java這種靜態(tài)語言使用的經(jīng)驗(yàn)來判斷，類屬性應(yīng)該是為其實(shí)例所共享的。很自然的，既然是共享關(guān)系，那么從類的層次改變aaa的值，自然其實(shí)例的aaa的值也要跟著變化了。
可是情形3的情況卻說明，上面的說法是錯(cuò)的。
錯(cuò)哪里呢？
要從Python的類屬性講起

Python屬于動(dòng)態(tài)強(qiáng)類型的語言，在很多地方和靜態(tài)語言不同，因此，不能把靜態(tài)語言的規(guī)則套到動(dòng)態(tài)語言上來。其中，類屬性就是一個(gè)很好的例子。
Python中屬性的獲取
對于屬性，我們通常采用類.屬性或實(shí)例.屬性的形式調(diào)用。
例如上例中的AAA.aaa屬于類.屬性形式，obj1.aaa屬于實(shí)例.屬性的形式
Python中屬性的設(shè)置
對于屬性的設(shè)置我們通常采用類.屬性 = 值或實(shí)例.屬性 = 值的形式
例如obj1.aaa = 3

上例中obj1.aaa += 2等價(jià)于obj1.aaa = obj1.aaa + 2，這句話包含了屬性獲取及屬性設(shè)置兩個(gè)操作

OK，重點(diǎn)來了，Python中屬性的獲取和設(shè)置的機(jī)制與靜態(tài)語言是不同的，正是背后機(jī)制的不同，導(dǎo)致了Python中類屬性不一定是為其實(shí)例所共享的

Python中屬性的獲取存在一個(gè)向上查找機(jī)制，還是拿上面的例子做說明：
Python中一切皆對象，AAA屬于類對象，obj1屬于實(shí)例對象，從對象的角度來看，AAA與obj1是兩個(gè)無關(guān)的對象，但是，Python通過下面的查找樹建立了類對象AAA與實(shí)例對象obj1、obj2之間的關(guān)系。
如圖所示

        AAA
         |
       -----
      |     |  
    obj1   obj2

(圖畫的不好，見諒 -.-!!!)
當(dāng)調(diào)用AAA.aaa時(shí)，直接從AAA獲取其屬性aaa。
但是情形1中調(diào)用obj1.aaa時(shí)，Python按照從obj1到AAA的順序由下到上查找屬性aaa。
值得注意的這時(shí)候obj1是沒有屬性aaa的，于是，Python到類AAA中去查找，成功找到，并顯示出來。所以，從現(xiàn)象上來看，AAA的屬性aaa確實(shí)是共享給其所有實(shí)例的，雖然這里只是從查找樹的形式模擬了其關(guān)系。

原帖子的作者也指出問題的關(guān)鍵在于情形2中obj1.aaa += 2。
為什么呢？
上面我們指出obj.aaa += 2包含了屬性獲取及屬性設(shè)置兩個(gè)操作。即obj1.aaa += 2等價(jià)于obj1.aaa = obj1.aaa + 2。
其中等式右側(cè)的obj.aaa屬于屬性獲取，其規(guī)則是按照上面提到的查找規(guī)則進(jìn)行，即，這時(shí)候，獲取到的是AAA的屬性aaa，所以等式左側(cè)的值為12。
第二個(gè)操作是屬性設(shè)置，即obj.aaa = 12。當(dāng)發(fā)生屬性設(shè)置的時(shí)候，obj1這個(gè)實(shí)例對象沒有屬性aaa，因此會為自身動(dòng)態(tài)添加一個(gè)屬性aaa。
由于從對象的角度，類對象和實(shí)例對象屬于兩個(gè)獨(dú)立的對象，所以，這個(gè)aaa屬性只屬于obj1，也就是說，這時(shí)候類對象AAA和實(shí)例對象aaa各自有一個(gè)屬性aaa。
那么，在情形3中，再次調(diào)用obj1.aaa時(shí)，按照屬性調(diào)用查找規(guī)則，這個(gè)時(shí)候獲取到的是實(shí)例對象obj1的屬性aaa，而不是類對象AAA的屬性aaa。

到這里就可以完滿解釋上面的問題：
1. Python中屬性的獲取是按照從下到上的順序來查找屬性；
2. Python中的類和實(shí)例是兩個(gè)完全獨(dú)立的對象；
3. Python中的屬性設(shè)置是針對對象本身進(jìn)行的；

因?yàn)?strong>Python中的屬性獲取是按照從下到上的順序來查找的，所以在情形1：

obj1 = AAA()  
obj2 = AAA()

實(shí)例對象obj1和obj2不存在屬性aaa。
證明如下：

>>> obj1.__dict__
{}
>>> obj2.__dict__
{}

所以，此時(shí)，obj1.aaa, obj2.aaa, AAA.aaa實(shí)質(zhì)上都是指AAA.aaa。因此，輸出同樣的結(jié)果。

因?yàn)?strong>Python中的類和實(shí)例是兩個(gè)完全獨(dú)立的對象且Python中的屬性設(shè)置是針對對象本身進(jìn)行的，所以在情形2：

obj1.aaa += 2  

實(shí)質(zhì)上是對實(shí)例對象obj1設(shè)置了屬性aaa，并賦值為12。證明如下：

>>> obj1.aaa = 3
>>> obj1.__dict__
{"aaa": 3}
>>> obj2.__dict__
{}

因此，再次調(diào)用obj1.aaa時(shí)，將獲取到的是實(shí)例對象obj1的屬性aaa，而不是類對象AAA的屬性aaa。而對于實(shí)例對象obj2，由于其并沒有屬性aaa，所以調(diào)用obj2.aaa時(shí)，獲取到的是AAA的屬性aaa。

順利理解了前兩個(gè)情形，那么第3個(gè)情形就很容易了，改變AAA的屬性aaa只能影響到類對象AAA和實(shí)例對象obj2，不能影響obj1，因?yàn)椋?b>obj1存在aaa，在獲取時(shí)，不會獲取到AAA的屬性。

問題本身很簡單，但是通過對這個(gè)問題的探討，可以深入理解Python作為一個(gè)動(dòng)態(tài)語言，在OOP的機(jī)制上與靜態(tài)語言的差別。
最關(guān)鍵的地方在于兩點(diǎn)：
1. 理解Python是如何利用查找樹的機(jī)制來模仿類及實(shí)例之間的關(guān)系；
2. 理解動(dòng)態(tài)語言是可以動(dòng)態(tài)設(shè)置屬性的