例解GNU C之typeof

    前言：计算机语言是编译器和程序员交流的依据和规范，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 

#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不能属于不同的数据类型。