前言：计算机语言是编译器和程序员交流的依据和规范，GNU C是GCC特有的功能，在Linux内核中被广泛应用。
帮助文档：http://gcc.gnu.org/onlinedocs/gcc-4.6.2/gcc/C-Extensions.html#C-Extensions
关键字typeof用于获取表达式的数据类型。
简单例子，如清单1：
- char *chptr01;
- typeof (*chptr01) ch; //等价于char ch;
- typeof (ch) *chptr02; //等价于char *chptr02;
- typeof (chptr01) chparray[5]; //等价于char *chparray[5];
例子中chptr01的数据类型为char *，*chptr01的数据类型为char。
复杂的例子，如清单2：
- #include <stdio.h>
- #define array(type, size) typeof(type [size])
- int func(int num)
- {
- return num + 5;
- }
- int main(void)
- {
- typeof (func) *pfunc = func; //等价于int (*pfunc)(int) = func;
- printf("pfunc(10) = %d\n", (*pfunc)(10));
- array(char, ) charray = "hello world!"; //等价于char charray[] = "hello world!";
- typeof (char *) charptr = charray; //等价于char *charptr = charray;
- printf("%s\n", charptr);
- return 0;
- }
例子输出结果：
- pfunc(10) = 15
- hello world!
如果typeof的操作数是一个数据类型，那么它的结果就是这个数据类型，如第16行。
在Linux内核中的应用，如清单3：
- /* linux-2.6.38.8/include/linux/kernel.h */
- #define min(x, y) ({ \
- typeof(x) _min1 = (x); \
- typeof(y) _min2 = (y); \
- (void) (&_min1 == &_min2); \
- _min1 < _min2 ? _min1 : _min2; })
- #define max(x, y) ({ \
- typeof(x) _max1 = (x); \
- typeof(y) _max2 = (y); \
- (void) (&_max1 == &_max2); \
- _max1 > _max2 ? _max1 : _max2; })
通过typeof获得x和y的数据类型，然后定义两个临时变量，并把x和y的值分别赋给这两个临时变量，最后进行比较。
另外，宏定义中(void)(&_min1 == &_min2)语句的作用是用来警告x和y不能属于不同的数据类型。