linux中 typecheck的分析

在kernel 2.6.30 的typecheck.h源码中有如下定义

#define typecheck(type,x) /
({        type __dummy; /
        typeof(x) __dummy2; / /* typeof是C语言中的关键字，表示取x的类型 */
        (void)(&__dummy == &__dummy2); /
        1; /
})
这个有什么作用呢？下面举例来说明
#define time_after(a,b)                /
        (typecheck(unsigned long, a) && /
         typecheck(unsigned long, b) && /
         ((long)(b) - (long)(a) < 0))

typecheck宏有两个参数，
第一个是一个类型，比如unsigned long，
第二个是一个变量，比如a。
它生成一个unsigned long类型的变量__dummy，
然后利用typeof生成和a同样类型的变量__dummy2，
比较__dummy和__dummy2的地址。
如果它们不是同样类型的指针比较，比如a不是unsigned long，
这时候编译器会有一个警告，让你注意到这个问题。