2

以下代码生成一个无限嵌套的 python 列表：

import yaml
i_list = yaml.load('&id1 [3, *id1]')
print i_list
# [3, [...]]
print i_list[1] is i_list
# True

我还可以明确提及 pythonlist类型：

i_list = yaml.load('&id1 !!python/list [3, *id1]')

而且我也可以在不解析yaml的情况下手动创建该结构，如下：

i_list = [3]
i_list.append(i_list)

但是，最后一个技巧不适用于元组或任何其他不可变对象。要创建一个无限嵌套的元组，我必须使用 CPython 的 API：

from ctypes import pythonapi
from _ctypes import PyObj_FromPtr

t = pythonapi.PyTuple_New(1)
pythonapi.PyTuple_SetItem(t, 0, t)
i_tup = PyObj_FromPtr(t)
print repr(i_tup)
# ((...),)

这种元组的预期 yaml 代码如下所示：

&id001 !!python/tuple
- *id001

确实，这是 的输出yaml.dump(i_tup)。但是，python 的 yaml 无法加载完全相同的代码：

yaml.load(yaml.dump(i_tup))

ConstructorError: found unconstructable recursive node
  in "<string>", line 1, column 1:
    &id001 !!python/tuple
    ^

有什么好的理由吗？您可以建议任何解决方法吗？

4

1 回答 1

4

元组根本不是为了做到这一点而设计的。没有办法通过普通的 Python API 构建这样的东西，即使是让你绕过它的C APIop->ob_refcnt != 1也有一个检查 ( )，如果你尝试，它很可能会破坏：

int
PyTuple_SetItem(register PyObject *op, register Py_ssize_t i, PyObject *newitem)
{
    register PyObject *olditem;
    register PyObject **p;
    if (!PyTuple_Check(op) || op->ob_refcnt != 1) {
        Py_XDECREF(newitem);
        PyErr_BadInternalCall();
        return -1;
    }
    ...
}

如果您在放入自引用后尝试使用此函数设置元组的任何项目，Python 会将自引用检测为错误。构建这样的元组需要您自担风险，如果您的代码因奇怪的原因而中断，请不要感到惊讶。

于 2014-07-16T11:56:02.297 回答