linux 内核宏定义：#define typecheck(type,x)

谁来解释下这个宏定义函数：#define typecheck(type,x)

#define typecheck(type,x) \
({ 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

追问

呵呵，非常感谢。分析的很到位，一点即通。

转载于：
https://zhidao.baidu.com/question/259736729.html