linux内核中的typecheck函数

最近在查看linux代码时看到了一个typecheck函数，刚开始不是很明白，具体代码如下：

#define typecheck(type,x) \
({      type __dummy; \
        typeof(x) __dummy2; \
        (void)(&__dummy == &__dummy2); \
        1; \
})

这是一个宏，它是检查type和x的数据类型是否一样，比如我们这样使用

int a;
typecheck(double,a);
//宏展开后是一个表达式
（{
      double  __dummy;
      typeof(a) __dummy2;
      (void)(&__dummy == &__dummy2);
      1;
}）
//typeof关键字是C语言中的一个扩展，用于识别出某个表达式或类型的具体。
   typeof(int *) a,b;
            等价于：
            int *a,*b;
 //后面就是取两个变量的地址，然后比较，因为__dummy是double类型而__dummy2是int类型，取地址后是两种不同类型的指针，不同类型的指针不能比较，会出现编译错误，这种方式实现了类型的检查。
1;
//这个是表达式最后的值。如果整个表达式没有错误，那么最后的1就是整个表达式的值。
//总结：整个宏定义其实是一个表达式，不是函数，无所谓返回值，这个值是这个表达式的值，复合表达式，取最后一个表达式的值，作为复杂表达式的值。所以这里整个表达式的值就是最后一个表达式的值，也就是1