Python ctypes实现C结构体映射及malloc/free内存操作方法

一、结构体定义写法校验 #

针对你提到的原有映射写法，正误判断如下：

• MODULE_LIST 结构体中的 names 指针成员定义为 ctypes.POINTER(MODULE_NAME) 是正确的，完全匹配C侧指针的内存布局要求。
• MODULE_NAME 结构体中的 name 数组成员定义为单个 c_byte 是错误的：C侧该成员是长度为 M_MODNAMELEN_A 的连续定长字符数组，必须显式指定数组长度，否则内存布局和C侧完全不匹配，会直接触发后续的内存越界错误。

正确的结构体定义代码如下：

import ctypes

# 对应C侧的基础类型别名与宏定义
M_MODNAMELEN_A = 256  # 替换为你项目中实际定义的宏值
CHAR8 = ctypes.c_char
UINT16 = ctypes.c_uint16

class MODULE_NAME(ctypes.Structure):
    _fields_ = [
        # 定长数组必须明确声明长度
        ("name", CHAR8 * M_MODNAMELEN_A)
    ]

class MODULE_LIST(ctypes.Structure):
    _fields_ = [
        ("countModules", UINT16),
        ("names", ctypes.POINTER(MODULE_NAME))
    ]

二、C侧malloc逻辑的ctypes等价实现 #

你之前尝试的 modList.names = (MODULE_NAME)count_modules.value * sizeof(MODULE_NAME()) 写法运行失败的核心原因是混淆了类型构造、数值计算的逻辑，不符合ctypes的语法规则。
要实现和C侧 malloc(count * sizeof(MODULE_NAME)) 完全等价的连续内存分配效果，正确实现步骤为：

1. 实例化 MODULE_LIST 对象，填入已经通过 GetCountModules 接口获取到的模块数量值
2. 构造对应长度的结构体数组类型，申请连续内存块
3. 将内存块的地址转换为对应指针类型，赋值给结构体的 names 成员
   示例代码：

mod_list = MODULE_LIST()
mod_list.countModules = count_modules  # 填入已获取的模块计数

# 申请连续的MODULE_NAME类型内存块，和C侧malloc的内存布局完全一致
names_buffer = (MODULE_NAME * mod_list.countModules)()
# 将内存块地址转换为指针类型，赋值给结构体成员
mod_list.names = ctypes.cast(names_buffer, ctypes.POINTER(MODULE_NAME))

注意：通过该方式申请的内存块会被Python的垃圾回收机制自动跟踪，不需要额外手动释放。

三、C侧free逻辑的ctypes等价实现 #

内存释放逻辑需要和分配逻辑严格匹配，不能跨接口混用：

• 如果是通过上述 (结构体类型 * 长度)() 方式申请的ctypes托管内存，不需要手动调用free，Python会在内存块没有引用时自动完成回收。
• 如果是通过调用C动态库导出的 malloc 接口手动申请的内存，必须调用同一个动态库导出的 free 接口完成释放，否则会触发内存堆损坏崩溃。
  示例代码：

# 先声明动态库的free接口参数与返回值类型
libc = ctypes.CDLL("libc.so.6")  # Windows平台替换为 "msvcrt.dll"
libc.free.argtypes = [ctypes.c_void_p]
libc.free.restype = None

# 释放通过C库malloc申请的内存
libc.free(mod_list.names)
# 释放后将成员置空，避免野指针
mod_list.names = None

注意：禁止用Python内置的del语句直接删除ctypes指针指向的内存，也不要跨内存管理接口释放内存（比如用libc的malloc申请的内存，不能用Windows系统接口的free释放）。

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