关于库函数free p是怎样知道要删除的内存空间大小

• 转载：请注明出处，http://blog.csdn.net/zonghongyan314/article/details/41786037谢谢！
• malloc、free函数

      malloc是C/C++中的动态内存分配的标准库函数，函数原型：void* malloc(unsigned int size)；其功能就是在堆上动态开辟内存空间，它的特点：

1、返回值为void*，（void* 类型可以强制转换为任何其它类型的指针，但反过来就不行了）；

2、需要具体指定要分配空间的大小size，且size类型为无符整型；

3、它允许申请0个长度的内存（这点很有意思吧）；

4、其申请到的空间逻辑上是连续的，物理上是离散的（链表形式管理）。

那么问题来了，在malloc分配了空间后，free释放空间的时候是怎么知道要free的空间的大小呢？

      其实真正的内存管理如申请/释放等，并不是由malloc或者free等库函数来负责的，而是交由操作系统去完成，它们只是维护一个空闲的链表式的内存块，理解这一点是问题的关键。例如：要申请sizeof(int)*100大小的内存空间，虽然返回的是内存大小是400，但实际上，操作系统分配时候，会多出一块用于存储内存大小的类似链表head头节点的东东，这个节点存储的是空间的首地址及分配内存的大小。当用户调用free函数的时候，其实它也不知道要释放内存的大小，它只需改变head头结点里的内存的大小就可以了，具体内存空间的释放由操作系统去完成。