我觉得 穆扬 说得非常好！比喻形象！论证也不错！赞一个！

至于 baidu 那个问题，我觉得思考一下应该没问题了。

穆扬这句“free只要通知系统这一块内存中的任意一个地址信息量已经绝对充分”我觉得没有错！
比如说，申请了一块内存空间，然后逐个给指向这块内存的指针赋值，指针是
不断移动，随便移动到哪里你都可以停下来不再赋值了。现在就是相当于：指针指向申请的那块内存哪个地方都有可能，但是你可以随时释放掉这块堆里的内存，并不是一定要把指针强制指向这块内存中的哪个地方才可以释放！

道理就是这样！以上个人见解！不对的地方请大家拍砖！

偶先拍!你对malloc机制了解不多

先让你看看一个free可能的或者基本的源程序，再想想，你是不是对
void free(void *ptr) {

struct mem_control_block *free;

free = ptr - sizeof(struct mem_control_block);
free->is_available = 1;
return;
}

原来是那样啊。baidu 拍得好啊！

只是为什么会有这句：free->is_available = 1; ？？这句干啥的？？

我们知道的是malloc函数分配内存并返回一个指针，比如
ptr1=(char *)malloc(80*sizeof(char));
ptr1指向一个80个字符的空间，但在这80个字符之前malloc函数还放置了一个struct mem_control_block 用来放置管理这80个字符大小的内存的参数。

struct mem_control_block {

int is_available;

int size;

};

当然，偶说的只是理想化模式而已，实际上，各种系统的内存管理都有区别，也更复杂。

#include<stdio.h>
#include<malloc.h>
int main()
{
char *ptr1,*ptr2;
ptr1=(char *)malloc(80*sizeof(char));
gets(ptr1);

ptr2=ptr1;
puts("0. ");
puts(ptr1);

ptr2++;
free(ptr2);
puts("1. ");
puts(ptr1);

ptr2--;
free(ptr2);
puts("2. ");
puts(ptr1);

}

自己去运行吧