(void) (&_x == &_y)的作用

在阅读宋宝华的《Linux设备驱动开发详解》一书时，看到下面这段代码：

#define min(x, y) ({        \
const typeof(x) _x = (x);   \
const typeof(y) -y = (y);   \
(void) (&_x == &_y);        \
_x < _y ? _x : _y;  })

这段代码可以理解如下：

（1）先赋值再比较，可以避免一般宏定义的副作用。

（2）用 const 可以提高可读性。

（3）代码 "(void) (&_x == &_y);" 的作用，是检查 _x 与 _y 的类型是否一致。

（4）添加 void 可以避免编译器弹出无意义的警告（因为其后面的地址比较的结果并没有使用）。

怎样理解第（3）点呢？

比如下面的这一段代码：

int  x = 2;
char y = 3;
int  m = min(x, y);

在编译的时候，编译器会进行下面的判断操作：

int * == char *;

因此编译器会给出警告：

warning: comparison of distinct pointer types lacks a cast

因此 "(void) (&_x == &_y);" 可以检查 _x 与 _y 的类型是否一致，如果不一致则编译器给出警告。