typeof()关键字

typeof是GNU c标准的关键字。

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

#include <stdio.h>

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

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

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

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

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

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

void func5(void)
{
    int i = 0;
    typeof(typeof(const char *)[4]) pchar = {"hello", "world", "good", "night"};
　　　　　//里层typeof的类型为const char*,和外层结合后，pchar的数据类型即为const char*指针数组
    for (i = 0; i < 4; i++)
        printf("pchar[%d]:%s
", 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[3]) (int, int) = {add, sub, mul};//显然func的数据类型为函数指针数组，数组元素为函数指针。  

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

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

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

void func7(void)
{
    int i = 0;
    array(pointer(char), 4) pchar = {"hello", "world", "good", "night"};
    for (i = 0; i < 4; i++)
        printf("pchar[%d]:%s
", 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 = 1;
    //char b = 2;
    int b = 2;
    func1();
    func2();

    (void)12;

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

    return 0;
}

附加知识点：

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);通过这种方式可以判断两个变量的类型是否一致。