typeof()关键字

typeof是GNU c标准的关键字。

typeof()的作用是自动推导出括号中表达式的数据类型。

 #include <stdio.h>

 void func1(void)
 {
     int a = ;
     typeof(int *)pa = &a;//pa的数据类型为int型的指针

     printf("pa:\t%p\n", pa);
     printf("&a:\t%p\n", &a);
     printf("a:\t%d\n", a);
     printf("*pa:\t%d\n", *pa);
 }

 void func2(void)
 {
     int b = ;
     typeof(&b)pb = &b;//&b的数据类型为int*,所以pb的类型为int*。

     printf("pb:\t%p\n", pb);
     printf("&b:\t%p\n", &b);
     printf("b:\t%d\n", b);
     printf("*pb:\t%d\n", *pb);
 }

 void func3(void)
 {
     int* pc = NULL;
     typeof(*pc) c = ;//pc的类型为int*,那么，*pc的类型即为int
     printf("c=%d\n",c);
 }

 void func4(void)
 {
     int i = ;
     int* pc = NULL;
     typeof(*pc) arr[] = {,,,};//同样，*pc的类型为int
     for(i = ; i < ; ++i)
         printf("arr[%d]=%d\n", i, arr[i]);
 }

 void func5(void)
 {
     int i = ;
     typeof(typeof(const char *)[]) pchar = {"hello", "world", "good", "night"};
　　　　　//里层typeof的类型为const char*,和外层结合后，pchar的数据类型即为const char*指针数组
     for (i = ; i < ; i++)
         printf("pchar[%d]:%s\n", i, pchar[i]);
 }

 int add(int param1, int param2)
 {
     return param1 + param2;
 }

 int sub(int param1, int param2)
 {
     return param1 - param2;
 }

 int mul(int param1, int param2)
 {
     return param1 * param2;
 }

 void func6(void)
 {
     int (*func[]) (int, int) = {add, sub, mul};//显然func的数据类型为函数指针数组，数组元素为函数指针。  

     typeof(func[](, )) sum = ;  //func[0](1,1)===>add(1,1)===>2,即 typeof(2)sum = 100;
     typeof(func[](, )) dif = ;
     typeof(func[](, )) pro = ;  

     printf("sum:%d\n", sum);
     printf("dif:%d\n", dif);
     printf("pro:%d\n", pro);
 }

 #define pointer(T)  typeof(T *)
 #define array(T, N) typeof(T[N])

 void func7(void)
 {
     int i = ;
     array(pointer(char), ) pchar = {"hello", "world", "good", "night"};
     for (i = ; i < ; i++)
         printf("pchar[%d]:%s\n", i, pchar[i]);
 }

 //from linux-3.5/include/linux/kernel.h
 #define min(x, y) ({                \
     typeof(x) _min1 = (x);            \
     typeof(y) _min2 = (y);            \
     (void)(&_min1 == &_min2);        \
     _min1 < _min2 ? _min1 : _min2; })

 int main(int argc, char** argv)
 {
     int a = ;
     //char b = 2;
     int b = ;
     func1();
     func2();

     (void);

     printf("%d\n",min(a,b));
     func3();
     func4();
     func5();
     func6();
     func7();

     return ;
 }

附加知识点：

line 92包含两个知识点，

1.warning: statement with no effect

c语言中语句(statement)的用法，

正如104行，如果是 "12;"gcc编译时加上-Wall参数(高版本gcc可能不会报警告)，会报warning: statement with no effect，即无效的语句。

2.warning: comparison of distinct pointer types lacks a cast

如果将106行中的b的数据类型改为char，编译时就会报出警告。

(&_min1 == &_min2);通过这种方式可以判断两个变量的类型是否一致。