Python 的 reversed() 函数如何工作？

Question

根据 Python's docs，如果未实施 __reversed__，reversed() 使用 __getitem__ 和 __len__。

我遇到了一个奇怪的行为，但未能解释它：

>>> class A(dict):
...     pass
...
>>> reversed(A())
Traceback (most recent call last):
    ...
TypeError: 'A' object is not reversible

>>> class B(dict):
...     def __getitem__(self, key):
...         return super().__getitem__(key)
...     def __len__(self):
...         return super().__len__()
...
>>> reversed(B())
Traceback (most recent call last):
    ...
TypeError: 'B' object is not reversible

>>> class C:
...     def __getitem__(self, key):
...         return "item"
...     def __len__(self):
...         return 1
...
>>> reversed(C())
<reversed object at 0x00000000022BB9B0>

虽然在映射类型上调用 reversed() 没有任何意义，但它如何知道它是一个映射？它会在内部检查 isinstance(inst, dict) 吗？它会检查 collections.abc.Mapping 之类的任何通用映射吗？有什么方法可以在不实施 __reversed__ 的情况下覆盖此行为？

我认为这可能是由于 dict 实现了一个 __reversed__ 抛出一个 TypeError，或者一个等于 None 的 None 就像你如何禁用 [=24] =]，但 dict.__reversed__ 结果是空的，抛出了 AttributeError。

更新：

新的 Python 版本为词典实现了 __reversed__。映射协议（例如 collections.abc.Mapping）将 __reversed__ 设置为 None。

Answer 1

是的，检查 dict 输入 PySequence_Check used by reversed。

// cpython/Objects/enumobject.c
if (!PySequence_Check(seq)) {
    PyErr_Format(PyExc_TypeError,
                 "'%.200s' object is not reversible",
                 Py_TYPE(seq)->tp_name);
    return NULL;
}


// cpython/Objects/abstract.c

int
PySequence_Check(PyObject *s)
{
    if (PyDict_Check(s))
        return 0;
    return s != NULL && s->ob_type->tp_as_sequence &&
        s->ob_type->tp_as_sequence->sq_item != NULL;
}

Answer 2

此函数在 PEP-322 中通过 python 实现：

def reversed(x):
    if hasattr(x, 'keys'):
        raise ValueError("mappings do not support reverse iteration")
    i = len(x)
    while i > 0:
        i -= 1
        yield x[i]

Python 的 reversed() 函数如何工作？

How does Python's reversed() function work?

python

cpython

python-internals

更新：