转载

C99中的柔性数组

柔性数组是C99引入的feature。

struct Data {   int i;   int a[0]; };

其中柔性数组a处于结构体的末尾，并且声明的大小为0。

那么它有什么性质呢？

1，首先，a不占用结构体本身的空间。因此

sizeof(Data) = sizeof(int) （这里的int是那个变量i）

2，我们可以利用a来分配动态内存：

Data *p = (Data*) malloc(sizeof(Data) + 10 * sizeof(int))

这样，p就包含了10个int型元素构成的数组。

3，有些人说，为什么我们不这样呢？

struct Data {   int i;   int *a; }; Data *p = (Data*) malloc(sizeof(Data)); p->a = malloc(10 * sizeof(int));

这样子不是挺好的么？是挺好的，但是这样结构体大小就得翻倍了，因为这下a不是占位符而是实实在在的指针变量了。

这还算小事。大事呢？大事就是我们第三点要扯的：如果改成这样后，结构体成员i和数组a中的那10个元素，地址将几乎肯定不是连续的！！！这可能会带来很多问题，包括cache unfriendly等。

而如果使用柔性数组，我们可以简单做个实验发现：

#include<iostream> using namespace std; struct Data {   int i;   int a[0]; }; int main() {   Data *p = (Data*)malloc(sizeof(Data) + 100 * sizeof(int));   cout<<&(p->i)<<endl;   cout<<&(p->a[0])<<endl;   cout<<&(p->a[1])<<endl;   cout<<&(p->a[2])<<endl;   cout<<sizeof(Data)<<endl;   return 0; }