C語(yǔ)言的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
但很可惜這樣是錯(cuò)誤的，因?yàn)閙alloc操作在堆上分配空間，不一定是連續(xù)的，sizof(array)得到的是指針本身所占的單元，和sizeof(int)相等，無(wú)法通過(guò)sizof求得數(shù)組長(zhǎng)度。它和下面還不一樣：
int array[10];
printf("%d\n",sizof(array)/sizeof(int)); // 10
這里array是數(shù)組，是指向整個(gè)連續(xù)存儲(chǔ)空間的常量，所以sizeof對(duì)其操作求得的是整個(gè)區(qū)域的長(zhǎng)度。但是當(dāng)數(shù)組名作為函數(shù)的參數(shù)傳遞時(shí)，數(shù)組就退化為指針，又回到了剛才問(wèn)題。
我們應(yīng)該怎么做？
在 StackOverflow 搜了一下，發(fā)現(xiàn)ANSI C根本沒(méi)有直接辦法通過(guò)指向內(nèi)存的指針求得分配長(zhǎng)度。但Windows下提供了計(jì)算指針指向的內(nèi)存大小的方法[malloc.h]：
_msize : returns the size (in bytes) as an unsigned integer.
size_t _msize(
void *memblock
);
但由于操作系統(tǒng)策略的原因，實(shí)際分配到的大小可能會(huì)比指定的大一些.
在Linux下，指針往前偏移一個(gè)整形大小的單元也會(huì)記錄實(shí)際分配的大小，我們來(lái)窺探一下那個(gè)單元的內(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
看來(lái)Linux的分配策略不能使得內(nèi)存大小和元素個(gè)數(shù)一一對(duì)應(yīng)，此法不可用。 后來(lái)發(fā)現(xiàn)在Linux下原來(lái)也有類(lèi)似_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)過(guò)大量查閱，終于發(fā)現(xiàn)了一種code trick,稱(chēng)作struct-hack. 前面提到過(guò)，在C語(yǔ)言中，int a[]是違法的，但是把它作為struct的最后一個(gè)成員卻是可以的：
typedef struct array{
int size;
int free;
int buf[];
}array,*Tiger_array;
這是在C語(yǔ)言的后期加入的特性，目的就是為了實(shí)現(xiàn)flexible array， 這樣每次給數(shù)組分配空間時(shí)，需要同步記錄size大小。而求size的時(shí)候，直接取出來(lái)即可：
Tiger_array ta;
ta = (int*)malloc(sizeof(array)+100);
ta->size = 100;
ta->free = 0;
需要注意一點(diǎn)，這時(shí)分配的大小應(yīng)該是sizeof(struct)加上需求的數(shù)組大小。
這個(gè)問(wèn)題就說(shuō)到這里。
相關(guān)文章
C++實(shí)現(xiàn)WebSocket服務(wù)器的案例分享
WebSocket是一種在單個(gè)TCP連接上進(jìn)行全雙工通信的通信協(xié)議,與HTTP協(xié)議不同,它允許服務(wù)器主動(dòng)向客戶(hù)端發(fā)送數(shù)據(jù),而不需要客戶(hù)端明確地請(qǐng)求,本文主要給大家介紹了C++實(shí)現(xiàn)WebSocket服務(wù)器的案例,需要的朋友可以參考下2024-05-05
C++基于消息隊(duì)列的多線程實(shí)現(xiàn)示例代碼
這篇文章主要給大家介紹了關(guān)于C++基于消息隊(duì)列的多線程實(shí)現(xiàn)的相關(guān)資料，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家學(xué)習(xí)或者使用C++具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2019-04-04
C語(yǔ)言實(shí)現(xiàn)圖的遍歷之深度優(yōu)先搜索實(shí)例
這篇文章主要介紹了C語(yǔ)言實(shí)現(xiàn)圖的遍歷之深度優(yōu)先搜索實(shí)例,采用不同的方法實(shí)現(xiàn)了深度優(yōu)先搜索算法,有不錯(cuò)的借鑒價(jià)值,需要的朋友可以參考下2014-09-09
這篇文章主要介紹了如何利用C/C++實(shí)現(xiàn)經(jīng)典游戲之一的俄羅斯方塊，文中的實(shí)現(xiàn)步驟講解詳細(xì)，對(duì)我們學(xué)習(xí)C語(yǔ)言和C++有一定的幫助，需要的可以參考一下2022-02-02
C++實(shí)現(xiàn)LeetCode(111.二叉樹(shù)的最小深度)
這篇文章主要介紹了C++實(shí)現(xiàn)LeetCode(111.二叉樹(shù)的最小深度),本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-07-07
C 語(yǔ)言提供了豐富的操作符，有：算術(shù)操作符，移位操作符，位操作符，賦值操作符，單目操作符，關(guān)系操作符，邏輯操作符，條件操作符等。接下了讓我們?cè)敿?xì)了解掌握它2022-05-05
C語(yǔ)言實(shí)現(xiàn)用戶(hù)態(tài)線程庫(kù)案例
下面小編就為大家?guī)?lái)一篇C語(yǔ)言實(shí)現(xiàn)用戶(hù)態(tài)線程庫(kù)案例。小編覺(jué)得挺不錯(cuò)的，現(xiàn)在就分享給大家，也給大家做個(gè)參考。一起跟隨小編過(guò)來(lái)看看吧2017-05-05
這篇文章主要介紹了C++中指針和引用的區(qū)別，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2019-04-04
OpenCV利用霍夫變換實(shí)現(xiàn)交通車(chē)道線檢測(cè)
經(jīng)典霍夫變換用來(lái)檢測(cè)圖像中的直線，后來(lái)霍夫變換經(jīng)過(guò)擴(kuò)展可以進(jìn)行任意形狀物體的識(shí)別，例如圓和橢圓。本文就來(lái)利用霍夫變換實(shí)現(xiàn)交通車(chē)道線檢測(cè)，需要的可以參考一下2022-09-09
本篇文章是對(duì)N皇后問(wèn)題的兩個(gè)最高效的算法進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下2013-05-05