最近在查看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