C語言的Struct Hack筆記
最近在搞Compiler的CodeGenerator實(shí)驗(yàn),有一部分需要把Java程序翻譯成C程序,比如:
int [] array;
array = new int[10];
System.out.println(array.length); //10
這段代碼翻譯成C很自然的想法是:
int * array; // int array[] not support in C
array = (int*)malloc(sizof(int)*10);
printf("%d\n",sizof(array)/sizeof(int)); // 1
但很可惜這樣是錯誤的,因?yàn)閙alloc操作在堆上分配空間,不一定是連續(xù)的,sizof(array)得到的是指針本身所占的單元,和sizeof(int)相等,無法通過sizof求得數(shù)組長度。它和下面還不一樣:
int array[10];
printf("%d\n",sizof(array)/sizeof(int)); // 10
這里array是數(shù)組,是指向整個連續(xù)存儲空間的常量,所以sizeof對其操作求得的是整個區(qū)域的長度。但是當(dāng)數(shù)組名作為函數(shù)的參數(shù)傳遞時,數(shù)組就退化為指針,又回到了剛才問題。
我們應(yīng)該怎么做?
在 StackOverflow 搜了一下,發(fā)現(xiàn)ANSI C根本沒有直接辦法通過指向內(nèi)存的指針求得分配長度。但Windows下提供了計(jì)算指針指向的內(nèi)存大小的方法[malloc.h]:
_msize : returns the size (in bytes) as an unsigned integer.
size_t _msize(
void *memblock
);
但由于操作系統(tǒng)策略的原因,實(shí)際分配到的大小可能會比指定的大一些.
在Linux下,指針往前偏移一個整形大小的單元也會記錄實(shí)際分配的大小,我們來窺探一下那個單元的內(nèi)容:
//test.c
int main(){
int * p;
int i;
int size;
for (i=1;i<11;i++)
printf("%d ",i);
printf("\n");
for (i=0;i<10;i++){
p = (int*)malloc(sizeof(int)*i);
size = *(int*)((char*)p-sizeof(int));
printf("size:%d ",size);
free(p);
}
printf("\n");
}
$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
看來Linux的分配策略不能使得內(nèi)存大小和元素個數(shù)一一對應(yīng),此法不可用。 后來發(fā)現(xiàn)在Linux下原來也有類似_msize的函數(shù)[malloc.h]:
int * array;
int size;
array = (int*)malloc(sizof(50);
size = malloc_usable_size(array);
printf("%d\n",size);//50
但是malloc.h不屬于標(biāo)準(zhǔn)C,我們還要繼續(xù)尋找通用之法。經(jīng)過大量查閱,終于發(fā)現(xiàn)了一種code trick,稱作struct-hack. 前面提到過,在C語言中,int a[]是違法的,但是把它作為struct的最后一個成員卻是可以的:
typedef struct array{
int size;
int free;
int buf[];
}array,*Tiger_array;
這是在C語言的后期加入的特性,目的就是為了實(shí)現(xiàn)flexible array, 這樣每次給數(shù)組分配空間時,需要同步記錄size大小。而求size的時候,直接取出來即可:
Tiger_array ta;
ta = (int*)malloc(sizeof(array)+100);
ta->size = 100;
ta->free = 0;
需要注意一點(diǎn),這時分配的大小應(yīng)該是sizeof(struct)加上需求的數(shù)組大小。
這個問題就說到這里。
相關(guān)文章
一文帶你學(xué)習(xí)C++析構(gòu)函數(shù)
在C++中,析構(gòu)函數(shù)是一種特殊類型的成員函數(shù),用于在對象生命周期結(jié)束時被自動調(diào)用,本文我們將介紹C++析構(gòu)函數(shù)的一些重要知識點(diǎn),并提供相應(yīng)代碼示例,需要的朋友可以參考下2023-05-05C語言如何利用輾轉(zhuǎn)相除法求最大公約數(shù)
這篇文章主要介紹了C語言如何利用輾轉(zhuǎn)相除法求最大公約數(shù)問題,具有很好的參考價值,希望對大家有所幫助,如有錯誤或未考慮完全的地方,望不吝賜教2023-08-08