C语言中的typeof关键字

typeof关键字是C语言中的一种新扩展，返回变量的类型。从本质上讲，它更像是使用typedef定义一个类型名称。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;
下面是两个等效声明，用于声明int类型的变量a。
typeof(int) a; /*int类型*/
typeof('b') a; /* GCC中这个表达式的类型是int(自动提升为int)，注意typeof(char)和typeof('b')得到的不是一样的，这个用sizeof可以看出来*/

在C语言中字符常量类型为int类型.在C++中字符常量类型为char类型.

typeof在协助内嵌表达式的声明时非常有用。这里演示一个如何定义一个安全（在任何情况下，各参数只会被计算一次）的求最大值的宏。
#define max(a,b)

({

typeof (a) _a = (a);

typeof (b) _b = (b);

_a > _b ? _a : _b;

})
让局部变量名以下划线开关的原因是避免与内嵌表达式被使用时传进来的参数名相冲突。我们更希望建立一种新的语法规则，按照这种语法规则，声明的变量的作用域只在该变量初始化之后。相信这会是一种更加可靠的避免冲突的方法。

3、使用typeof的声明限制

请注意，typeof构造中的类型名不能包含存储类说明符，如extern或static。不过允许包含类型限定符，如const或volatile。
例如，下列代码是无效的，因为它在typeof构造中声明了extern：
typeof(extern int) a;
下列代码使用外部链接来声明标识符b是有效的，表示一个int类型的变量。下一个声明也是有效的，它声明了一个使用const限定符的char类型指针，表示指针p不能被修改。
extern typeof(int) b;
typeof(char * const) p = "a";

4、如果你要把typeof写在头文件中，而且这些头文件是要用在ISO C程序中，那么应该写成__typeof__而不是typeof