C语言中void指针转换后如何释放内存？free如何追踪分配大小？

1. 转成void*再转回后，完全可以执行free操作 #

C语言里的void*是通用指针类型，malloc本身返回的就是void*。你把ints*转成void*存储或传递，再转回到ints*，只要这个指针始终指向malloc分配的内存起始地址，free就能正常工作。

看你提供的代码：dev_array_set里用malloc分配ints结构体，转成void*返回；dev_array_cleanup里把void*转回到ints*，然后free(i->data)和free(i)，这完全是合法操作，不会有任何问题。类型转换只是告诉编译器怎么解读这个地址，不会改变指针指向的内存本身，也不会破坏free需要的信息。

2. free追踪内存大小的原理 #

free能知道要释放多大内存，靠的是**malloc分配时额外存储的元数据**，不同系统（比如Linux、Windows）的具体实现会有差异，但核心逻辑一致：

• 当你调用malloc(size)时，malloc实际会分配比size更大的内存块，额外空间用来存储元数据：比如分配的总大小、内存块状态（已分配/空闲）、用于连接空闲块的链表指针等。
• 你拿到的指针，是跳过这些元数据后的用户内存起始地址。
• 当调用free(ptr)时，free会根据ptr找到前面（或后面，依实现而定）的元数据区域，读取里面记录的分配大小，然后把这块内存标记为空闲，再加入空闲内存链表，方便后续malloc复用。

举个简单例子：假设你malloc(100)，实际分配了116字节（100字节用户数据+16字节元数据），你拿到的ptr是元数据之后的地址。free的时候，把ptr减去16字节就能拿到元数据，读取里面的116字节大小，然后完成释放操作。

这些元数据是malloc/free内部管理的，用户不需要手动处理，只要保证传给free的指针是malloc/calloc/realloc返回的有效指针（或者NULL）就行。

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