快捷導(dǎo)航

實(shí)現(xiàn)python?namedtuple元類編程

更新時(shí)間：2023年07月25日 16:56:26 作者：weapon

這篇文章主要為大家介紹了實(shí)現(xiàn)python?namedtuple元類編程，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪

起步

namedtuple 是 collections 模塊下的一個(gè)功能，它是類工廠函數(shù)，能返回 tuple 子類，允許通過(guò)字段名向元組中取值，性能上接近于元組。

Person = namedtuple('Person', 'name age')
p = Person(name='Tony', age=18)
print(p.name)  # 'Tony'
print(p.age)   # 18

我們來(lái)試著自己動(dòng)手來(lái)實(shí)現(xiàn)這個(gè) namedtuple 功能。因?yàn)檫@個(gè)功能需求明確，沒(méi)什么模塊依賴，通過(guò)自己的實(shí)現(xiàn)后再去看看真正在 cpython 里的源碼就會(huì)比較清晰。

需求分析

對(duì)于代碼 Person = namedtuple('Person', 'name age') 讓它等價(jià)于:

class Person(tuple):
    def __new__(cls, name, age):
        return tuple.__new__(cls, (name, age))
    @property
    def name(self):
        return self[0]
    @property
    def age(self):
        return self[1]

那么有一種實(shí)現(xiàn)就是，拼湊成這樣的代碼塊字符串，再通過(guò) exec(code) 來(lái)創(chuàng)建類，舊版本(小于 3.7)的 namedtuple 在 cpython 中還真就是這么實(shí)現(xiàn)的。

PS: 重寫(xiě)了 __new__ 而不是 __init__ ，有一個(gè)原因是因?yàn)樵M一旦創(chuàng)建就不可變。為了能夠通過(guò)字段名取值，這里引入了 property 修飾符。

構(gòu)造類的字符串模板創(chuàng)建類

基于這個(gè)思路一個(gè)簡(jiǎn)陋的就能寫(xiě)了出來(lái)：

# 類名稱模板
_class_template = '''
class {typename}(tuple):
    def __new__(_cls, {arg_list}):
        return tuple.__new__(_cls, ({arg_list}))
{field_defs}
'''
# 屬性模板
_field_template = '''
    @property
    def {name}(self):
        return self[{index}]
'''
def namedtuple(typename, field_names):
    field_names = field_names.split()
    class_definition = _class_template.format(
        typename=typename,
        arg_list=arg_list = repr(field_names).replace("'", "")[1:-1],
        field_defs=''.join(_field_template.format(index=index, name=name)
                               for index, name in enumerate(field_names))
    )
    namespace = {}
    exec(class_definition, namespace)
    return namespace[typename]
# use demo
Person = namedtuple('Person', 'name age')
p = Person(name='Tony', age=18)
print(isinstance(p, tuple)) # True
print(p.name)               # Tony
print(p.age)                # 18

cpython 中的 namedtuple 便是基于這個(gè)思路實(shí)現(xiàn)的

源碼：https://github.com/python/cpy...，這個(gè)實(shí)現(xiàn)方式一直沿用到了 3.6.x 。

直到因?yàn)樾阅茉蚨M(jìn)行了改版，PR見(jiàn)：https://github.com/python/cpy...

基于元類編程

改進(jìn)后的 namedtuple 更能體現(xiàn)元類編程的思想，對(duì)性能也有明顯的改善。我用簡(jiǎn)化的代碼來(lái)展示改版后的 namedtuple 的工作內(nèi)容：

def _tuplegetter(index):
    @property
    def _getter(self):
        return self[index]
    return _getter

def namedtuple(typename, field_names):
    field_names = field_names.split()
    arg_list = repr(field_names).replace("'", "")[1:-1]
    s = f'def __new__(_cls, {arg_list}): return tuple.__new__(_cls, ({arg_list}))'
    namespace = {}
    exec(s, namespace)
    __new__ = namespace['__new__']
    class_namespace = {'__new__': __new__}
    for index, name in enumerate(field_names):
        class_namespace[name] = _tuplegetter(index)
    result = type(typename, (tuple,), class_namespace)
    return result

到此，一個(gè)簡(jiǎn)易版的 namedtuple 就結(jié)構(gòu)就完成了，改進(jìn)后的 exec 調(diào)用中只有一行代碼，性能會(huì)更好，舊版本的還會(huì)額外 import 其他依賴。然后就是構(gòu)造元類編程中類屬性和方法了。屬性的獲取是通過(guò)寫(xiě)的 _getter 來(lái)完成，而實(shí)際上源碼上會(huì)委托給 operator.itemgetter 函數(shù)。