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两个变量，避免了直接宏展开出现 ++x 与 ++y 这样的式子在 _x < _y ? _x : _y 的比较使变量值增加两次，同时因为使用typeof的缘故而可以接受不同的数据类型（x, y需相同类型才可比较）。第三句用来检测x, y的数据类型，由于C语言中没有 typeof()==typeof() 这样的用法，这里巧妙的采用比较两变量地址的方法来检测类型，如果_x和_y的类型不一样，其指针类型也会不一样，2个不一样的指针类型进行比较操作，会抛出一个编译警告，达到检测地址的目的。由于这一句完全无意义，所以前面加 (void) 来忽略
statement with no effect 无效的语句 警告。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
