C语言中的typeof关键字

typeof关键字是C语言中的一个新扩展。

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

 下面是使用表达式的的例子：

    typeof(x[0](1)

这里假设x是一个函数指针数组，这样就可以得到这个函数返回值的类型了。

如果将typeof用于表达式，则该表达式不会执行。只会得到该表达式的类型。

以下示例声明了int类型的var变量，因为表达式foo()是int类型的。由于表达式不会被执行，所以不会调用foo函数。   extern int foo();

   typeof(foo()) var;

下面是用类型作参数的例子：

   typeof(int *) a,b;

等价于：

   int *a,*b;

下面是两个等效声明，用于声明int类型的变量a。

      typeof(int) a; /*int类型*/

      typeof('b') a; /* GCC中这个表达式的类型是int(自动提升为int)， 注意typeof(char)和typeof('b')得到的不是一样的，这个用sizeof可以看出来*/

一般情况下用typeof就可以了，但是如果要于ISO C兼容的话，最好是用双下划线的形式：__typeof__。

typeof和typedef很像，事实上，只要能用typedef的地方就可以用typeof。

下面是另外一些例子：

把y定义成x指向的数据类型：

   typeof(*x) y;

把y定义成x指向数据类型的数组：

   typeof(*x) y[4];

把y定义成一个字符指针数组：

   typeof(typeof(char *)[4] y;

这与下面的定义等价：

   char *y[4];

我们再换一种定义方式：

   #define pointer(T) typeof(T *)

   #define array(T,N) typeof(T [N])

   array (pointer(char),4) y;

如果想把T定义成一个表达式的类型，则我们仅仅用typedef无法做到

但可以通过typeof做到：

typdef typeof(expr) T;

使用typeof的声明示例

以下示例用于声明指针和数组。为了进行对比，还给出了不带typeof的等效声明。

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

   int *p1, *p2;

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

   int *p3, p4;

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

   int a1[10], a2[10];

使用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";

在宏声明中使用typeof

typeof构造的主要应用是用在宏定义中。可以使用typeof关键字来引用宏参数的类型。因此，在没有将类型名明确指定为宏实参的情况下，构造带有所需类型的对象是可能的。

下面是一个交换两个变量的值的宏定义：

     #define SWAP(a,b){\

      typeof(a) _t=a;\

      a=b;\

      b=_t;}

 typeof(a) 取得a的类型，再用一个类型来定义变量 _t .

这个宏可以交换所有基本数据类型的变量(整数，字符，结构等）