typeof 是 GNU C 标准里特有的扩展,标准的 ISO C 并没有这个关键字,所以在编译的时候不能加任何 ISO 的 C 标准选项,否则会报错。使用时加入-std=gnu90 即 GNU 的标准即可。

typeof的作用类似与sizeof,区别在于sizeof是得到参数的大小而typeof则是推导出参数的类型。

typeof的参数可以是两种形式:表达式或类型。

如:typeof(int *) a,b;

等价于:

int *a,*b;

typeof构造中的类型名不能包含存储类说明符,如extern或static。但是typeof允许包含类型限定符,如const或volatile。

例如,下列代码是无效的,因为它在typeof构造中声明了extern:


 typeof(extern int) a;举一个linux内核代码例子
 /* 
  * 选自 linux-2.6.7 内核源码 
  * filename: linux-2.6.7/include/linux/kernel.h 
  */  
 #define min(x,y) ({ \  
     typeof(x) _x = (x); \  
     typeof(y) _y = (y); \  
     (void) (&_x == &_y);        \  
     _x < _y ? _x : _y; })  这段比较大小的代码非常巧妙,前两句使用typeof将传递的x, y两个参数(也可能是表达式)转换为_x, _y两个变量,同时因为使用typeof的缘故而可以接受不同的数据类型(x, y需相同类型才可比较)。第三句用来检测x, y的数据类型,由于C语言中没有 typeof()==typeof() 这样的用法,这里巧妙的采用比较两变量地址的方法来检测类型,如果_x和_y的类型不一样,其指针类型也会不一样,2个不一样的指针类型进行比较操作,会抛出一个编译警告,达到检测地址的目的。由于这一句完全无意义,所以前面加 (void) 来忽略 statement with no effect 无效的语句 警告。
 
========
 
一,说明
     typeof的参数可以是两种形式:表达式或类型。

     1,表达式的的例子:
         typeof(x[0](1)
         这里假设x是一个函数指针数组,这样就可以得到这个函数返回值的类型了。
         如果将typeof用于表达式,则该表达式不会执行。只会得到该表达式的类型。
         以下示例声明了int类型的var变量,因为表达式foo()是int类型的。由于表达式不会被执行,所以不会调用foo函数。
             extern int foo();
             typeof(foo()) var;

     2,参数的例子:
         typeof(int *) a,b;
             等价于:
             int *a,*b;


二,实例
     1,把y定义成x指向的数据类型:
            typeof(*x) y;
     2,把y定义成x指向数据类型的数组:
            typeof(*x) y[4];
     3,把y定义成一个字符指针数组:
             typeof(typeof(char *)[4] y;
     这与下面的定义等价:
             char *y[4];

     4,typeof(int *) p1,p2; /* Declares two int pointers p1, p2 */
             int *p1, *p2;

     5,typeof(int) *p3,p4;/* Declares int pointer p3 and int p4 */
             int *p3, p4;

     6,typeof(int [10]) a1, a2;/* Declares two arrays of integers */
             int a1[10], a2[10];