Python C API：如何创建带元类的堆类型并兼容多版本？

针对你提出的兼容Python 3.8+、解决Python<3.11动态类名内存泄漏的需求，以下是分场景的具体实现方案：

一、跨版本兼容的元类支持 #

由于PyType_FromSpec对元类的处理在3.12版本有重大变更，需要分版本实现：

1. Python 3.12+版本 #

直接使用PyType_FromSpec即可，该版本开始函数会自动从基类关联的元类创建新类，且会调用元类的tp_new方法：

// 假设已定义自定义元类CustomMeta和基类BaseClass
PyObject* create_class_312plus(const char* dynamic_name) {
    // 构造基类元组
    PyObject* bases = PyTuple_Pack(1, (PyObject*)&BaseClass);
    if (!bases) return NULL;

    PyType_Spec spec = {
        .name = dynamic_name,
        .basicsize = sizeof(YourClassObject),
        .flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE,
        .bases = bases
    };

    PyObject* new_class = (PyObject*)PyType_FromSpec(&spec);
    Py_DECREF(bases);
    return new_class;
}

注：3.12+的PyType_FromSpec会自动复制name字段，无需担心内存泄漏。

2. Python 3.8-3.11版本 #

此区间PyType_FromSpec会忽略元类，需手动模拟Python层面的类创建逻辑——直接调用元类的__call__方法：

PyObject* create_class_38to11(const char* dynamic_name) {
    // 1. 创建类名的PyUnicode对象（Python管理内存，避免泄漏）
    PyObject* class_name = PyUnicode_FromString(dynamic_name);
    if (!class_name) return NULL;

    // 2. 构造基类元组
    PyObject* bases = PyTuple_Pack(1, (PyObject*)&BaseClass);
    if (!bases) { Py_DECREF(class_name); return NULL; }

    // 3. 创建类命名空间字典
    PyObject* namespace = PyDict_New();
    if (!namespace) { Py_DECREF(class_name); Py_DECREF(bases); return NULL; }

    // 4. 调用元类生成类（这里用自定义元类CustomMeta）
    PyObject* args = PyTuple_Pack(3, class_name, bases, namespace);
    PyObject* new_class = PyObject_CallObject((PyObject*)&CustomMeta, args);

    // 清理临时对象
    Py_DECREF(args);
    Py_DECREF(class_name);
    Py_DECREF(bases);
    Py_DECREF(namespace);

    // 验证返回结果是类型对象
    if (new_class && !PyType_Check(new_class)) {
        Py_DECREF(new_class);
        PyErr_SetString(PyExc_TypeError, "元类未返回合法类型对象");
        return NULL;
    }
    return new_class;
}

二、解决Python<3.11动态类名内存泄漏问题 #

在Python 3.8-3.10中，PyType_FromSpec不会复制spec->name的缓冲区，直接赋值给tp_name且不负责释放，导致内存泄漏。最优解决方式是：

• 优先使用上述3.8-3.11的元类调用方案：类名通过PyUnicode_FromString创建，内存由Python自动管理，完全避免手动malloc/free的风险。
• 若必须使用PyType_FromSpec（无元类场景）：需保留PyUnicode对象的引用直到类型对象销毁，通过PyUnicode_AsUTF8获取其内部缓冲区作为spec->name，确保缓冲区在类型生命周期内有效。

完整跨版本兼容框架 #

通过版本宏实现自动适配：

#include <Python.h>

// 自定义元类和基类的定义省略...

PyObject* create_dynamic_class(const char* name_suffix) {
    char full_name[256];
    snprintf(full_name, sizeof(full_name), "DynamicClass_%s", name_suffix);

#if PY_VERSION_HEX >= 0x03120000
    return create_class_312plus(full_name);
#else
    return create_class_38to11(full_name);
#endif
}

内容的提问来源于stack exchange，提问作者oBrstisf8o