Python 元類與類建構機制深度解析

前言：一切皆物件

在 Python 中，不僅實例是物件，類別本身也是物件。例如：

class Foo(object):
    def __init__(self):
        pass
obj = Foo()
print(type(obj))  # 
print(type(Foo))  # 

Foo 類別是由 type 類別建構而來。這引出了 Python 物件體系的兩大基石：<type 'object'> 與 <type 'type'>。

核心關係：type 與 object 的雞生蛋、蛋生雞

• type 的類型是 type 本身，父類別是 object。
• object 的類型是 type，無父類別。

二者相互依賴，共同構成 Python 物件系統的基礎。

類別建構的兩種等效方式

普通語法

class Foo(object):
    def func(self):
        print('hello')

動態建構：呼叫 type 建構函式

def func(self):
    print('hello')
Foo = type('Foo', (object,), {'func': func})

第一個參數為類別名，第二個為父類別元組，第三個為屬性字典。本質上皆是 type 實例化產生類別物件。

關鍵機制：__new__、__init__ 與 __metaclass__

• __new__：實例化類別時最先被呼叫，負責建立物件並回傳。
• __init__：在 __new__ 之後執行，負責初始化實例屬性。
• __metaclass__：指定類別由哪個元類別建構，可用於攔截類別建構過程。

類別建構與實例化的完整流程

1. 設定 __metaclass__ = MyType，指定 MyType 負責建構 Foo 類別。
2. MyType.__new__ 呼叫 type.__new__(cls, name, bases, attrs) 建立類別物件。
3. MyType.__init__ 初始化類別屬性、方法。
4. 子類別繼承時重複上述步驟。
5. 使用者呼叫 Foo() 實例化時，先尋找 __new__，再執行 __init__。

元類別的實戰應用與替代方案

元類別雖強大但複雜，簡單類別無需濫用。常見替代技術：

• Monkey patching（猴子補丁）
• Class decorators（類別裝飾器）

理解元類別有助於掌握框架級原始碼（如 Django ORM、SQLAlchemy）的核心設計。