C语言的新扩展typeof

说明

typeof关键字是C语言中的一个新扩展，是对C语言原先32个关键字的扩展，这一新扩展特性在Linux的源代码中可以经常看到，这一扩展是否有在C语言的新标准中，我没有去验证，但是据了解，大部分的GNU的C编译器都支持了这一扩展，我在DEV C++上也验证了这一点。下面我们来看看这一扩展关键字的用法。

typeof的用法

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; 

等价于：

int *p1, *p2;

5，

typeof(int) *p3,p4;

等价于：

int *p3, p4;

6，

typeof(int [10]) a1, a2;

等价于：

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关键字来引用宏参数的类型。