首先,指针中是没有所在内存块大小的信息的,那么 free 怎么才能知道要释放的内存块有多大呢?
对于大多数内存分配器,malloc 申请的实际内存比你要求的空间要大几个字节,里面存储了额外的数据来记录这块内存有多大,一般就是直接存在指针左边。free 的时候,就会去读取指针地址减去一个常数之后的那块内存,来获取内存块的信息。因此如果你 free 一个不指向内存块开始处的指针,free 的时候就会把其他的数据错误解释成内存块的信息,(大概率)导致程序崩溃。
当然现代的内存分配器对于不同大小的内存申请,会采用不同的分配策略,但无论策略如何,去 free 一个不是 malloc 来的指针,都是非常危险的举动。
malloc是个内存管理package,并不是一个很底层的东西。 更加底层的看,一个程序有一大块内存,叫作heap。但是呢,heap的大小是有限的,用完了问操作系统要更多heap,是很耗费资源的,于是就需要内存管理系统来帮助整理heap,提高利用率。
这个时候就要在内存里面建立一个链表,把没有用的内存块,大小等等都储存起来,方便按照大小取用。随着内存块被malloc和被free,这些free block也会被打散和合并。之所以可以做到,就是因为默认每个内存块的首尾都记录有信息。
你任意在内存块里移动,free的时候程序自动往前读一个block,发现的却不是一个完整的tag(你自己放了什么就是什么),assertion failure已经是小事了,基本上会segfault,运气不好你会跳到别的内存块去,损坏一大片内存。