GNU C语言的 扩展（二）零长度数组&可变参数宏

GNU C 允许使用零长度数组，在定义变长的头结构时，这个特性非常有用。

测试代码：

引用

#include
#include
#include

typedef structuser_def {
        char *name;
        int  length;
        char bytes[0];
} user_def_t;

int main()
{
        int length = 10;
        user_def_t *p;

        p = (user_def_t*)malloc (sizeof(user_def_t)+ length);

        if (p == NULL) {
                printf("malloc failed\n");
                exit(1);
        }
        p->name= "good";
        p->length= length;

        memset(p->bytes,0, length);
        p->bytes[0]= 'a';
        p->bytes[1]= 'b';
        p->bytes[2]= 'c';

        printf("%s\n", p->bytes);

        free(p);
        return 0;
}

运行及输出：

引用

beyes@linux-beyes:~/C/GNU_C_EXT> ./entry.exe
abc

说明：
如果用 sizeof  结构体中的 bytes 大小，那么得到的是 0 ，所以它是一个零长度数组。但是，零长度数组的作用不是用来定义一个结束地址，而是为了将来的扩展。结构体本身类似于一个信息头。同时，此结构只能通过堆方式分配内存。注意的是，结构体中的数组不是非得是零长度数组才，如果定义了长度也是可以的，但是如果基于将来进行扩展的目的，这就显得没有必要了。

beyes

在 GNU C 中，宏可以接受可变数目的参数，就像函数一样，如： 引用 #define pr_debug(fmt, arg...) printk(KERN_DEBUGfmt, ##arg); 以前可变参数只能应用在真正的函数中，不能用在宏里。但在 C99 编译器标准中，它允许定义可变参数宏(variadic macros)，这样就可以拥有可以变化的参数表的宏。比如： 引用 #define debug(...) printf(__VA_ARGS__) debug 中的省略号表示一个可以变化的参数列表。__VA_ARGS__ 是个保留名，它把参数传递给宏。当宏展开时，实际的参数就传递给了 printf() 。完整的测试代码如下： 引用 #include #define debug(...) printf(__VA_ARGS__) int main() {     char a[20]= "hello world\n";     int i = 10;     debug("i = %d, %s",i, a);     return 0; } 运行及输出： 引用 beyes@linux-beyes:~/C/micro> ./mic.exe i = 10, hello world 由于 debug() 是个可变参数宏，所以在每次调用中能给它传递不同数目的参数。 注意，可变参数宏不被 ANSI/ISO C++ 所正式支持。因此，在使用这项功能时，要检查边起义的版本是否对其支持。