[笨叔点滴8] GNU C语言的扩展

开会迟到了，领导脸上有点绿，问：几点了

我说：3900点

领导：我问你什么时候

我：收盘的时候

领导怒了：出去！

我也急：长生了，全跌停，出。。出。。出不去”

”

昨天笨叔点滴7里给小伙伴留了小小的疑问？为啥子小明的程序像打了“真”的狂犬疫苗一样乱跳呢？有的朋友说，它没找到真正的栈，看下面这个图。

小明以为通过get_current_pt_regs()函数可以获取第一个进程init_task的栈，可是init_task这个变量，小明同学只是定义成全局的一个变量，它是存在data区的，但是小明天真的以为这个init_task分配了8KB的空间，实际上并没有，仅仅是初始化了一个struct task_struct结构体而已，它的实际大小也只有sizeof(task_struct)。所以通get_current_pt_regs()函数去找栈，那必定会改写了其他数据区的内容哟。

那在Linux内核中是怎么做的？（下面是内核的做法，当然现在内核是存放的thread_info的数据结构，但原理是类似的）

1. 在vmlinux.lds的链接脚本中data段里预留了8KB的空间给第一个进程用作内核栈。

2. 然后定义一个union，并且把 init_task这个变量安装到这个".data..init_task"段里。

所以，就好比上面那张A股图，你以为“底”是在这里，其实真正的“底”是在那边。所以C语言时刻提醒我们需要关注内存情况，思考每个变量它究竟存在内存的什么地方，处处都是“雷”，和A股一样，很容易踩雷，那天就要被ST了。

今天我们和大家分享一下GNU C语言的一些扩展。

01 GCC 扩展

—

GCC的C编译器除了支持ANSI C标准之外，还对C语言进行了很多的扩充。这些扩充对代码优化、目标代码布局以及安全检查等方面提供了很强的支持，因此支持GNU扩展的C语言称为GNU C语言。Linux内核采用GCC编译器，所以Linux内核的代码自然使用了很多GCC的新扩充特性。本章介绍一些GCC的C语言扩充的新特性，希望读者在学习Linux内核的时候需要特别留意和关注。

1)语句表达式

在GNU C语言中，括号里的复合语句可以看作是一个表达式，称为语句表达式。在一个语句表达式里，可以使用循环、跳转和局部变量等。这个特性通常用在宏定义中，可以让宏定义变的更安全，如比较两个值的大小。

#define max(a,b) ((a) >(b) ? (a) : (b))

上述代码会安全问题，a和b有可能会计算两次，比如a传入i++，b传入j++。在GNU C中，如果知道a和b的类型，可以这样写这个宏。

#define maxint(a,b) \

({int _a = (a), _b = (b); _a > _b ? _a :_b; })

如果你不知道a和b的类型，还可以使用typeof类转换宏。

#define min(x, y) ({ \

typeof(x) _min1 = (x); \

typeof(y) _min2 = (y); \

(void) (&_min1 == &_min2); \

_min1 < _min2 ? _min1 : _min2; })

typeof也是GNU C语言的一个扩充用法，可以用来构造新的类型，通常和语句表达式一起使用。下面是一些例子。

typeof (*x) y;

typeof (*x) z[4];

typeof (typeof (char *)[4])m;

第一句是声明y是x指针指向的类型。第二句声明z是一个数组，其中数组的类型是x指针指向的类型。第三句声明m是一个指针数组，和“char *m[4]”声明是一样的。

2)零长数组

GNU C允许使用变长数组，在定义数据结构的时候非常有用。

struct pcpu_chunk {

struct list_head list; /* linked to pcpu_slot lists */

unsigned long populated[]; /* populated bitmap */

};

数据结构最后一个元素定义为零长度数组，不占结构体空间。这样，我们可以根据对象大小动态的去分配结构的大小。

struct line {

int length;

char contents[0];

};

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

thisline->length =this_length;

如上述例子，structline数据结构定义了一个intlength变量和一个变长数组contents[0]，这个struct line数据结构的大小只包含int类型的大小，不包含contents的大小，也就是sizeof (struct line) = sizeof(int)。创建结构体对象时，可根据实际的需要指定这个可变长数组的长度，并分配相应的空间，如上述实例代码分配了this_length个字节的内存，并且可以通过contents[index]来访问第index个地址的数据。

3)case范围

GNU C支持指定一个case的范围作为一个标签，如：

case low ... high:

case 'A' ... 'Z':

这里low到high表示一个区间范围，另外在ASCII字符代码也非常有用，下面是Linux内核中的代码例子。

static int local_atoi(constchar *name)

{

int val = 0;

for (;; name++) {

switch (*name) {

case '0' ... '9':

val = 10*val+(*name-'0');