指针不应该只包含类型和地址，还包括指向的内存大小。

SuperZ

指针就是一个变量，一般来说，应该和int类型大小相同。内核很多地方依赖这个假设。
指针的类型是在编译的时候确定的。比如int *p，是整数指针，void *p是无类型指针，它们大小是一样的。
指向内存的大小是由环境提供的。比如调用malloc分配内存，标准C库负责记录每次分配的位置和大小。

SuperZ

int i;
&i 是不是指针，是不是变量
pmerofc 发表于 2010-10-08 23:22

&i是引用，不是指针，它是常量，不是变量。
但是引用可以付值给一个指针变量。

SuperZ

这一句有点不太明白，

比如说：在free(p)的时候，怎么知道需要释放10*sizeof(int)这么大的空间呢？ ...
fender0107401 发表于 2010-10-09 01:13

这么说吧，调用free(p)的时候，标准C库运行时会首先根据指针的内容，查到指向内容的大小，然后再释放空间。
这里要注意，free释放的空间不一定还给OS，而是由C库运行时保留。
对于最简单的C库实现，可能就是在指针所指向内容的前面，放置内容的大小。
比如：char *p = 0x1004；那么，有可能在地址0x1000的位置，放置内存大小。这个位置不属于指针。