例解GNU C之零长数组与变长数组

例解GNU C之零长数组与变长数组 - tanglinux - 博客频道 - CSDN.NET
http://blog.csdn.net/npy_lp/article/details/7009120
前言：计算机语言是编译器和程序员交流的依据和规范，GNU C是GCC特有的功能，在Linux内核中被广泛应用。

帮助文档：http://gcc.gnu.org/onlinedocs/gcc-4.6.2/gcc/C-Extensions.html#C-Extensions



1、零长数组

GNU C允许声明长度为零的数组，但它只能被用于结构体的最后一个成员。

举例，如清单1：

[cpp] view
plaincopy

#include <stdio.h>

#include <stdlib.h>



struct line {

int length;

char contents[0];

};



int main(void)

{

int i, count = 9;

char letter = 'A';



struct line *thisline = (struct line *)malloc(sizeof(struct line) + count);



thisline->length = count;

for (i = 0; i < count; i++)

thisline->contents[i] = letter++;



printf("sizeof(struct line) = %d\n", sizeof(struct line));



for (i = 0; i < thisline->length; i++)

printf("%c ", thisline->contents[i]);

printf("\n");



return 0;

}

例子输出结果：

[cpp] view
plaincopy

sizeof(struct line) = 4

A B C D E F G H I

如例子中的第6行，contents就是一个零长数组，在sizeof看来它所占的空间为零。

在ISO C99中，使用变长数组也可以实现同样的功能，如清单2：

[cpp] view
plaincopy

#include <stdio.h>

#include <stdlib.h>



struct line {

int length;

char contents[];

};



struct line thisline = { 5, {'1', '2', '3', '4', '5' } };



int main(void)

{

int i;



printf("sizeof(struct line) = %d\n", sizeof(struct line));

printf("sizeof(thisline) = %d\n", sizeof(thisline));



for (i = 0; i < thisline.length; i++)

printf("%c ", thisline.contents[i]);

printf("\n");



return 0;

}

例子输出结果：

[cpp] view
plaincopy

sizeof(struct line) = 4

sizeof(thisline) = 4

1 2 3 4 5

变长数组是不完全数据类型，不能使用sizeof获得它的大小。

注意，此结构体的变量必须在函数外定义和初始化，否则会报错：

[cpp] view
plaincopy

error: non-static initialization of a flexible array member

error: (near initialization for 'thisline')

不能使用这样的形式：

[cpp] view
plaincopy

struct mystruct {

int arr[];

};

否则会报错：

[cpp] view
plaincopy

error: flexible array member in otherwise empty struct

2、变长数组

在支持变长数组之前，C语言数组的大小是在声明时确定的（下标是一个常量表达式）并一直保持不变。所谓变长数组就是指数组的大小可以在运行时指定，如清单3：

[cpp] view
plaincopy

#include <stdio.h>



int main(void)

{

int i;



scanf("%d", &i);



int arr[i];



printf("sizeof(arr[%d]) = %d\n", i, sizeof(arr));



return 0;

}

例子输出结果：

[cpp] view
plaincopy

sizeof(arr[6]) = 24 //输入数字6



sizeof(arr[9]) = 36 //输入数字9

输入不同的值，数组的大小随之改变。

变长数组作为参数进行传递的例子，如清单4：

[cpp] view
plaincopy

#include <stdio.h>



int sum(int num, int arr[num])

{

int i, total = 0;



for (i = 0; i < num; i++)

total += arr[i];



return total;

}



int main(void)

{

int a[] = {1, 2, 3, 4};

int b[] = {5, 6, 7, 8, 9, 10};



printf("a[] total value: %d\n", sum(sizeof(a)/sizeof(a[0]), a));

printf("b[] total value: %d\n", sum(sizeof(b)/sizeof(b[0]), b));



return 0;

}

例子输出结果：

[cpp] view
plaincopy

a[] total value: 10

b[] total value: 45

函数sum形参中的arr可以匹配任意的一维整型数组。

注意，num一定要声明在变长数组arr之前。