Python单例元类：字典与非字典实现的区别探讨

嘿，这两种写法的核心差异在于是否支持多个类共享同一元类时各自拥有独立单例，咱们结合代码实际来看就清楚了：

第一种实现（_instance 单变量）的问题 #

你写的第一个版本用了元类级别的 _instance 变量，看起来能实现单例，但存在一个致命缺陷：所有使用这个元类的子类会共享同一个实例。

举个实际例子：

class Singleton(type):
    _instance = None
    def __call__(cls, *args, **kwargs):
        if not cls._instance:
            cls._instance = super().__call__(*args, **kwargs)
        return cls._instance

class Foo(metaclass=Singleton):
    pass

class Bar(metaclass=Singleton):
    pass

foo = Foo()
bar = Bar()
print(foo is bar)  # 输出 True！这完全不符合预期

原因很简单：_instance 是元类 Singleton 本身的属性，所有基于这个元类创建的类（比如 Foo 和 Bar）访问的 cls._instance 其实是同一个变量，导致它们的实例被强行共享了——这显然不是我们想要的单例效果。

第二种实现（_instances 字典）的优势 #

用字典的版本就解决了这个问题：它把每个类（cls）作为键，对应的单例实例作为值存储，确保每个使用该元类的类都能拥有自己独立的单例。

同样的测试场景：

class Singleton(type):
    _instances = {}
    def __call__(cls, *args, **kwargs):
        if cls not in cls._instances:
            cls._instances[cls] = super().__call__(*args, **kwargs)
        return cls._instances[cls]

class Foo(metaclass=Singleton):
    pass

class Bar(metaclass=Singleton):
    pass

foo = Foo()
bar = Bar()
print(foo is bar)  # 输出 False，完美符合预期

这种写法更健壮，也是社区里更常用的单例元类实现方式，因为它支持在同一个项目中给多个类都加上单例特性，且互相不干扰。

额外补充：修复第一种实现的思路 #

如果你想让第一种写法也能支持多类独立单例，需要把 _instance 绑定到每个子类自己的命名空间里，而不是元类的属性上。比如可以改成这样：

class Singleton(type):
    def __call__(cls, *args, **kwargs):
        if not hasattr(cls, "_instance"):
            cls._instance = super().__call__(*args, **kwargs)
        return cls._instance

这样每个子类都会有自己的 _instance 属性，就不会出现共享实例的问题了。

内容的提问来源于stack exchange，提问作者Hugo Pareiros