今天是Python專題第18篇文章，我們來繼續聊聊Python當中的元類。

在上上篇文章當中我們介紹了type元類的用法，在上一篇文章當中我們介紹了__new__函式與__init__函式的區別，以及它在一些設計模式當中的運用。這篇文章我們來看看metacalss與元類，以及__new__函式在元類當中的使用。

上一篇文章非常重要，是這一篇的基礎，如果錯過了上篇文章，推薦回顧一下：

Python面試常見問題，__init__是建構函式嗎？

metaclass

metaclass的英文直譯過來就是元類，這既是一個概念也可以認為是Python當中的一個關鍵字，不管怎麼理解，對它的核心含義並沒有什麼影響。我們可以不必糾結，就認為它是類的類的意思即可。在這個用法當中，支援我們自己定義一個類，使得它是後面某一個類的元類。

之前使用type動態建立類的時候，我們傳入了類名，和父類的tuple以及屬性的dict。在metaclass用法當中，其實核心相差不大，只是表現形式有所區別。我們來看一個例子即可：

classAddInfo(type):
def__new__(cls,name,bases,attr):
attr['info']='addbymetaclass'
returnsuper().__new__(cls,name,bases,attr)


classTest(metaclass=AddInfo):
pass

在這個例子當中，我們首先建立了一個類叫做AddInfo，這是我們定義的一個元類。由於我們希望通過它來實現元類的功能，所以我們需要它繼承type類

我們在這個類當中過載了__new__方法，我們在__new__方法當中傳入了四個引數。眼尖一點的小夥伴一定已經看出來了，這個函式的四個引數，正是我們呼叫type建立類的時候傳入的引數。其實我們呼叫type的方法來建立類的時候，就是呼叫的__new__這個函式完成的，這兩種寫法對應的邏輯是完全一樣的。

我們之後又建立了一個新的類叫做Test，這個當中沒有任何邏輯，直接pass。但是我們在建立類的時候指定了一個引數metaclass=AddInfo，這裡這個引數其實就是指定的這個類的元類

根據上面的邏輯，我們可以知道，Test類在建立的時候就被賦予了類屬性info。我們可以驗證一下：

拓展類功能

上面這段就是元類的基本用法了，其實本質上和我們之前介紹的type的動態類建立是一樣的，只不過展現的形式不同。那麼我們就有一個問題要問了，我們使用元類究竟能夠做什麼呢？

這裡有一個經典的例子，我們都知道Python原生的list是沒有'add'這個方法的。假設我們習慣了Java當中list的使用，習慣用add來為它新增元素。我們希望建立一個新的類，在這個新的類當中，我們可以通過add來新增函式。通過元類可以很方便地使用這一點。

classListMeta(type):
def__new__(cls,name,bases,attrs):
#在類屬性當中添加了add函式
#通過匿名函式對映到append函式上
attrs['add']=lambdaself,value:self.append(value)
returnsuper().__new__(cls,name,bases,attrs)


classMyList(list,metaclass=ListMeta):
pass

我們首先是定義了一個叫做ListMeta的元類，在這個元類當中我們給類添加了一個屬性叫做add。它只是包裝了一下而已，底層是通過append方法實現的。我們來實驗一下：

從結果來看也沒什麼問題，我們成功通過呼叫add方法往list當中插入了元素。這裡藏著一個小細節，我們在ListMeta當中為attrs添加了一個名叫'add'的屬性。這個屬性是新增給類的，而不是類初始化出來的例項的。所以如果我們print出MyList這個類當中的所有屬性，也能看到add的存在。

如果我們直接去通過MyList去訪問add方法的話會引起報錯，因為我們實現add這個方法邏輯的匿名函式限制了需要傳入兩個引數。第一個引數是例項的物件self，第二個引數才是新增的元素value。如果我們通過MyList的類屬性去訪問它的話會觸發一個錯誤，因為缺少了一個引數。因為類當中的屬性例項也是可以呼叫的，並且Python會在引數前面自動新增self這個引數，就剛好滿足了要求。

搞明白了這些我們只是解決了可能性問題，我們明白了元類可以實現這樣的操作，但沒有解決我們為什麼必須要使用元類呢？就拿剛才的例子來說，我們完全可以繼承list這個類，然後在其中再開發我們想要的方法，為什麼一定要使用元類呢？

就剛才這個場景來說，的確，我們是找不出任何理由的。完全沒有理由不使用繼承，而非要用元類。但是在有些二手手遊交易地圖場景和有些問題當中，我們必須要使用元類不可。就是涉及類屬性變更和類建立的時候，我們來看下面這個例子。

控制例項的建立

還記得我們上篇文章介紹的工廠設計模式的例子嗎？就是我們可以通過引數來得到不同類的例項。

我們建立了三種遊戲的類和一個工廠類，我們過載了工廠類的__new__函式。使得我們可以根據例項化時傳入的引數返回不同型別的例項。

classLast_of_us:
defplay(self):
print('theLastOfUsisreallyfunny')


classUncharted:
defplay(self):
print('theUnchartedisreallyfunny')


classPSGame:
defplay(self):
print('PShasmanygames')


classGameFactory:
games={'last_of_us':Last_of_us,'uncharted':Uncharted}
def__new__(cls,name):
ifnameincls.games:
returncls.games[name]()
else:
returnPSGame()


uncharted=GameFactory('uncharted')
last_of_us=GameFactory('last_of_us')

假設這個需求完成得很好順利上線了，但是運行了一段時間之後我們發現下游有的時候為了偷懶會不通過工廠類來建立例項，而是直接對需要的類做例項化。原本這沒有問題，但是現在產品想要在工廠類當中加上一些埋點，統計出訪問我們工廠的訪問量。所以我們需要限制這些遊戲類不能直接例項化，必須要通過工廠返回例項。

那麼這個功能我們怎麼實現呢？

我們分析一下問題就會發現，這一次不是需要我們在建立例項的時候做動態的新增，而是直接限制一些類不允許直接呼叫進行建立。限制的方法比較常用的一種就是丟擲異常，所以我們希望可以給這些類加上一個邏輯，例項化類的時候傳入一個引數，表明是否是通過工廠類進行的，如果不是，則丟擲異常。

這裡，我們需要用到另外一個預設函式，叫做__call__，它是允許將類例項當做函式呼叫。我們通過類名來例項化，其實也是一個呼叫邏輯。這個__call__的邏輯並不難寫，我們隨手就來：

def__call__(self,*args,**kwargs):
iflen(args)==orargs[]!='factory':
raiseTypeError("Can'tinstantiatedirectly")

但問題是這個__call__函式並不能直接加在類當中，因為它的應用範圍是例項，而不是類。而我們希望的是在建立例項的時候進行限制，而不是對呼叫例項的時候進行限制，所以這段邏輯只能通過元類實現。

我們直接建立類的時候就會觸發異常，因為不是通過工廠建立的。我們這裡判斷是否是工廠建立的邏輯簡化掉了，只是通過一個簡單的字串來進行的判斷，實際上會用一些更加複雜的邏輯，這不是本文的重點，我們瞭解即可。

整體執行的邏輯和我們設想的一樣，說明這樣實現是正確的。

總結

我們日常開發當中用到元類的情況非常罕見，一般都是在一些高階開發的場景當中。比如說開發一些框架或者是中介軟體，為了方便下游的使用，需要建立一些關於類屬性的動態邏輯，才會用到元類。對於普通開發者而言，如果你無法理解元類的含義以及應用，也沒有關係，使用頻率非常低。

另外，元類的概念和動態類、動態語言的概念有關，Python語言的動態特性很多正是通過這一點體現的。所以隨著我們對於Python動態特性理解的加深，理解元類也會變得越來越容易，同樣也會理解越來越深刻。如果我們把Python的元類和裝飾器做一個類比的話，會發現兩者的核心邏輯是很類似的。本質上都是在原有的邏輯之外封裝新的邏輯，只不過裝飾器針對的是一段邏輯，而元類針對的是類的屬性和建立過程。

仔細思考，我相信一定會有靈光乍現的感覺。

今天的文章就到這裡，如果喜歡本文，可以的話，請點個關注，給我一點鼓勵，也方便獲取更多文章。