C语言的Struct Hack笔记

 更新时间:2014年04月28日 08:52:59   作者:  
这篇文章主要介绍了C语言的Struct Hack例子,个人的一篇笔记,需要的朋友可以参考下吧

最近在搞Compiler的CodeGenerator实验,有一部分需要把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

但很可惜这样是错误的,因为malloc操作在堆上分配空间,不一定是连续的,sizof(array)得到的是指针本身所占的单元,和sizeof(int)相等,无法通过sizof求得数组长度。它和下面还不一样:
复制代码 代码如下:

int array[10];
printf("%d\n",sizof(array)/sizeof(int)); // 10

这里array是数组,是指向整个连续存储空间的常量,所以sizeof对其操作求得的是整个区域的长度。但是当数组名作为函数的参数传递时,数组就退化为指针,又回到了刚才问题。

我们应该怎么做?

在 StackOverflow 搜了一下,发现ANSI C根本没有直接办法通过指向内存的指针求得分配长度。但Windows下提供了计算指针指向的内存大小的方法[malloc.h]:

_msize : returns the size (in bytes) as an unsigned integer.

复制代码 代码如下:

size_t _msize(
void *memblock
);


但由于操作系统策略的原因,实际分配到的大小可能会比指定的大一些.

在Linux下,指针往前偏移一个整形大小的单元也会记录实际分配的大小,我们来窥探一下那个单元的内容:

复制代码 代码如下:

//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的分配策略不能使得内存大小和元素个数一一对应,此法不可用。 后来发现在Linux下原来也有类似_msize的函数[malloc.h]:

复制代码 代码如下:

int * array;
int size;
array = (int*)malloc(sizof(50);
size = malloc_usable_size(array);
printf("%d\n",size);//50

但是malloc.h不属于标准C,我们还要继续寻找通用之法。经过大量查阅,终于发现了一种code trick,称作struct-hack. 前面提到过,在C语言中,int a[]是违法的,但是把它作为struct的最后一个成员却是可以的:

复制代码 代码如下:

typedef struct array{
 int size;
 int free;
 int buf[];
 }array,*Tiger_array;


这是在C语言的后期加入的特性,目的就是为了实现flexible array, 这样每次给数组分配空间时,需要同步记录size大小。而求size的时候,直接取出来即可:

复制代码 代码如下:

 Tiger_array ta;
ta = (int*)malloc(sizeof(array)+100);
ta->size = 100;
ta->free = 0;

需要注意一点,这时分配的大小应该是sizeof(struct)加上需求的数组大小。

这个问题就说到这里。

相关文章

  • C++实现WebSocket服务器的案例分享

    C++实现WebSocket服务器的案例分享

    WebSocket是一种在单个TCP连接上进行全双工通信的通信协议,与HTTP协议不同,它允许服务器主动向客户端发送数据,而不需要客户端明确地请求,本文主要给大家介绍了C++实现WebSocket服务器的案例,需要的朋友可以参考下
    2024-05-05
  • C++基于消息队列的多线程实现示例代码

    C++基于消息队列的多线程实现示例代码

    这篇文章主要给大家介绍了关于C++基于消息队列的多线程实现的相关资料,文中通过示例代码介绍的非常详细,对大家学习或者使用C++具有一定的参考学习价值,需要的朋友们下面来一起学习学习吧
    2019-04-04
  • C语言实现图的遍历之深度优先搜索实例

    C语言实现图的遍历之深度优先搜索实例

    这篇文章主要介绍了C语言实现图的遍历之深度优先搜索实例,采用不同的方法实现了深度优先搜索算法,有不错的借鉴价值,需要的朋友可以参考下
    2014-09-09
  • C/C++实现俄罗斯方块游戏

    C/C++实现俄罗斯方块游戏

    这篇文章主要介绍了如何利用C/C++实现经典游戏之一的俄罗斯方块,文中的实现步骤讲解详细,对我们学习C语言和C++有一定的帮助,需要的可以参考一下
    2022-02-02
  • C++实现LeetCode(111.二叉树的最小深度)

    C++实现LeetCode(111.二叉树的最小深度)

    这篇文章主要介绍了C++实现LeetCode(111.二叉树的最小深度),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下
    2021-07-07
  • C++中操作符的前置与后置有什么区别

    C++中操作符的前置与后置有什么区别

    C 语言提供了丰富的操作符,有:算术操作符,移位操作符,位操作符,赋值操作符,单目操作符,关系操作符,逻辑操作符,条件操作符等。接下了让我们详细了解掌握它
    2022-05-05
  • C语言实现用户态线程库案例

    C语言实现用户态线程库案例

    下面小编就为大家带来一篇C语言实现用户态线程库案例。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-05-05
  • 详解C++中指针和引用的区别

    详解C++中指针和引用的区别

    这篇文章主要介绍了C++中指针和引用的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2019-04-04
  • OpenCV利用霍夫变换实现交通车道线检测

    OpenCV利用霍夫变换实现交通车道线检测

    经典霍夫变换用来检测图像中的直线,后来霍夫变换经过扩展可以进行任意形状物体的识别,例如圆和椭圆。本文就来利用霍夫变换实现交通车道线检测,需要的可以参考一下
    2022-09-09
  • 深入N皇后问题的两个最高效算法的详解

    深入N皇后问题的两个最高效算法的详解

    本篇文章是对N皇后问题的两个最高效的算法进行了详细的分析介绍,需要的朋友参考下
    2013-05-05

最新评论