如何设计不可表示非法状态的对象池（Pool）数据结构？

手动维护对象列表和对象的pool属性很容易出现不一致的非法状态——比如对象明明在A池里，却把pool属性指向了B池，或者同一个对象同时出现在多个池里。要避免这种问题，最好用封装的方式统一管理池和对象的关联关系，不让外部直接修改底层的集合或对象的属性。

具体实现方案 #

我们可以定义两个类：一个是业务对象类（比如MyObject），一个是池类（Pool），通过封装的方法确保两者的关联始终一致：

class MyObject:
    def __init__(self):
        # 用私有变量存储所属池，外部不能直接修改
        self._pool = None

    @property
    def pool(self):
        # 只读属性，外部只能查看不能修改
        return self._pool

class Pool:
    def __init__(self):
        # 用私有集合存储对象，避免外部直接操作
        self._objects = set()

    @property
    def objects(self):
        # 返回集合的副本，防止外部修改内部状态
        return tuple(self._objects)

    def add(self, obj):
        if not isinstance(obj, MyObject):
            raise TypeError("只能添加MyObject类型的实例")
        
        # 如果对象已经属于其他池，先从原池移除
        if obj.pool is not None:
            obj.pool.remove(obj)
        
        # 双向绑定：把对象加入当前池，同时设置对象的所属池
        self._objects.add(obj)
        obj._pool = self

    def remove(self, obj):
        if obj in self._objects:
            # 双向解绑：从池里移除对象，同时清空对象的所属池
            self._objects.remove(obj)
            obj._pool = None

为什么这个方案能避免非法状态？ #

• 统一操作入口：所有添加、移除对象的操作都必须通过Pool.add()和Pool.remove()完成，确保双向关联同步更新。
• 禁止外部直接修改：对象的pool是只读属性，池的内部对象集合也是私有的，外部无法手动篡改关联关系。
• 自动处理冲突：如果尝试把已在某个池里的对象加到另一个池，add()方法会自动先从原池移除对象，保证每个对象永远只属于一个池。

使用示例 #

# 创建对象
obj1 = MyObject()
obj2 = MyObject()
obj3 = MyObject()

# 创建两个池
pool1 = Pool()
pool2 = Pool()

# 往pool1加对象
pool1.add(obj1)
pool1.add(obj3)
print(obj1.pool)  # 输出 <__main__.Pool object at 0x...>（即pool1）
print(pool1.objects)  # 输出 (obj1, obj3)

# 把obj3转到pool2
pool2.add(obj3)
print(obj3.pool)  # 输出pool2
print(pool1.objects)  # 输出 (obj1,)
print(pool2.objects)  # 输出 (obj3,)

# 从pool1移除obj1
pool1.remove(obj1)
print(obj1.pool)  # 输出None
print(pool1.objects)  # 输出 ()

内容的提问来源于stack exchange，提问作者Nico Schlömer