LINUX内核中min和max宏的学习

add linux kernel min, max define:
include/linux/kernel.h
/*
 * min()/max() macros that also do
 * strict type-checking.. See the
 * "unnecessary" pointer comparison.
 */
#define min(x,y) \
(__extension__\
({ \
        typeof(x) _x = (x);     \
        typeof(y) _y = (y);     \
        (void) (&_x == &_y);            \
        _x < _y ? _x : _y; })     \
)
#define max(x,y) \
(__extension__\
({ \
        typeof(x) _x = (x);     \
        typeof(y) _y = (y);     \
        (void) (&_x == &_y);            \
        _x > _y ? _x : _y; })     \
)
 
 
如上是include/linux/kernel.h中关于min和max两个很常用的宏的定义，在其中我们可以看到以下几个关键点：
1. 为何不用更简单的(x>y)?x:y 这样的方式来定义，而要重新赋值一次。
2. 为何要用({  })这样的结构包围代码块
3. 那个__extension__是什么东东？ （有的版本没有这个__extension__)
4. (void)(&_x == &_y)有什么用，不是脱了裤子放屁么
 
 
 
解答：
1. 如果用户使用了min(x++,y++)会有怎样的结果？
   所以最好的办法是避免在宏的实体里让参数出现一次以上。老的linux用的是 x>?y，这个>?操作符是返回x和y中较大的一个，不过GCC的文档里已经决定抛弃这种老的用法了。
 
 
2. GCC的扩展里像{ }这种结构也是可以有值的，其值就是其中最后一个语句的值（包括左值），这里外面再加个括号是为了保险，比如：
   printf("猜猜会显示什么？\n答案是:%d\n",({
         &