python中的元类 metaclass

在python中，类(class)本身也是一个实例对象, 它的类型则是元类, 如果没有指明, 则自定义类的类型是type. 换言之, 我们所定义的普通类都是type的实例对象, 如果一个类继承了type, 那么这个类就是元类.

1. 什么是元类

一个类继承了type，那么这个类就是元类

class A(type):
pass

A就是一个元类，元类能用来做什么呢，应该说，绝大多数时候都用不上元类，如果你想使用元类，请确保你非常理解它

2. 元类的__new__方法

在定义一个类时，指定metaclass，就意味着这个类将有所指定的metaclass来创建

class MyMeta(type):
def __new__(cls, *args, **kwargs):
_class = super().__new__(cls, *args, **kwargs)
print(_class.__name__)
return _class
class Animal(metaclass=MyMeta):
def __init__(self, name):
self.name = name

类MyMeta是元类，在定义Animal这个类时，我指定了它的元类是MyMeta，因此，类Animal将由MyMeta的__new__方法来创建，换一个角度来描述，类Animal是类MyMeta的实例对象。在MyMeta的__new__方法中，我使用print语句输出了__class的__name__属性，理论分析告诉我们，这个值应该是Animal， 实际结果也确实是如此。

元类是用来创建普通类(自定义类)的，我们可以利用元类对普通类进行一些限制和要求，比如，我们可以要求所有继承Animal的类必须拥有run方法

from inspect import isfunction
class MyMeta(type):
def __new__(cls, *args, **kwargs):
_class = super().__new__(cls, *args, **kwargs)
if _class.__name__ != 'Animal':
if not hasattr(_class, 'run') or not isfunction(getattr(_class, 'run')):
raise Exception('类{name}没有实现run方法'.format(name=_class.__name__))
return _class
class Animal(metaclass=MyMeta):
def __init__(self, name):
self.name = name
class Cat(Animal):
def __init__(self, name):
super().__init__(name)
cat = Cat('加菲猫')
类Cat继承了Animal，那么它的元类也是MyMeta，在MyMeta的__new__方法里将创建出类Cat，创建以后会检查类Cat是否有run属性且该属性是一个函数，如果不满足条件则抛出异常。如果类Cat实现了run方法，那么上述代码将正常执行
class Cat(Animal):
def __init__(self, name):
super().__init__(name)
def run(self):
print('run')
cat = Cat('加菲猫')
cat.run()

我们务必想清楚一点，尽管我们在脚本里使用class定义了类Cat, 但并不是真正的创建了类Cat,我们所写的代码仅仅是一个定义，创建的过程使用元类MyMeta来完成的。

3. 元类的__init__方法

元类的__new__负责构建普通类，__init__负责对这个普通类进行初始化

from inspect import isfunction
class MyMeta(type):
def __new__(cls, *args, **kwargs):
_class = super().__new__(cls, *args, **kwargs)
if _class.__name__ != 'Animal':
if not hasattr(_class, 'run') or not isfunction(getattr(_class, 'run')):
raise Exception('类{name}没有实现run方法'.format(name=_class.__name__))
return _class
def __init__(self, *args, **kwargs):
super().__init__(*args, **kwargs)
self.home = 'earth'
class Animal(metaclass=MyMeta):
def __init__(self, name):
self.name = name
class Cat(Animal):
def __init__(self, name):
super().__init__(name)
def run(self):
print('run')
print(Animal.home)
print(Cat.home)

在元类的__init__方法里，self参数就是我们所创建的类，Animal和Cat， 我们为他们增加了类属性home， 重载__init__方法，可以更加优雅的实现单例模式

class Singleton(type):
def __init__(self, *args, **kwargs):
self.__instance = None
super().__init__(*args, **kwargs)
def __call__(self, *args, **kwargs):
if self.__instance is None:
self.__instance = super().__call__(*args, **kwargs)
return self.__instance
else:
return self.__instance
class FileLock(metaclass=Singleton):
pass
file_lock_1 = FileLock()
file_lock_2 = FileLock()
print(file_lock_1 is file_lock_2)
4. 元类的__call__方法
class MyMeta(type):
def __call__(self, *args, **kwargs):
raise TypeError('不能创建实例')
class FileTool(metaclass=MyMeta):
@staticmethod
def iter_folder(path):
print('遍历文件夹')
ft = FileTool()

上面的代码执行会报错

Traceback (most recent call last):
File "/Users/kwsy/kwsy/coolpython/demo.py", line 13, in 
ft = FileTool()
File "/Users/kwsy/kwsy/coolpython/demo.py", line 5, in __call__
raise TypeError('不能创建实例')
TypeError: 不能创建实例

类FileTool是元类MyMeta的一个示例，那么当执行FileTool()时，不正是在调用元类MyMeta的__call__方法么，而MyMeta的__call__方法偏偏抛出一个类型异常，这就导致FileTool不能被实例化，我们只能使用它的静态方法。

重载元类的__call__方法和类cat的__del__方法可以让我们控制类的实例化过程，我们可以控制一个类的实例数量

class MyMeta(type):
def __init__(self, *args, **kwargs):
self.instance_count = 0
super().__init__(*args, **kwargs)
def __call__(self, *args, **kwargs):
if self.instance_count < 3:
self.instance_count += 1
return type.__call__(self, *args, **kwargs)
else:
raise Exception("类{name}的实例总数超出限制".format(name=self.__name__))
def __del__(self):
self.instance_count -= 1
class Cat(metaclass=MyMeta):
def __init__(self, name):
self.name = name
def __del__(self):
Cat.instance_count -= 1
c1 = Cat('c1')
c2 = Cat('c2')
c3 = Cat('c3')
c4 = Cat('c4')

上面的代码中，当创c4的时候会抛出异常，因为实例的数量已经达到上限，想要创建c4，必须销毁一个之前创建的对象实例

c1 = Cat('c1')
c2 = Cat('c2')
c3 = Cat('c3')
del c1
c4 = Cat('c4')

销毁c1时，类属性instance_count执行了减一操作，因此可以创建出c4。

5.小结

以上示例代码，不保证有工程实践意义，纯粹是为了讲解元类的功能作用而认为制造出来的，坦率的讲，在实际工作中，几乎用不到元类，但我仍然秉持一个观点：面试造火箭，工作拧螺丝的意义在于，能造火箭的人必然牛逼，你可以放心的把拧螺丝的工作交给他，至于是否浪费资源，如果你不会造火箭，那么请慎言，这还不是你这个层次所能讨论的问题。