GCC扩展关键字typeof学习笔记

官方的介绍网址:

https://gcc.gnu.org/onlinedocs/gcc/Typeof.html#Typeof 】

参考文档:

http://blog.csdn.net/npy_lp/article/details/6989676 】

http://blog.chinaunix.net/uid-28458801-id-4200573.html 】

以下内容来自【 http://blog.csdn.net/npy_lp/article/details/6989676 】,有删改:
关键字typeof用于获取表达式的数据类型。
简单例子,如清单1: 

char *chptr01;
typeof (*chptr01) ch; //等价于char ch;
typeof (ch) *chptr02; //等价于char *chptr02; 
typeof (chptr01) chparray[5]; //等价于char *chparray[5];

例子中chptr01的数据类型为char *,*chptr01的数据类型为char。
复杂的例子,如清单2:

#include <stdio.h>
#define array(type, size) typeof(type [size])
int func(int num)
{
    return num + 5;
}
int main(void)
{
    typeof (func) *pfunc = func; //等价于int (*pfunc)(int) = func;
    printf("pfunc(10) = %d\n", (*pfunc)(10));

    array(char, ) charray = "hello world!"; //等价于char charray[] = "hello world!";
    typeof (char *) charptr = charray; //等价于char *charptr = charray;

    printf("%s\n", charptr);
    return 0;
}

在Linux内核中的应用,如清单3:

/* linux-2.6.38.8/include/linux/kernel.h */

#define min(x, y) ({				\
	typeof(x) _min1 = (x);			\
	typeof(y) _min2 = (y);			\
	(void) (&_min1 == &_min2);		\
	_min1 < _min2 ? _min1 : _min2; })

#define max(x, y) ({				\
	typeof(x) _max1 = (x);			\
	typeof(y) _max2 = (y);			\
	(void) (&_max1 == &_max2);		\
	_max1 > _max2 ? _max1 : _max2; })

通过typeof获得x和y的数据类型,然后定义两个临时变量,并把x和y的值分别赋给这两个临时变量,最后进行比较。另外,宏定义中(void)(&_min1 == &_min2)语句的作用是用来警告x和y不能属于不同的数据类型。

以下内容来自【 http://blog.chinaunix.net/uid-28458801-id-4200573.html 】,有删改:

一,说明
    typeof的参数可以是两种形式:表达式或类型。
    1,表达式的的例子:
        如果将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; /* Declares two int pointers p1, p2 */
            int *p1, *p2;

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

    6,typeof(int [10]) a1, a2;/* Declares two arrays of integers */
            int a1[10], a2[10];
三,局限
    typeof构造中的类型名不能包含存储类说明符,如extern或static。不过允许包含类型限定符,如const或volatile。
    例如,下列代码是无效的,因为它在typeof构造中声明了extern:
        typeof(extern int) a;