8

使用 Python C-API创建类属性(如此此处)的最佳方法是什么?静态属性也适用于我的情况。

跟进:

我试图实施牦牛的建议。我在其和槽中定义了一个P具有 get 和 set 函数的类。然后我在 key 下的类的类型对象的字典中添加了一个实例。然后tp_descr_gettp_descr_setPXp

x1 = X()
x2 = X()
x1.p = 10
print x1.p
print x2.p
print X.p
x2.p = 11
print x1.p
print x2.p
print X.p

有效(前 10 打印 3 次,然后 11 打印 3 次),但是

X.p = 12

失败并显示错误消息

TypeError: can't set attributes of built-in/extension type 'X'

我该如何解决?

跟进2:

如果我分配类型对象PyMem_Malloc并设置Py_TPFLAGS_HEAPTYPE标志,那么一切正常;我可以做到X.p = 12预期的结果。

如果我将类型对象保存在静态变量中并设置Py_TPFLAGS_HEAPTYPE标志,事情也会起作用,但这显然不是一个好主意。(但是为什么类型对象是在静态内存还是动态内存中很重要?我从来没有让它的引用计数下降到 0。)

只能在动态类型上设置属性的限制看起来很奇怪。这背后的原因是什么?

跟进3:

不,它不起作用。如果我使类型X动态,X.p = 12则不将属性设置X.p为十二;它实际上将对象绑定12到 name X.p。换句话说,事后,X.p不是整数值属性,而是整数。

跟进4:

这是扩展的 C++ 代码:

#include <python.h>
#include <exception>

class ErrorAlreadySet : public std::exception {};

// P type ------------------------------------------------------------------

struct P : PyObject
{
    PyObject* value;
};

PyObject* P_get(P* self, PyObject* /*obj*/, PyObject* /*type*/)
{
    Py_XINCREF(self->value);
    return self->value;
}

int P_set(P* self, PyObject* /*obj*/, PyObject* value)
{
    Py_XDECREF(self->value);
    self->value = value;
    Py_XINCREF(self->value);
    return 0;
}

struct P_Type : PyTypeObject
{
    P_Type()
    {
        memset(this, 0, sizeof(*this));
        ob_refcnt = 1;
        tp_name = "P";
        tp_basicsize = sizeof(P);
        tp_descr_get = (descrgetfunc)P_get;
        tp_descr_set = (descrsetfunc)P_set;
        tp_flags = Py_TPFLAGS_DEFAULT;

        if(PyType_Ready(this)) throw ErrorAlreadySet();
    }
};

PyTypeObject* P_type()
{
    static P_Type typeObj;
    return &typeObj;
}


// P singleton instance ----------------------------------------------------

P* createP()
{
    P* p_ = PyObject_New(P, P_type());
    p_->value = Py_None;
    Py_INCREF(p_->value);
    return p_;
}

P* p()
{
    static P* p_ = createP();
    Py_INCREF(p_);
    return p_;
}

PyObject* p_value()
{
    PyObject* p_ = p();
    PyObject* value = p()->value;
    Py_DECREF(p_);
    Py_INCREF(value);
    return value;
}


// X type ------------------------------------------------------------------

struct X : PyObject {};

void X_dealloc(PyObject* self)
{
    self->ob_type->tp_free(self);
}

struct X_Type : PyTypeObject
{
    X_Type()
    {
        memset(this, 0, sizeof(*this));
        ob_refcnt = 1;
        tp_name = "M.X";
        tp_basicsize = sizeof(X);
        tp_dealloc = (destructor)X_dealloc;
        tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HEAPTYPE;

        tp_dict = PyDict_New();
        PyObject* key = PyString_FromString("p");
        PyObject* value = p();
        PyDict_SetItem(tp_dict, key, value);
        Py_DECREF(key);
        Py_DECREF(value);

        if(PyType_Ready(this)) throw ErrorAlreadySet();
    }

    void* operator new(size_t n) { return PyMem_Malloc(n); }
    void operator delete(void* p) { PyMem_Free(p); }
};

PyTypeObject* X_type()
{
    static PyTypeObject* typeObj = new X_Type;
    return typeObj;
}

// module M ----------------------------------------------------------------

PyMethodDef methods[] = 
{
    {"p_value", (PyCFunction)p_value, METH_NOARGS, 0},
    {0, 0, 0, 0}
};

PyMODINIT_FUNC
initM(void)
{
    try {
        PyObject* m = Py_InitModule3("M", methods, 0);
        if(!m) return;
        PyModule_AddObject(m, "X", (PyObject*)X_type());
    }
    catch(const ErrorAlreadySet&) {}
}

这段代码定义了一个带有类属性的模块MX如前所述p。我还添加了一个函数p_value(),让您可以直接检查实现该属性的对象。

这是我用来测试扩展的脚本:

from M import X, p_value

x1 = X()
x2 = X()

x1.p = 1
print x1.p
print x2.p
print X.p
print p_value()
print

x2.p = 2
print x1.p
print x2.p
print X.p
print p_value()
print

X.p = 3
print x1.p
print x2.p
print X.p
print p_value()     # prints 2
print

x1.p = 4       # AttributeError: 'M.X' object attribute 'p' is read-only
4

4 回答 4

5

与这些 Python 解决方案类似,您必须classproperty在 C 中创建一个类型并实现其tp_descr_get功能(对应__get__于 Python)。

然后,如果要在 C 类型中使用它,则必须创建classproperty类型的实例并将其插入类型的字典(类型的tp_dict插槽)。

跟进:

似乎不可能设置 C 类型的属性。对于所有非堆类型(没有标志的类型) tp_setattro,元类 ( )的函数PyType_Type会引发“无法设置内置/扩展类型的属性”异常。Py_TPFLAGS_HEAPTYPE该标志是为动态类型设置的。你可以让你的类型动态化,但它可能比它更有价值。

这意味着我最初给出的解决方案允许您在 C 类型对象上创建一个属性(如:计算属性),但限制它是只读的。对于设置,您可以使用类/静态方法(METH_CLASS/METH_STATIC方法上的标志tp_methods)。

于 2012-04-16T00:06:03.107 回答
4

我将尝试传达我发现的关于使用类静态属性的本质。

我的(编辑)代码如下:

// Prepare your type object, which you will no doubt complete 
// by calling PyType_Ready, as here.
if (PyType_Ready(typeObj) < 0)
{
  return;
}

Py_INCREF(typeObj);
PyModule_AddObject(module, typeName, (PyObject*) typeObj);

// Now we add static members directly to the type's tp_dict, but 
// only *after* we've registered the type (above)
PyObject* dict = typeObj->tp_dict;

// You'll have your own wrapper / C values in the line below. This is just
// a pseudo-version of what I am (successfully) using.
PyObject* tmp = MyCreateWrapper(myStaticValueInC);

// Py_INCREF(tmp); // You may need this, depending on how line above works.

PyDict_SetItemString(dict, staticPropertyName, tmp);

Py_DECREF(tmp);

我相信所有要点都在这里,就构建代码以实现类属性的顺序而言。

于 2017-09-14T12:30:30.207 回答
1

如果这是一个可接受的解决方案,您可以在包含声明的模块上创建一个方法,该方法X只是根据需要设置类变量。例如:

PyObject* set_p_value(PyObject*, PyObject* o) {
  if(PyDict_SetItemString(X_type()->tp_dict, "p", o) == -1) return 0;
  Py_RETURN_NONE; 
}

PyMethodDef methods[] = 
{
    ...
    {"set_p_value", (PyCFunction)set_p_value, METH_O, 0},
    {0, 0, 0, 0}
};

一旦那里,比:

from M import X, set_p_value
set_p_value(3)
print X.p #should print '3'

应该按预期工作。一个缺点是,不幸的是,这个功能与类型对象本身无关。如果您提供了一个根据需要设置类变量的类方法,则可以部分避免这种情况。

于 2014-04-23T16:37:48.230 回答
0

tp_dict只要在您调用之前发生,您就可以添加项目PyType_Ready

int err;
PyObject *p;

if (!X_Type.tp_dict) {
    X_Type.tp_dict = PyDict_New();
    if (!X_Type.tp_dict)
        return NULL;
}

p = PyLong_FromLong(12);
if (!p)
    return NULL;

err = PyDict_SetItemString(X_Type.tp_dict, "p", p)
Py_DECREF(p);
if (err)
    return NULL;

m = PyModule_Create(&M_module);
if (!m)
    return NULL;

if (PyModule_AddType(m, &X_type));
    return NULL;

return m;
于 2022-01-12T23:26:31.727 回答