python中的单例模式、元类

时间:2021-12-31 13:42:50

单例模式

单例模式(Singleton Pattern)是一种常用的软件设计模式,该模式的主要目的是确保某一个类只有一个实例存在。当你希望在整个系统中,某个类只能出现一个实例时,单例对象就能派上用场。

比如,某个服务器程序的配置信息存放在一个文件中,客户端通过一个 AppConfig 的类来读取配置文件的信息。如果在程序运行期间,有很多地方都需要使用配置文件的内容,也就是说,很多地方都需要创建 AppConfig 对象的实例,这就导致系统中存在多个 AppConfig 的实例对象,而这样会严重浪费内存资源,尤其是在配置文件内容很多的情况下。事实上,类似 AppConfig 这样的类,我们希望在程序运行期间只存在一个实例对象。

单例模式的要点有三个;一是某个类只能有一个实例;二是它必须自行创建这个实例;三是它必须自行向整个系统提供这个实例。

在 Python 中,我们可以用多种方法来实现单例模式:

  • 使用模块
  • 使用 __new__
  • 使用装饰器(decorator)
  • 使用元类(metaclass)

使用模块

其实,Python 的模块就是天然的单例模式

因为模块在第一次导入时,会生成 .pyc 文件,当第二次导入时,就会直接加载 .pyc 文件,而不会再次执行模块代码。因此,我们只需把相关的函数和数据定义在一个模块中,就可以获得一个单例对象了。

如果我们真的想要一个单例类,可以考虑这样做:

#tests1.py
class MyClass(object):
def foo(self):
print('MyClass.foo')
my_class_obj=MyClass()

  将上面的代码保存在文件 tests1.py 中,然后这样使用:

from .tests1 import my_class_obj
my_class_obj.foo()

  

使用 __new__

为了使类只能出现一个实例,我们可以使用 __new__ 来控制实例的创建过程,代码如下:

class MyClass(object):
_instance = None
def __new__(cls, *args, **kwargs):
if not cls._instance:
cls._instance = super(MyClass, cls).__new__(cls, *args, **kwargs)
return cls._instance class HerClass(MyClass):
a = 1

在上面的代码中,我们将类的实例和一个类变量 _instance 关联起来,如果 cls._instance 为 None 则创建实例,否则直接返回 cls._instance

执行情况如下:

one = HerClass()
two = HerClass()
print(one == two) #True
print(one is two) #True
print(id(one), id(two)) #42818864 42818864

使用装饰器

我们知道,装饰器(decorator)可以动态地修改一个类或函数的功能。这里,我们也可以使用装饰器来装饰某个类,使其只能生成一个实例,代码如下:

 from functools import wraps

 def singleton(cls):
instances = {} @wraps(cls)
def getinstance(*args, **kwargs):
if cls not in instances:
instances[cls] = cls(*args, **kwargs)
return instances[cls] return getinstance @singleton
class MyClass(object):
a = 1

在上面,我们定义了一个装饰器 singleton,它返回了一个内部函数 getinstance,该函数会判断某个类是否在字典 instances 中,如果不存在,则会将 cls作为 key,cls(*args, **kw) 作为 value 存到 instances 中,否则,直接返回 instances[cls]

使用 metaclass

元类(metaclass)可以控制类的创建过程,它主要做三件事:

  • 拦截类的创建
  • 修改类的定义
  • 返回修改后的类

使用元类实现单例模式的代码如下:

class Singleton(type):
_instances = {} def __call__(cls, *args, **kwargs):
if cls not in cls._instances:
cls._instances[cls] = super(Singleton, cls).__call__(*args, **kwargs)
return cls._instances[cls] # Python2
# class MyClass(object):
# __metaclass__ = Singleton # Python3
class MyClass(metaclass=Singleton):
pass

优点: 

一、实例控制
单例模式会阻止其他对象实例化其自己的单例对象的副本,从而确保所有对象都访问唯一实例。
二、灵活性
因为类控制了实例化过程,所以类可以灵活更改实例化过程。

缺点:

一、开销
虽然数量很少,但如果每次对象请求引用时都要检查是否存在类的实例,将仍然需要一些开销。可以通过使用静态初始化解决此问题。
二、可能的开发混淆
使用单例对象(尤其在类库中定义的对象)时,开发人员必须记住自己不能使用 new关键字实例化对象。因为可能无法访问库源代码,因此应用程序开发人员可能会意外发现自己无法直接实例化此类。
三、对象生存期
不能解决删除单个对象的问题。在提供内存管理的语言中(例如基于.NET Framework的语言),只有单例类能够导致实例被取消分配,因为它包含对该实例的私有引用。在某些语言中(如 C++),其他类可以删除对象实例,但这样会导致单例类中出现悬浮引用。

补充:元类(metaclass)

类也是对象

只要你使用关键字class,Python解释器在执行的时候就会创建一个对象。

下面的代码段:

class MyClass(object):
pass

  

将在内存中创建一个对象,名字就是MyClass。这个对象(类)自身拥有创建对象(类实例)的能力,而这就是为什么它是一个类的原因。但是,它的本质仍然是一个对象,于是乎你可以对它做如下的操作:

1)   你可以将它赋值给一个变量

2)   你可以拷贝它

3)   你可以为它增加属性

4)   你可以将它作为函数参数进行传递

 class MyClass(object):
pass print(MyClass) # 你可以打印一个类,因为它其实也是一个对象
# <class '__main__.MyClass'> def echo(o):
print(o)
echo(MyClass) # 你可以将类做为参数传给函数
# <class '__main__.MyClass'> MyClass.new_attribute = 'foo' # 你可以为类增加属性
print(hasattr(MyClass,'new_attribute')) #True
print(MyClass.new_attribute) #foo MyClassMirror=MyClass    # 你可以将类赋值给一个变量
print(MyClassMirror())
# <__main__.MyClass object at 0x00000000028CDE10>

动态地创建类

因为类也是对象,你可以在运行时动态的创建它们,就像其他任何对象一样。首先,你可以在函数中创建类,使用class关键字即可。

def choose_class(name):
if name == 'foo':
class Foo(object):
pass
return Foo # 返回的是类,不是类的实例
else:
class Bar(object):
pass return Bar MyClass = choose_class('foo')
print(MyClass) # 函数返回的是类,不是类的实例
# <class '__main__.choose_class.<locals>.Foo'> print(MyClass()) # 你可以通过这个类创建类实例,也就是对象
# <__main__.choose_class.<locals>.Foo object at 0x00000000021E5CF8>

但这还不够动态。

由于类也是对象,所以它们必须是通过什么东西来生成的才对。

还记得内建函数type吗?这个古老但强大的函数能够让你知道一个对象的类型是什么,就像这样:

print(type(1))          #<class 'int'>
print(type('')) #<class 'str'>
print(type(MyClass)) #<class 'type'>
print(type(MyClass())) #<class '__main__.MyClass'>

type也能动态的创建类。

type可以像这样工作:

type(类名, 父类的元组(针对继承的情况,可以为空),包含属性的字典(名称和值))

比如下面的代码:

class MyShinyClass(object):
pass

可以手动像这样创建:

MyShinyClass=type('MyShinyClass',(),{})     # 返回一个类对象
print(MyShinyClass)
# <class '__main__.MyShinyClass'> print(MyShinyClass()) # 创建一个该类的实例
# <__main__.MyShinyClass object at 0x0000000002737D68>

type 接受一个字典来为类定义属性,因此:

class Foo(object):
bar=True

可以翻译为:

Foo = type('Foo', (), {'bar':True})

并且可以将Foo当成一个普通的类一样使用:

class Foo(object):
bar=True print(Foo) #<class '__main__.Foo'>
print(Foo.bar) #True
f=Foo()
print(f) #<__main__.Foo object at 0x0000000001F7DE10>
print(f.bar) #True

当然,你可以向这个类继承,所以,如下的代码:

class FooChild(Foo):
pass

就可以写成:

class Foo(object):
bar=True FooChild = type('FooChild', (Foo,),{})
print(FooChild)
# <class '__main__.FooChild'> print(FooChild.bar) # bar属性是由Foo继承而来
# True

最终你会希望为你的类增加方法。只需要定义一个有着恰当签名的函数并将其作为属性赋值就可以了。

class Foo(object):
bar=True def echo_bar(self):
print(self.bar) FooChild = type('FooChild', (Foo,), {'echo_bar': echo_bar})
print(hasattr(Foo, 'echo_bar')) #False
print(hasattr(FooChild, 'echo_bar')) #True
my_foo = FooChild()
my_foo.echo_bar() #True

你可以看到,在Python中,类也是对象,你可以动态的创建类。这就是当你使用关键字class时Python在幕后做的事情,而这就是通过元类来实现的。

到底什么是元类

元类就是用来创建类的“东西”。元类就是类的类。

函数type实际上是一个元类。type就是Python在背后用来创建所有类的元类。

type就是创建类对象的类。你可以通过检查__class__属性来看到这一点。

Python中所有的东西,注意,我是指所有的东西——都是对象。这包括整数、字符串、函数以及类。它们全部都是对象,而且它们都是从一个类创建而来。

 age = 35
print(age.__class__) #<class 'int'> name = 'bob'
print(name.__class__) #<class 'str'> def foo():
pass
print(foo.__class__) #<class 'function'> class Bar(object):
pass
b = Bar()
print(b.__class__) #<class '__main__.Bar'>

现在,对于任何一个__class__的__class__属性又是什么呢?

print(age.__class__.__class__)  #<class 'type'>
print(name.__class__.__class__) #<class 'type'>
print(foo.__class__.__class__) #<class 'type'>
print(b.__class__.__class__) #<class 'type'>

因此,元类就是创建类这种对象的东西。

type就是Python的内建元类,当然了,你也可以创建自己的元类。

__metaclass__属性

你可以在写一个类的时候为其添加__metaclass__属性。

class Foo(object):
__metaclass__ = something...

如果你这么做了,Python就会用元类来创建类Foo。小心点,这里面有些技巧。你首先写下class Foo(object),但是类对象Foo还没有在内存中创建。Python会在类的定义中寻找__metaclass__属性,如果找到了,Python就会用它来创建类Foo,如果没有找到,就会用内建的type来创建这个类。

当你写如下代码时 :

class Foo(Bar):
pass

Python做了如下的操作:

Foo中有__metaclass__这个属性吗?如果是,Python会在内存中通过__metaclass__创建一个名字为Foo的类对象(我说的是类对象,请紧跟我的思路)。如果Python没有找到__metaclass__,它会继续在Bar(父类)中寻找__metaclass__属性,并尝试做和前面同样的操作。如果Python在任何父类中都找不到__metaclass__,它就会在模块层次中去寻找__metaclass__,并尝试做同样的操作。如果还是找不到__metaclass__,Python就会用内置的type来创建这个类对象。

现在的问题就是,你可以在__metaclass__中放置些什么代码呢?

答案就是:可以创建一个类的东西。那么什么可以用来创建一个类呢?type,或者任何使用到type或者子类化type的东东都可以。

内容:自定义元类为什么要用metaclass类而不是函数?、究竟为什么要使用元类?

参考博文:http://blog.jobbole.com/21351/