一、前言

二、小试牛刀

1． 灵活的数组成员

2． 不定参数的宏定义

一、前言

这几天在把一个嵌入式项目的代码，移植到另一个平台，发现很多地方用的都是 C89 标准。

1999 年，C语言的标准化委员会发布了 C99 标准，引入了许多特性，包括可变长度的数组、灵活的数组成员（用在结构体）、对IEEE754浮点数的改进、指定成员的初始化器、内联函数、支持不定参数个数的宏定义，在数据类型上还增加了 long long int 以及复数类型。

于是最近找了一本比较新的 C 语言书籍翻了一下，发现很多比较偏僻的语法，很少被使用到，包括 C99 标准中的一些内容，所以我想把这部分内容整理一下，也是让自己对这一门古老的语言重新梳理一下。

二、小试牛刀

 1． 灵活的数组成员

先不解释概念，我们先来看一个代码示例：

／／ 一个结构体，成员变量 data 是指针typedef struct ＿Data1＿ ｛    int num；    char ＊data；｝ Data1；
void demo6＿not＿good（）｛    ／／ 打印结构体的内存大小    int size ＝ sizeof（Data1）；    printf（＂size ＝ ％d ＂， size）；
   ／／ 分配一个结构体指针    Data1 ＊ams ＝ （Data1 ＊）malloc（size）；    ams－＞num ＝ 1；
   ／／ 为结构体中的 data 指针分配空间    ams－＞data ＝ （char ＊）malloc（1024）；    strcpy（ams－＞data， ＂hello＂）；    printf（＂ams－＞data ＝ ％s ＂， ams－＞data）；
   ／／ 打印结构体指针、成员变量的地址    printf（＂ams ＝ 0x％x ＂， ams）；    printf（＂ams－＞num  ＝ 0x％x ＂， ＆ams－＞num）；    printf（＂ams－＞data ＝ 0x％x ＂， ams－＞data）；
   ／／ 释放空间    free（ams－＞data）；    free（ams）；｝

在我的电脑上，打印结果如下：

可以看到：该结构体一共有 8 个字节（int 型占 4 个字节，指针型占 4 个字节）。

结构体中的 data 成员是一个指针变量，需要单独为它申请一块空间才可以使用。而且在结构体使用之后，需要先释放 data，然后释放结构体指针 ams，顺序不能错。这样使用起来，是不是有点麻烦？

于是，C99 标准就定义了一个语法：flexible array member（柔性数组），直接上代码（下面的代码如果编译时遇到警告，请检查下编译器对这个语法的支持）：

／／ 一个结构体，成员变量是未指明大小的数组typedef struct ＿Data2＿ ｛    int num；    char data［］；｝ Data2；
void demo6＿good（）｛    ／／ 打印结构体的大小    int size ＝ sizeof（Data2）；    printf（＂size ＝ ％d ＂， size）；
   ／／ 为结构体指针分配空间    Data2 ＊ams ＝ （Data2 ＊）malloc（size ＋ 1024）；
   strcpy（ams－＞data， ＂hello＂）；    printf（＂ams－＞data ＝ ％s ＂， ams－＞data）；
   ／／ 打印结构体指针、成员变量的地址    printf（＂ams ＝ 0x％x ＂， ams）；    printf（＂ams－＞num  ＝ 0x％x ＂， ＆ams－＞num）；    printf（＂ams－＞data ＝ 0x％x ＂， ams－＞data）；
   ／／ 释放空间    free（ams）；｝

打印结果如下：

与第一个例子中有下面几个不同点：

结构体的大小变成了 4；为结构体指针分配空间时，除了结构体本身的大小外，还申请了 data 需要的空间大小；不需要为 data 单独分配空间了；释放空间时，直接释放结构体指针即可；

是不是用起来简单多了？！这就是柔性数组的好处。

从语法上来说，柔性数组就是指结构体中最后一个元素个数未知的数组，也可以理解为长度为 0，那么就可以让这个结构体称为可变长的。

前面说过，数组名就代表一个地址，是一个不变的地址常量。在结构体中，数组名仅仅是一个符号而已，只代表一个偏移量，不会占用具体的空间。

另外，柔性数组可以是任意类型。这里示例大家多多体会，在很多通讯类的处理场景中，常常见到这种用法。

2． 不定参数的宏定义

宏定义的参数个数可以是不确定的，就像调用 printf 打印函数一样，在定义的时候，可以使用三个点（．．．）来表示可变参数，也可以在三个点的前面加上可变参数的名称。

如果使用三个点（．．．）来接收可变参数，那么在使用的时候就需要使用 VA＿ARGS 来表示可变参数，如下：

＃define debug1（．．．）      printf（＿＿VA＿ARGS＿＿）
debug1（＂this is debug1： ％d ＂， 1）；

如果在三个点（．．．）的前面加上了一个参数名，那么在使用时就一定要使用这个参数名，而不能使用 VA＿ARGS 来表示可变参数，如下：

＃define debug2（args．．．）  printf（args）
debug2（＂this is debug2： ％d ＂， 2）；

但是，如果可变参数个数为零时，处理可能就会出问题！

看一下这个宏：

＃define debug3（format， ．．．）      printf（format， ＿＿VA＿ARGS＿＿）
debug3（＂this is debug4： ％d ＂， 4）；

编译、执行都没有问题。但是如果这样来使用宏：

debug3（＂hello ＂）；

编译的时候，会出现错误： error： expected expression before ‘）’ token。为什么呢？

看一下宏扩展之后的代码（＿＿VA＿ARGS＿＿为空）：

printf（＂hello ＂，）；

看出问题了吧？在格式化字符串的后面多了一个逗号！为了解决问题，预处理器给我们提供了一个方法：通过 ＃＃ 符号把这个多余的逗号给自动删掉。

于是宏定义改成下面这样就没有问题了。

＃define debug3（format， ．．．）     printf（format， ＃＃＿＿VA＿ARGS＿＿）

类似的，如果自己定义了可变参数的名字，也在前面加上 ＃＃，如下：

＃define debug4（format， args．．．）  printf（format， ＃＃args）