4

我知道__slots__它的用途和用途。

member但是,我还没有找到关于使用创建的描述符的底层机制如何__slots__工作的全面答案。

对象级值实际存储在哪里?

有没有办法在没有直接属性访问描述符的情况下更改这些值?
(例如,当上课时C__dict__可以做C.__dict__['key']而不是C.key

__slots__可以通过创建类似的类级描述符来“扩展”定义对象的不变性吗?作为对此的进一步阐述;可以使用元类构建不可变对象,但不__slots__通过手动创建所述描述符来明确定义吗?

4

1 回答 1

4

__slot__属性在对象的本机内存表示中分配,然后与访问的类关联的描述符实际上使用 CPython 中的本机 C 方法来设置和检索对归因于类实例上每个插槽属性的 Python 对象的引用作为C 结构。

插槽的描述符,在 Python 中显示,名称member_descriptor在此处定义:https ://github.com/python/cpython/blob/master/Objects/descrobject.c

无论如何,如果不使用 CType 与本机代码交互,您就无法从纯 Python 代码执行或增强这些描述符。

可以通过执行类似的操作来达到他们的类型

class A:
   __slots__ = "a"

member_descriptor = type(A.a)

然后可以假设可以从它继承,并编写可以执行检查等的派生 方法__get____set__方法 - 但不幸的是,它不能作为基类工作。

但是,可以编写其他并行的描述符,这些描述符又可以调用本机描述符来实际存储值。通过使用元类,可以在类创建时重命名传入的__slots__并将其访问包装在可以执行额外检查的自定义描述符中 - 甚至从“dir”中隐藏。

因此,对于一个简单的类型检查槽变体元类,可以有

class TypedSlot:
    def __init__(self, name, type_):
        self.name = name
        self.type = type_

    def __get__(self, instance, owner):
        if not instance:
            return self
        return getattr(instance, "_" + self.name)

    def __set__(self, instance, value):
        if not isinstance(value, self.type):
            raise TypeError
        setattr(instance, "_" + self.name, value)


class M(type):
    def __new__(metacls, name, bases, namespace):
        new_slots = []
        for key, type_ in namespace.get("__slots__", {}).items():
            namespace[key] = TypedSlot(key, type_)
            new_slots.append("_" + key)
        namespace["__slots__"] = new_slots
        return super().__new__(metacls, name, bases, namespace)

    def __dir__(cls):
        return [name for name in super().__dir__() if  name not in cls.__slots__]
于 2017-12-27T16:14:20.207 回答