谁来解释下这个宏定义函数:#define typecheck(type,x)
#define typecheck(type,x) \
({ type __dummy; \ //这里可以直接用传进来的type(比如long int)吗?
typeof(x) __dummy2; \
(void)(&__dummy == &__dummy2); \ //这里的&号是干嘛的?
//它前面为什么没有操作数?
1; \ //这里为什么只有一个 1,而不是一个完整的表达式?
//这样写是什么意思?
})
({ type __dummy; \ //这里可以直接用传进来的type(比如long int)吗?
typeof(x) __dummy2; \
(void)(&__dummy == &__dummy2); \ //这里的&号是干嘛的?
//它前面为什么没有操作数?
1; \ //这里为什么只有一个 1,而不是一个完整的表达式?
//这样写是什么意思?
})
发布于2011-04-29 20:27
最佳答案
typeof是取变量的类型 如果 int x; typecheck(double,x); 展开之后就是 double __dummy; int __dummy2; (void)(&__dummy == &__dummy2); & 是取地址; 这样的话,上面那句比较就会出错或编译器给出警告,因为是讲一个double型的指针和一个int型的指针比较,没法编译的,编译器会提示 如果typecheck(int,x) 就都正常编译,然后最后的数据1,赋值给调用者
追问
歇息你的认真回答。都明白了,除了最后那个1不太明白之外。 那个 1这样写也可以作为一个返回值吗?
追答
整个宏定义其实是一个表达式,不是函数,无所谓返回值,这个值是这个表达式的值,复合表达式,取最后一个表达式的值,作为复杂表达式的值。所以这里整个表达式的值就是最后一个表达式的值,也就是1
追问