例解GNU C之typeof

分类： 漫谈C语言 2011-11-24 15:01 75人阅读 评论(0) 收藏 举报

    前言：计算机语言是编译器和程序员交流的依据和规范，GNU C是GCC特有的功能，在Linux内核中被广泛应用。

    帮助文档：http://gcc.gnu.org/onlinedocs/gcc-4.6.2/gcc/C-Extensions.html#C-Extensions

 

    关键字typeof用于获取表达式的数据类型。

    简单例子，如清单1： 

[cpp] view plaincopy

1. char *chptr01;  
2.   
3. typeof (*chptr01) ch; //等价于char ch;  
4.   
5. typeof (ch) *chptr02; //等价于char *chptr02;   
6.   
7. typeof (chptr01) chparray[5]; //等价于char *chparray[5];  

    例子中chptr01的数据类型为char *，*chptr01的数据类型为char。

    复杂的例子，如清单2： 

[cpp] view plaincopy

1. #include <stdio.h>  
2.   
3. #define array(type, size) typeof(type [size])  
4.   
5. int func(int num)  
6. {  
7.     return num + 5;  
8. }  
9.   
10. int main(void)  
11. {  
12.     typeof (func) *pfunc = func; //等价于int (*pfunc)(int) = func;  
13.     printf("pfunc(10) = %d\n", (*pfunc)(10));  
14.   
15.     array(char, ) charray = "hello world!"; //等价于char charray[] = "hello world!";  
16.     typeof (char *) charptr = charray; //等价于char *charptr = charray;  
17.   
18.     printf("%s\n", charptr);  
19.   
20.     return 0;  
21. }  

    例子输出结果： 

[cpp] view plaincopy

1. pfunc(10) = 15  
2. hello world!  

    如果typeof的操作数是一个数据类型，那么它的结果就是这个数据类型，如第16行。

    在Linux内核中的应用，如清单3： 

[cpp] view plaincopy

1. /* linux-2.6.38.8/include/linux/kernel.h */  
2.   
3. #define min(x, y) ({                \  
4.     typeof(x) _min1 = (x);          \  
5.     typeof(y) _min2 = (y);          \  
6.     (void) (&_min1 == &_min2);      \  
7.     _min1 < _min2 ? _min1 : _min2; })  
8.   
9. #define max(x, y) ({                \  
10.     typeof(x) _max1 = (x);          \  
11.     typeof(y) _max2 = (y);          \  
12.     (void) (&_max1 == &_max2);      \  
13.     _max1 > _max2 ? _max1 : _max2; })  

    通过typeof获得x和y的数据类型，然后定义两个临时变量，并把x和y的值分别赋给这两个临时变量，最后进行比较。

    另外，宏定义中(void)(&_min1 == &_min2)语句的作用是用来警告x和y不能属于不同的数据类型。