内核中 GNU 的 C 扩展

内核中 GNU 的 C 扩展

承接前文（Clang 宏定义初探（二）），提到了一个 GNU 的 C 的扩展用法，最近总结了下主要会用到的有以下一些：

结构体（ struct ）值的初始化

这个在对网络包拼装，以及一些配置结构体的赋值有一定的帮助。
例如：

typedef struct testnode
{
  int arg1;
  char arg2;
  ...
}testnode_t;

对这个结构体进行初始化的时候，可以使用：

testnode_t a = 
{
  .arg2 = 'c';
  .arg1 = 1;
}

这样做的好处是无视了参数的顺序，并且对各个参数初始化。内核模块编程中有类似的用法，比如在做 netfilter hook 时，需要初始化这样一个结构体：

struct nf_hook_ops 
{ 
  struct list_head list; 
  nf_hookfn *hook; 
  int pf; 
  int hooknum; 
  int priority; 
}; 

通常会写成这样：

static struct nf_hook_ops nfho_ipv4[] = {   //struct for hook function options
    {
        .hook     = hook_ipv4,
        .pf       = PF_INET,
        .hooknum  = NF_INET_PRE_ROUTING,
        .priority = NF_IP_PRI_FIRST,
        .owner    = THIS_MODULE,
    },
    {
        .hook     = hook_ipv4,
        .pf       = PF_INET,
        .hooknum  = NF_INET_LOCAL_IN,
        .priority = NF_IP_PRI_FIRST,
        .owner    = THIS_MODULE,
    },
    ...
};
...
nf_register_hooks（nfho_ipv4, ARRAY_SIZE(nfho_ipv4));

复合语句赋值

一种类似脚本语言的做法，常见在宏定义里，前文有提的 MIN 宏的做法即使：

#define MIN(x,y) ({
  typeof(x) _x = (x);\
  typeof(y) _y = (y);\
  (void)  (& _x == & _y);\
  _x < _y ? _x : _y
)}

这个复合语句将把最后的问号表达式的值返回出去。

typeof

上个例子提到了 typeof ，这个宏主要用于返回参数的类型。

char *chptr;
typeof (*chptr) ch;    //等价于char ch  

零长度数组

先看一个 struct ：

struct dnshead
{
  uint8 flag1;
  uint8 flag2;
  ...
  char qname[0];
};

这里最后一个零长度的数组，主要是为了节省定义的空间开销，char qname[0] 在编译的时候并不会给他分配空间，实际要用的时候，通常如下：

struct dnshead *dns_head = (struct dnshead*)malloc(sizeof(struct dnshead)+namelen);

其余还有一些用法，在网上找了一篇不错的总结： Linux 内核使用的 GNU C 扩展，其中内建函数 __attribute__ 在读红黑树的定义时被迷住了，用的很有工业美感，其余的用法暂时还没遇到过，有心得后续再整理了。