>>> from env_helper import info; info()
页面更新时间: 2023-12-27 09:31:43
运行环境:
Linux发行版本: Debian GNU/Linux 12 (bookworm)
操作系统内核: Linux-6.1.0-16-amd64-x86_64-with-glibc2.36
Python版本: 3.11.2
5.1. 利用模块实现单例模式¶
在GOF的23种设计模式中,单例是最常使用的模式,通过单例模式可以保证系统中 一个类只有一个实例而且该实例易于被外界访问,从而方便对实例个数的控制并节约系统资 源。每当大家想要实现一个名为XxxMangcr的类时,往往意味着这是一个单例。在游戏编程 中尤是如此,比如一个名为World的单例管理着游戏中的所有资源,包括一个名为Sun的单 例,它给这个世界带来了光亮。
单例如此常见,所以有不少现代编程语言将其加到了语言特性中,如scala和falcon语 言都把object定义成关键同,并用其声明单例。如在scala中,—个单例如下:
- object Singleton{
def show = println("I am a singleton")
}
object定义了一个名为Singleton的单例,它满足单例的3个需求:一是只能有一个实 例;二是它必须自行创建这个实例;三是它必须自行向整个系统提供这个实例3对于第三点. 在任何地方都可以通过调用Singleton.show()来验证。在scala中,单例没有显式的初始化操 作.但并不是所有在语法层面支持单例模式的编程语言都如此,比如falcon就不一样。
object object_name [ from classl, class2 ... classN] property__l = expression property_2 = expression ... property_N = expression [init block]
- function method_l( [parameter_list])
[method_body]
end function method_N(lparameter_list])
[method_body]
end
end
上面是falcon语言的单例语法,[init block]能够让程序员手动控制单例的初始化代码。但是与scala和falcon相比,动态语言Python就没有那么方便了,主要原因是Python缺乏声 明私有构造函数的语法元素,实例又带有类型信息。比如以下方法是不可行的:
>>> class _Singleton(object):
>>> pass
>>> Singleton = _Singleton()
>>> del _Singleton # 试图刪除 class 定义
>>> another = Singleton.__class__() # 没用,绕过!
>>> print(type(another))
>>> #输出
<class '__main__._Singleton'>
可见虽然把Singleton的类定义删除了,但仍然有办法通过己有实例的__class__
属性生成一个新的实例。于是许多Pythonista把目光聚集到真正创建实例的方法__new__
上,并做起了文章。
>>> class Singleton(object):
>>> _instance = None
>>> def __new__(cls, *args, **kwargs):
>>> if not cls._instance:
>>> cls._instance = super (Singleton, cls).__new__(cls,*args,**kwargs)
>>> return cls._instance
>>> if __name__ =="__mian__":
>>> s1=Singleton()
>>> s2=Singleton()
>>> assert id(s1) == id(s2)
这个方法很好地解决了前面的问题,现在基本上可以保证“只能有一个实例”的要求了, 但是在并发情况下可能会发生意。为了解决这个问题,引入一个带锁的版本。
>>> import threading
>>>
>>> class Singleton(object):
>>> objs =()
>>> objs_locker = threading.Lock()
>>> def __new__(cls, *args, **kv):
>>> if cls in cls.objs:
>>> return cls.objs[cls]
>>> cls.objs_locker.acquire()
>>> try:
>>> if cls in cls.objs: ## double check locking
>>> return cls.objs[cls]
>>> cls.objs[cls] = object.__new__(cls)
>>> finally:
>>> cls.objs_locker.release()
利用经典的双检査锁机制,确保了在并发环境下Singleton的正确实现。但这个方案并 不完美,至少还有以下两个问题:
如果Singleton的子类重载了
__new__()
方法,会覆盖或者干扰Singleton类中__new__()
的执行,虽然这种情况出现的概率极小,但不可忽视。如果子类有
__init__()
方法,那么每次实例化该Singleton的时候,__init__()
都会被调 用到,这显然是不应该的,__init__()
只应该在创建实例的时候被调用一次。
这两个问题当然可以解决,比如通过文档告知其他程序员,子类化Singleton的时候,
请务必记得调用父类的__new__()
方法;而第二个问题也可以通过偷偷地替换掉方
法来确保它只调用一次。但是,为了实现一个单例,做大量的、水面之下的工作让人感觉相
当不Pythonic。这也引起了
Python社区的反思,有人开始重新审视Python的语法元素,发
现模块采用的其实是天然的单例的实现方式。
所有的变量都会绑定到模块。
模块只初始化一次。
import机制是线程安全的(保证了在并发状态下模块也只有一个实例)。
当我们想要实现一个游戏世界时,只需简单地创建World.py就可以了。
# World.py import Sun def run():
- while True:
Sun.rise() Sun.set()
然后在人口文件main.py里导入,并调用run()函数,看,是不是感觉这种方式最为 Pythonic 呢?
# main.py import World World.run()
Alex Martelli认为单例模式要求“实例的唯一性”本身是有问题的,实际更值得关注 的是实例的状态,只要所有的实例共享状态(可以狭义地理解为属性)、行为(可以狭 义地理解为方法)一致就可以了。在这一思想的进一步指导下,他提出了 Borg模式 在C#中又称为Monostate模式)。
>>> class Borg:
>>> _shared_state = {}
>>> def __init__(self):
>>> self.__diet__ = self.__shared_state
>>> # and whatever else you want in your class -- that's all!
通过Borg模式,可以创建任意数量的实例,但因为它们共享状态.从而保证了行为一致。虽然Alex的这个Borg模式仅适用于古典类(classic
clasess), Python 2.2版本 以后的新式类(new-style
classes)需要使用__getattr__
和__setattr__
方法来实现(代码略),但其可开阔眼界。