可变长度的数组(定义数组时长度为0)
转自
https://blog.csdn.net/qq_39736982/article/details/82849769
https://www.cnblogs.com/hwy89289709/p/6840196.html
https://www.cnblogs.com/tangxin-blog/p/5560699.html
在标准C和C++中,长度为0的数组是被禁止使用的。不过在GNU C中,存在一个非常奇怪的用法,那就是长度为0的数组,比如Array[0];很多人可能觉得不可思议,长度为0的数组是没有什么意义的,不过在这儿,它表示的完全是另外的一层意思,这个特性是不可移植的,所以,如果你致力于编写可移植,或者是稍稍需要跨平台的代码,这些伎俩最好还是收起来的好
用途 :长度为0的数组的主要用途是为了满足需要变长度 的结构体。
用法 :在一个结构体的最后 ,申明一个长度为0的数组,就可以使得这个结构体是可变长的。对于 编译器来说,此时长度为0的数组并不占用空间,因为数组名本身不占空间,它只是一个偏移量, 数组名这个符号本身代 表了一个不可修改的地址常量 (注意:数组名永远都不会是指针! ),但对于这个数组的大小,我们可以进行动态分配。例如:
-
typedef
struct
-
{
-
-
int len;
-
-
char data[
0];
-
-
}
test_t;
-
-
int my_length =
10;
-
-
test_t *p_test = (
test_t *)
malloc(
sizeof(
test_t) + my_length);
-
-
p_test->len = my_length;
-
-
......
-
-
free(p_test);
之后对于结构体中的数组可以像一般的数组一样进行访问。
注意 :如果结构体是通过calloc、malloc或 者new等动态分配方式生成,在不需要时要释放相应的空间。
优点 :比起在结构体中声明一个指针变量、再进行动态分 配的办法,这种方法效率要高。因为在访问数组内容时,不需要间接访问,避免了两次访存。
缺点 :在结构体中,数组为0的数组必须在最后声明,使 用上有一定限制。
案例
近日在看项目中的框架代码时,发现了了一个奇特的语法:长度为0的数组例如
uint8_t buf[0];
我从未见过这样的写法,所以在网上查了查资料,了解并记录下来.
在标准的C/C++中,长度为0的数组是不被允许的,它算是一个C/C++扩展,如果你的编译器支持这个扩展,你就可以使用它.
VS系列编译器不完全支持这个扩展,如果你这样定义,多半会在编译时出现这样的警告:warning C4200: 使用了非标准扩展 : 结构/联合中的零大小数组,当 UDT 包含大小为零的数组时,无法生成复制构造函数或副本赋值运算符
GUN编译器完全支持这个扩展,你可以合法的声明长度为0的数组,但这种声明的最典型的用法就是位于数组中的最后一项,为了方便内存缓冲区的管理,例如:
-
struct Line{
-
uint32_t length;
-
char contents[
0];
-
};
在结构体中,长度为0的数组不会占用存储空间 ,在上述例子中 sizeof(Line)=4
在申请内存空间时,缓冲区的空间可以和结构体的空间一起申请,一次操作就可以完成.例如
-
uint32_t length =
10;
-
struct Line *pLine = (struct Line *)malloc(sizeof (struct Line) + length);
-
pLine->length = length;
上述代码就动态地为结构体申请了长度(length)为10byte的缓冲区,而且由于是同一次malloc操作,缓冲区与结构体的内存地址是连续的,而且可以按照数组下标访问缓冲区元素,例如
-
for(
uint32_t i =
0;i < pLine->length;++i)
-
{
-
pLine->contents[i] = i;
-
}
由于缓冲区与结构体的内存地址是连续的,在释放内存的时候,只需要一次free操作.
综上所述,比起在结构体中定义一个指针指向另一片缓冲区地址的做法,使用长度为0的数组有以下好处:
1->指针本身需要占用内存,而长度为0的数组不需要
2->长度为0的数组定义出的缓冲区可以和结构体处在同一片连续地址中,只要一次malloc操作和free操作.如果用指针,需要分别申请和释放结构体内存和指针指向的内存块,至少需要两次以上的内存操作.
实例:
-
#include <stdio.h>
-
#include <stdint.h>
-
#include <malloc.h>
-
struct Line{
-
uint32_t length;
-
uint8_t contents[
0];
//在结构体中,数组为0的数组必须在最后声明,使 用上有一定限制
-
};
-
int32_t main()
-
{
-
uint32_t length =
10, i;
-
printf(
"sizeof(Line)=%d\n",
sizeof(struct Line));
//打印结构体长度,发现大小为4,说明数组长度为0不占用空间
-
//申请内存
-
struct Line *pLine = (struct Line *)malloc(sizeof (struct Line) + length);
-
pLine->length = length;
-
//向动态数组中存放数
-
for (i =
0; i < pLine->length; ++i)
-
{
-
pLine->contents[i] = i;
-
}
-
//打印动态数组里面的内容
-
for (i =
0; i < pLine->length; ++i)
-
{
-
printf(
"i=%d,contents[i]=%d\n", i, pLine->contents[i]);
-
}
-
//释放内存
-
free(pLine);
-
return
0;
-
}
结果: