柔性数组成员 flexible array member与变长数组variable length array

老和山乔治

已于 2023-10-16 17:27:22 修改

阅读量417

点赞数 1

分类专栏： # C 文章标签：柔性数组 java 算法

于 2018-10-29 11:20:24 首次发布

本文链接：https://blog.csdn.net/FJDJFKDJFKDJFKD/article/details/83503102

版权

C 专栏收录该内容

16 篇文章 0 订阅

订阅专栏

参考自¹

柔性数组成员

在介绍柔性数组成员之前，首先要介绍一下不完整类型（incomplete type）。
不完整类型是这样一种类型，它缺乏足够的信息，例如长度去描述一个完整的对象。
incomplete types (types that describe objects but lack information needed to determine their sizes).

例如前向声明就是一种不完整类型。
struct test;
这里只是给出了结构体的声明，没有定义。这种用法只能用于定义指针或者引用，因为此时实例化的是指针或引用本身，不是test对象。如果需要实例化一个结构体，就必须通过其他方式补充完整这个不完整类型。

接下来正式开始柔性数组成员的介绍，这种代码结构产生于对动态结构体的需求，它的出现反映了C程序员对精炼代码的极致追求。在日常的编程中，有时候需要在结构体中存放一个长度动态成员，一般的做法，是在结构体中定义一个指针成员，这个指针成员指向一个动态内存空间，例如：

struct {
	int a;
	int *data;
}

这种方法的缺点是实际数据和结构体分离，不方便直接操作，并且指针占用了空间，能否让数据和结构体放在一起呢？

如果能够找出一种方法，既能直接引用该字符串，又不占用结构体的空间，就完美了，符合这种条件的代码结构应该是一个非对象的符号地址，在结构体的尾部放置一个0长度的数组是一个绝妙的解决方案。不过，C/C++标准规定不能定义长度为0的数组，因此，有些编译器就把0长度的数组成员作为自己的非标准扩展，例如：

struct foo {
	int a;
	int data[0];
}

上述结构体中的最后一个成员data就是一个柔性数组成员。data[0]的长度为0，不占用foo的空间，同时foo.data指向的就是data数组的首地址。分配给foo的内存长度通常会在初始化结构体的时候指定，所以成员data[]的长度可以伸缩。

C99标准

As a special case, the last element of a structure with more than one named member may have an incomplete array type; this is called a flexible array member.

C99使用不完整类型实现柔性数组，形式如下，应当尽量使用标准形式：

struct foo {
	int a;
	int data[];
}

data[]同样不占用foo的空间，只作为一个符号地址存在。柔性数组成员前面必须至少一个其他成员，且必须是结构体的最后一个成员。柔性数组成员允许结构中包含一个大小可变的数组。

如何使用

以foo为例

struct foo {
	int a;
	int data[];
}

sizeof(foo)得到4，data[]并不占用foo的空间。sizeof返回的这种结构大小不包括柔性数组的内存。之后可以给结构体分配内存，分配的内存应该大于结构的大小，以适应柔性数组的预期大小。

// C
struct foo *p = (struct foo *)malloc(sizeof(struct foo) + 666 * sizeof(int));
free(p);

// C++
struct foo *p = (struct foo *)new char[sizeof(struct foo) + 666 * sizeof(int)];
delete []p;

如此一来，我们为结构体指针p分配了一块内存，其中data[]的长度是666个int型数组。
使用p->data[n]就能访问到相应的元素了。
如果此时使用sizeof(foo)获取结构体的大小，仍然是4。柔性数组其实与结构体没什么关系，只是“挂羊头卖狗肉”而已。

需要说明的是C89不支持这种东西，C99把它作为一种特例加入了标准。但是，C99所支持的是incomplete type，而不是zero array，形同 int item[0]; 这种形式是非法的，C99支持的形式是形同int item[]; 只不过有些编译器把 int item[0]; 作为非标准扩展来支持，而且在C99发布之前已经有了这种非标准扩展了，C99发布之后，有些编译器把两者合而为一了。