最近在搞Compiler的CodeGenerator实验,有一部分需要把Java程序翻译成C程序,比如:
我们应该怎么做?
在 StackOverflow 搜了一下,发现ANSI C根本没有直接办法通过指向内存的指针求得分配长度。但Windows下提供了计算指针指向的内存大小的方法[malloc.h]:
_msize : returns the size (in bytes) as an unsigned integer.
但由于操作系统策略的原因,实际分配到的大小可能会比指定的大一些.
在Linux下,指针往前偏移一个整形大小的单元也会记录实际分配的大小,我们来窥探一下那个单元的内容:
$gcc test.c
$./a.out
1 2 3 4 5 6 7 8 9 10
17 17 17 17 25 25 33 33 41 41
</div>
看来Linux的分配策略不能使得内存大小和元素个数一一对应,此法不可用。 后来发现在Linux下原来也有类似_msize的函数[malloc.h]:
但是malloc.h不属于标准C,我们还要继续寻找通用之法。经过大量查阅,终于发现了一种code trick,称作struct-hack. 前面提到过,在C语言中,int a[]是违法的,但是把它作为struct的最后一个成员却是可以的:
这是在C语言的后期加入的特性,目的就是为了实现flexible array, 这样每次给数组分配空间时,需要同步记录size大小。而求size的时候,直接取出来即可:
这个问题就说到这里。
</div>