c语言中typeof关键字,是C语言中的一个新扩展。typeof的参数可以是两种形式:表达式或类型。
下面这两个等效声明,用于声明int类弄的变量a
typeof(int) a;
typeof('b') a; //相当于获取'b'的类型,定义一个变量a
// GCC中这个表达式的类型是int(自动提升为int),
// 注意typeof(char)和typeof('b')得到的不是一样的,这个用sizeof可以看出来
下面用于声明指针和数组
typeof(int*) p1,p2;
// 等价于
int *p1,*p2;
typeof(p1) p2 //p1与p2的类型一致
typeof(int [10]) a1,a2;
int a1[10],a2[10];
typeof(typeof(char *)[4]) y;
// 这与下面的定义等价:
char *y[4];
// 注意
typeof(int *) p1,p2; // 定义两个指针p1和p2
int *p1, *p2;
typeof(int) *p3,p4;// 定义指针变量p3和int类型的变量p4
int *p3, p4;
如果将typeof用于表达式,则该表达式不会执行,只会得到表达式的类型,以下示例声明了int类型的var变量,因为表达式foo()是int类型的,由于表达式不会被执行,所以不用调用foo()函数
extern int foo();
typeof(foo()) var; //相当于等同去int var;
一般情况下用typeof就可以了,但是如果要于ISO C兼容的话,最好是用双下划线的形式:typeof。
typeof
和typedef
很像,事实上,只要能用typedef
的地方就可以用typeof
。
使用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;//常指针,不能修改指针指向;
在宏声明中使用typeof
typeof构造的主要应用是用在宏定义中。可以使用typeof关键字来引用宏参数的类型。
#define pointer(T) typeof(T *)
#define array(T,N) typeof(T [N])
array (pointer(char),4) y;
// 下面是一个交换两个变量的值的宏定义:
#define SWAP(a,b) {\
typeof(a) _t=a;\
a=b;\
b=_t;}
// 这个宏可以交换所有基本数据类型的变量(整数,字符,结构等)