(void)(&x == &y)妙用

今天看代码时看到一个有趣的东东,就是linux内核也有min函数，但它的实现很是奇怪，先贴出来：

在linux/types.h中的程序如下：

#ifndef _TYPES_H_
#define _TYPES_H_

#define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))

typedef unsigned char        u8;
typedef unsigned short        u16;
typedef unsigned int        u32;
typedef unsigned long long    u64;

#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; })

#endif /* _TYPES_H_ */

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