Linux min 和 max 宏

定义在 include/linux/kernel.h下

#define min(x,y) ({ /

 typeof(x) _x = (x); /
 typeof(y) _y = (y); /
 (void) (&_x == &_y);  /
 _x < _y ? _x : _y; })

#define max(x,y) ({ /
 typeof(x) _x = (x); /
 typeof(y) _y = (y); /
 (void) (&_x == &_y);  /
 _x > _y ? _x : _y; })

宏中使用了gcc 扩展
1、GCC中的({statement list})的扩展
({statement list})是一个表达式，逗号表达式类似，但是功能更强，({与})中可以包含有多条语句(可以是变量定义、复杂的控制语句)，该表达式的值为statement list中最后一条语句的值。
2、typeof(expression)
typeof(expression)用来获取expression的类型。

另外这里解释一下 (void) (&_x == &_y)在这里的作用
这句话本身都执行程序来讲完全是一句废话，它的作用在于，本身我们无法做这样的操作typeof(_x)==typeof(_y)，所以故意判断他们2个的地址指针是否相等，显然是不可能相等，但是如果_x和_y的类型不一样，其指针类型也会不一样，2个不一样的指针类型进行比较操作，会抛出一个编译警告。也就是说char *p; int *q; 然后p==q;，这个判断因为一个是char*一个是int*，会在编译时产生一个warning。巧妙就巧妙在这里。