CPython C/C++扩展问题：heapctype_dealloc从未被调用

1. 核心误解：返回的是类对象，不是实例
   当前init()函数调用PyType_FromSpec创建的是HeapCType类本身，而非该类的实例。变量x指向的是类对象，不是实例，自然不会触发实例的dealloc析构函数。

2. 类引用计数过高的原因
   PyType_FromSpec创建类时，Python内部会为类对象添加多个引用：比如类型对象自身的引用、内部临时引用等，导致初始引用计数为4。

方案1：修改init()返回类的实例 #

调整init()函数，先创建类，再实例化该类并返回实例：

static PyObject* init(PyObject *self, PyObject *args){
    PyObject *HeapCType = PyType_FromSpec(&HeapCType_spec);
    if (!HeapCType) {
        return NULL;
    }
    // 调用类的无参构造函数创建实例
    PyObject* instance = PyObject_CallObject(HeapCType, NULL);
    Py_DECREF(HeapCType); // 释放类对象的引用，避免内存泄漏
    return instance;
}

修改后，x将是HeapCType的实例，执行del x+gc.collect()时，heapctype_dealloc会正常触发。

方案2：将类注册到模块（更规范的生产级做法） #

在模块初始化时就创建类并注册到模块命名空间，避免每次调用init()都重复创建新类：

1. 修改模块初始化函数：

PyMODINIT_FUNC 
PyInit_MyModule(void) {
    PyObject* module = PyModule_Create(&mymod_module);
    if (!module) {
        return NULL;
    }
    // 创建HeapCType类
    PyObject *HeapCType = PyType_FromSpec(&HeapCType_spec);
    if (!HeapCType) {
        Py_DECREF(module);
        return NULL;
    }
    // 将类添加到模块的命名空间
    if (PyModule_AddObject(module, "HeapCType", HeapCType) < 0) {
        Py_DECREF(HeapCType);
        Py_DECREF(module);
        return NULL;
    }
    return module;
}

2. 可选：修改init()函数（或直接删除，让用户直接实例化类）：

static PyObject* init(PyObject *self, PyObject *args){
    // 从模块中获取已创建的HeapCType类
    PyObject* module_dict = PyModule_GetModuleDict(self);
    PyObject* HeapCType = PyDict_GetItemString(module_dict, "HeapCType");
    if (!HeapCType) {
        return NULL;
    }
    Py_INCREF(HeapCType); // 增加引用计数，避免被提前释放
    PyObject* instance = PyObject_CallObject(HeapCType, NULL);
    Py_DECREF(HeapCType); // 释放临时引用
    return instance;
}

此时Python端可以直接实例化类：

import MyModule
x = MyModule.HeapCType()  # 或者调用x = MyModule.init()
del x
gc.collect()

实例销毁时，heapctype_dealloc会正常执行。

额外注意事项 #

你的heapctype_dealloc函数实现是正确的，但需确保：

• 不要遗漏Py_DECREF(tp)：实例持有类型对象的一个引用，必须显式释放
• 使用PyObject_Free释放实例内存是正确的，因为堆类型实例由Python内存分配器管理

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