柔性数组_不完整类型

今天学习跳跃表(Skip link)算法，其中对于节点的定义用了柔性数组，完全不懂是什么意思，于是搜得如下内容：

柔性数组属C/C++一种特性的语法：不完整类型(incomplete type)：不完整类型是这样一种类型，它缺乏足够的信息例如长度去描述一个完整的对象：Types that describe objects but lack informationneeded to be determine their sizes。

不完整类型举例(前向申明)：

class base;
struct test;

base 和 test 只给出了声明，没有给出定义。

不完整数据类型必须通过某种方式补充完整，才能使它们进行实例化。否则只能用于定义指针或引用，因为此时实例化的是指针或引用本身，不是base和test对象。

柔性数组成员（flexiblearray member）也叫伸缩性数组成员，它的出现反映了C程序员对精炼代码的极致追求。这种代码结构产生于对动态结构体的需求。在日常的编程中，有时候需要在结构体中存放一个长度动态的字符串，一般的做法，是在结构体中定义一个指针成员，这个指针成员指向该字符串所在的动态内存空间，例如：

 struct s_test
 {
   int a;
   double b;
   char* p;
 };

再如：

 struct s_test2
 {
   int a;
   double b;
   char c[0];
 };

c就叫柔性数组成员。

在给出一个柔性数组成员的完整例子：

#include <iostream>

using namespace std;

typedef struct _softStruct
{
	int key;
	char chData[0];//柔性数组成员
}softStruct;
int main()
{
	cout << "The size of softStruct is : " << sizeof(softStruct) << endl;
	
	char srcCh[10] = "123456789";
	softStruct *pData = (softStruct*)malloc(sizeof(softStruct)+10);	//分配内存时，比sizeof()多10个bit内存
	memcpy(pData->chData, srcCh, 10);

	cout << "(*pData)'s soft array is : " << pData->chData << endl;
	
	return 0;
}

注意：

1. 柔性数组成员前必须有其他完整定义的成员；
2. sizeof该结构体返回的大小不包括该成员(柔性数组)的大小；
3. 用malloc数组给该结构体分配内存时，应分配大于结构的大小以适应柔性数组的预期大小。

如：

	softStruct *pData = (softStruct*)malloc(sizeof(softStruct)+10);	//分配内存时，比sizeof()多一个内存

参考页面：

柔性数组

柔性数组成员