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

hobbs136

我记得在代码段有符号表来记录变量名称，类型，作用域，是否指针之类的，这些在编译时都是确定的，还有变量在内存中的地址都是固定的，一个地址就是一个右值，当把一个变量当作右值使用时，实际上要先找到这个变量所在位置，然后再找到这个变量所代表的值。似乎就是这样的。

做技术不刨根究底不行，没有耐心也不行.

chinesedragon

成口水了

狗气球

楼主要是能看汇编，看看就懂了……

fender0107401

楼主要是能看汇编，看看就懂了……
狗气球 发表于 2010-10-09 15:06

    指点一下了，怎么看呢？

fender0107401

我都想去看free的代码了。

fender0107401

只要是有什么问题我感觉有点不清楚，我就很难受。

思一克

楼主说的不对。
指针本身不包含对象大小信息。

malloc的对象大小信息是在对象的数据结构中的。而非在指针中。
该结构随着不同的malloc/free实现不同而不同。比如一种实现是分配的各个内存做成链表，而大小信息在p-N中。

狗气球

指点一下了，怎么看呢？
fender0107401 发表于 2010-10-09 15:12

    指针体现在汇编层次上也就是地址。
    然而这个地址是啥呢。如果说是字节的编号，从这个字节开始，到底有多大？
    这个就只有编译器知道了。你说它是指向什么结构的指针，它所对应的内存字节数就是sizeof 结构那么多。

    至于malloc/free是另一个问题。要看malloc/free的具体实现。

fender0107401

楼主说的不对。
指针本身不包含对象大小信息。

malloc的对象大小信息是在对象的数据结构中的。而非在指 ...
思一克 发表于 2010-10-09 15:15

也就是说指针只是保存了那个对象的地址，

而malloc/free只是根据指针里面保存的地址去操作那个对象对应的内存空间，那么对象的数据架构应该包含了对象所占用的内存大小之类的信息了。