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;