前言:计算机语言是编译器和程序员交流的依据和规范,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不能属于不同的数据类型。